Ada Programming/Attributes/'Preelaborate Initialization
Description
editReturns 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
editS’Preelaborable_Initialization return Boolean