Pragma Check

Syntax:

     pragma Check (
          [Name    =>] Identifier,
          [Check   =>] Boolean_EXPRESSION
       [, [Message =>] string_EXPRESSION] );

This pragma is similar to the predefined pragma Assert except that an extra identifier argument is present. In conjunction with pragma Check_Policy, this can be used to define groups of assertions that can be independently controlled. The identifier Assertion is special, it refers to the normal set of pragma Assert statements. The identifiers Precondition and Postcondition correspond to the pragmas of these names, so these three names would normally not be used directly in a pragma Check.

Checks introduced by this pragma are normally deactivated by default. They can be activated either by the command line option -gnata, which turns on all checks, or individually controlled using pragma Check_Policy.