Index

Package: Pointers

Description

package Tools.Pointers is

Classes

Pointer

type Pointer is new Tool with private;

Ancestors:

Primitive operations:

Apply (overriding Tools.Apply)
Objects.Adjust (Inherited)
Objects.Construct (Inherited)
Objects.Delete (Inherited)
Objects.Object_Read (Inherited)
Objects.Object_Write (Inherited)
Objects.To_String (Inherited)

Subprograms & Entries

Create_Pointer

function Create_Pointer return A_Tool;