Prev | Up | ____ | Back | Forward
TOC -- / --.-- / --.--.-- | Index | Search | Syntax | Help


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)
(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.

Prev | Up | ____ | Back | Forward
TOC -- / --.-- / --.--.-- | Index | Search | Syntax | Help

Ada WWW Home -- Email comments, additions, corrections, gripes, kudos, etc. to:

Magnus Kempe -- Magnus.Kempe@di.epfl.ch
Copyright statement
Page last generated: 95-03-12