23.7.23 Forbidden_Pragmas

Flag each use of the specified pragmas. The pragmas to be detected are named in the rule's parameters.

This rule has the following parameters:

• For the +R option

  Pragma_Name

  Adds the specified pragma to the set of pragmas to be checked and sets the checks for all the specified pragmas ON. Pragma_Name is treated as a name of a pragma. If it does not correspond to any pragma name defined in the Ada standard or to the name of a GNAT-specific pragma defined in Implementation Defined Pragmas, it is treated as the name of unknown pragma.
  

  GNAT

  All the GNAT-specific pragmas are detected; this sets the checks for all the specified pragmas ON.
  

  ALL

  All pragmas are detected; this sets the rule ON.

• For the -R option

  Pragma_Name

  Removes the specified pragma from the set of pragmas to be checked without affecting checks for other pragmas. Pragma_Name is treated as a name of a pragma. If it does not correspond to any pragma defined in the Ada standard or to any name defined in Implementation Defined Pragmas, this option is treated as turning OFF detection of all unknown pragmas.
  

  GNAT

  Turn OFF detection of all GNAT-specific pragmas
  

  ALL

  Clear the list of the pragmas to be detected and turn the rule OFF.

Parameters are not case sensitive. If Pragma_Name does not have the syntax of an Ada identifier and therefore can not be considered as a pragma name, a diagnostic message is generated and the corresponding parameter is ignored.

When more then one parameter is given in the same rule option, the parameters must be separated by a comma.

If more then one option for this rule is specified for the gnatcheck call, a new option overrides the previous one(s).

The +R option with no parameters turns the rule ON with the set of pragmas to be detected defined by the previous rule options. (By default this set is empty, so if the only option specified for the rule is +RForbidden_Pragmas (with no parameter), then the rule is enabled, but it does not detect anything). The -R option with no parameter turns the rule OFF, but it does not affect the set of pragmas to be detected.