Next: Aspect Suppress_Debug_Info, Previous: Aspect SPARK_Mode, Up: Implementation Defined Aspects [Contents][Index]
For the syntax and semantics of this aspect, see the SPARK 2014 Reference Manual, section 6.1.8.