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

Next: Aspect Iterable, Previous: Aspect Invariant, Up: Implementation Defined Aspects [Contents][Index]

3.27 Aspect Invariant’Class ¶

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