Interoperability with controlled types (GNAT Reference Manual) (original) (raw)

Previous: Composite types, Up: No_Raise aspect [Contents][Index]

17.3.8.4 Interoperability with controlled types ¶

As a consequence of the redefinition of the Controlled type as a base type with the new aspects defined, interoperability with controlled type naturally follows the definition of the above rules. In particular:

• It is possible to have a new finalized type have a controlled type component
• It is possible to have a controlled type have a finalized type component