Attribute Initialized (GNAT Reference Manual) (original) (raw)

Next: Attribute Integer_Value, Previous: Attribute Img, Up: Implementation Defined Attributes [Contents][Index]

4.32 Attribute Initialized ¶

For the syntax and semantics of this attribute, see the SPARK 2014 Reference Manual, section 6.10.