13.11.3 Pragma Controlled

1. Pragma Controlled is used to prevent any automatic reclamation of storage (garbage collection) for the objects created by allocators of a given access type.
   Syntax
   
2. The form of a pragma Controlled is as follows:

3. pragma Controlled(first_subtype_local_name);
   

   Legality Rules
   
4. The first_subtype_local_name of a pragma Controlled shall denote a non-derived access subtype.
   Static Semantics
   
5. A pragma Controlled is a representation pragma that specifies the controlled aspect of representation.
6. Garbage collection is a process that automatically reclaims storage, or moves objects to a different address, while the objects still exist.
7. If a pragma Controlled is specified for an access type with a standard storage pool, then garbage collection is not performed for objects in that pool.
   Implementation Permissions
   
8. An implementation need not support garbage collection, in which case, a pragma Controlled has no effect.

Go to the first, previous, next, last section, table of contents.