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

Next: Aspect Refined_Post, Previous: Aspect Refined_Depends, Up: Implementation Defined Aspects [Contents][Index]

3.45 Aspect Refined_Global ¶

This aspect is equivalent to pragma Refined_Global.