Next: , Previous: Overloaded_Operators, Up: Predefined Rules

23.6.41 Overly_Nested_Control_Structures

Flag each control structure whose nesting level exceeds the value provided in the rule parameter.

The control structures checked are the following:

The rule has the following parameter for the +R option:

Positive integer specifying the maximal control structure nesting level that is not flagged

If the parameter for the +R option is not specified or if it is not a positive integer, +R option is ignored.

If more then one option is specified for the gnatcheck call, the later option and new parameter override the previous one(s).