Next: Pragma Float_Representation, Previous: Pragma Favor_Top_Level, Up: Implementation Defined Pragmas [Contents][Index]
Syntax:
pragma Finalize_Storage_Only (first_subtype_LOCAL_NAME);
The argument of pragma Finalize_Storage_Only
must denote a local type which
is derived from Ada.Finalization.Controlled
or Limited_Controlled
. The
pragma suppresses the call to Finalize
for declared library-level objects
of the argument type. This is mostly useful for types where finalization is
only used to deal with storage reclamation since in most environments it is
not necessary to reclaim memory just before terminating execution, hence the
name. Note that this pragma does not suppress Finalize calls for library-level
heap-allocated objects (see pragma No_Heap_Finalization
).