Ada95 Reference Manual - 3.10 Access Types Go to the first , previous , next , last section, table of contents . Depending on its type, an access value can designate either subprograms, objects created by allocators, See section 4.8 Allocators , or more generally aliased objects of an appropriate type. Finally, the current instance of a limited type, and a formal parameter or generic formal object of a tagged type are defined to be aliased.
Aliased views are the ones that can be designated by an access value.
Similarly, if the object created by an allocator has discriminants, the object is constrained, either by the designated subtype, or by its initial value. The null value of a named access type is the default initial value of the type. An object can be created in the storage pool of an access type by an allocator, See section 4.8 Allocators , for the access type. See section 13.11 Storage Management , for a discussion of pools. Operations of Access Types Go to the first , previous , next , last section, table of contents .