Pragma Type_Invariant (GNAT Reference Manual)

Next: Pragma Type_Invariant_Class, Previous: Pragma Title, Up: Implementation Defined Pragmas [Contents][Index]

2.182 Pragma Type_Invariant ¶

Syntax:

pragma Type_Invariant
  ([Entity =>] type_LOCAL_NAME,
   [Check  =>] EXPRESSION);

The Type_Invariant pragma is intended to be an exact replacement for the language-defined Type_Invariant aspect, and shares its restrictions and semantics. It differs from the language defined Invariant pragma in that it does not permit a string parameter, and it is controlled by the assertion identifier Type_Invariant rather than Invariant.