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

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

3.46 Aspect Refined_Post ¶

This aspect is equivalent to pragma Refined_Post.