Ada Programming/Attributes/'Preelaborate Initialization
Appearance
Description
[edit | edit source]Returns whether the type of S has preelaborable initialization.
For a nonformal composite subtype S declared within the visible part of a package or a generic package, or a generic formal private subtype or formal derived subtype:
This attribute is of Boolean type, and its value reflects whether the type of S has preelaborable initialization.
Example
[edit | edit source]S’Preelaborable_Initialization return Boolean