Ada Programming/Attributes/'Initialized
Jump to navigation
Jump to search
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.