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

Next: Aspect Always_Terminates, Up: Implementation Defined Aspects [Contents][Index]

3.1 Aspect Abstract_State ¶

This aspect is equivalent to pragma Abstract_State.