Ada Programming/Attributes/'Initialized
Appearance
Description
[edit | edit source]For the syntax and semantics of this attribute, see the SPARK 2014 Reference Manual, section 6.10.
For the syntax and semantics of this attribute, see the SPARK 2014 Reference Manual, section 6.10.