Ada Programming/Attributes/'Preelaborate Initialization

Description

edit

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
SPreelaborable_Initialization return Boolean