23.7.22 Forbidden_Attributes

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

This rule has the following parameters:

• For the +R option

  Attribute_Designator

  Adds the specified attribute to the set of attributes to be detected and sets the detection checks for all the specified attributes ON. If Attribute_Designator does not denote any attribute defined in the Ada standard or in Implementation Defined Attributes, it is treated as the name of unknown attribute.
  

  GNAT

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

  ALL

  All attributes are detected; this sets the rule ON.

• For the -R option

  Attribute_Designator

  Removes the specified attribute from the set of attributes to be detected without affecting detection checks for other attributes. If Attribute_Designator does not correspond to any attribute defined in the Ada standard or in Implementation Defined Attributes, this option is treated as turning OFF detection of all unknown attributes.
  

  GNAT

  Turn OFF detection of all GNAT-specific attributes
  

  ALL

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

Parameters are not case sensitive. If Attribute_Designator does not have the syntax of an Ada identifier and therefore can not be considered as a (part of an) attribute designator, a diagnostic message is generated and the corresponding parameter is ignored. (If an attribute allows a static expression to be a part of the attribute designator, this expression is ignored by this rule.)

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

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 attributes 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_Attributes (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 attributes to be detected.