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

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

3.47 Aspect Refined_State ¶

This aspect is equivalent to pragma Refined_State.