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

Next: Aspect Invariant’Class, Previous: Aspect Inline_Always, Up: Implementation Defined Aspects [Contents][Index]

3.25 Aspect Invariant ¶

This aspect is equivalent to pragma Invariant. It is a synonym for the language defined aspect Type_Invariant except that it is separately controllable using pragma Assertion_Policy.