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


3.22 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.