411 REFERENCE · Wikibooks
Ada Programming/Attributes/'Preelaborate Initialization
Reference material by Wikibooks contributors. This retains its source identity and is not 411 news reporting.
Description
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
S’Preelaborable_Initialization return Boolean