Next: Attribute Integer_Value, Previous: Attribute Img, Up: Implementation Defined Attributes [Contents][Index]
For the syntax and semantics of this attribute, see the SPARK 2014 Reference Manual, section 6.10.