Aspect Global (GNAT Reference Manual) (original) (raw)
Next: Aspect Initial_Condition, Previous: Aspect Ghost_Predicate, Up: Implementation Defined Aspects [Contents][Index]
3.21 Aspect Global ¶
This aspect is equivalent to pragma Global.
Next: Aspect Initial_Condition, Previous: Aspect Ghost_Predicate, Up: Implementation Defined Aspects [Contents][Index]
This aspect is equivalent to pragma Global.