Next: , Up: Implementation Defined Aspects


Aspect Abstract_State

This aspect is equivalent to pragma Abstract_State.