Aspect Relaxed_Initialization (GNAT Reference Manual) (original) (raw)

Next: Aspect Remote_Access_Type, Previous: Aspect Refined_State, Up: Implementation Defined Aspects [Contents][Index]

3.51 Aspect Relaxed_Initialization ¶

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