No_Finalization

Next: No_Fixed_Point, Previous: No_Exceptions, Up: Partition-Wide Restrictions

[GNAT] This restriction disables the language features described in chapter 7.6 of the Ada 2005 RM as well as all form of code generation performed by the compiler to support these features. The following types are no longer considered controlled when this restriction is in effect:

Ada.Finalization.Controlled
Ada.Finalization.Limited_Controlled
Derivations from Controlled or Limited_Controlled
Class-wide types
Protected types
Task types
Array and record types with controlled components

The compiler no longer generates code to initialize, finalize or adjust an object or a nested component, either declared on the stack or on the heap. The deallocation of a controlled object no longer finalizes its contents.