GNATcheck Reference Manual: List of Rules

[ < ] | [ > ] |  | [ << ] | [ Up ] | [ >> ] |  |  |  |  | [Top] | [Contents] | [Index] | [ ? ]

# A. List of Rules

This Appendix contains an alphabetized list of all the predefined GNATcheck rules.

- `Abstract_Type_Declarations`
  See section 8.2.1 `Abstract_Type_Declarations`.

- `Anonymous_Arrays`
  See section 8.1.5.1 `Anonymous_Arrays`.

- `Anonymous_Subtypes`
  See section 8.2.2 `Anonymous_Subtypes`.

- `Blocks`
  See section 8.2.3 `Blocks`.

- `Boolean_Relational_Operators`
  See section 8.4.2 `Boolean_Relational_Operators`.

- `Complex_Inlined_Subprograms`
  See section 8.2.4 `Complex_Inlined_Subprograms`.

- `Controlled_Type_Declarations`
  See section 8.2.5 `Controlled_Type_Declarations`.

- `Declarations_In_Blocks`
  See section 8.2.6 `Declarations_In_Blocks`.

- `Deep_Inheritance_Hierarchies`
  See section 8.1.2.1 `Deep_Inheritance_Hierarchies`.

- `Deeply_Nested_Generics`
  See section 8.1.4.1 `Deeply_Nested_Generics`.

- `Deeply_Nested_Inlining`
  See section 8.2.7 `Deeply_Nested_Inlining`.

- `Default_Parameters`
  See section 8.2.8 `Default_Parameters`.

- `Direct_Calls_To_Primitives`
  See section 8.1.2.2 `Direct_Calls_To_Primitives`.

- `Discriminated_Records`
  See section 8.2.9 `Discriminated_Records`.

- `Enumeration_Ranges_In_CASE_Statements`
  See section 8.1.5.2 `Enumeration_Ranges_In_CASE_Statements`.

- `Exceptions_As_Control_Flow`
  See section 8.1.5.3 `Exceptions_As_Control_Flow`.

- `Exits_From_Conditional_Loops`
  See section 8.1.5.4 `Exits_From_Conditional_Loops`.

- `EXIT_Statements_With_No_Loop_Name`
  See section 8.1.5.5 `EXIT_Statements_With_No_Loop_Name`.

- `Expanded_Loop_Exit_Names`
  See section 8.4.3 `Expanded_Loop_Exit_Names`.

- `Explicit_Full_Discrete_Ranges`
  See section 8.2.10 `Explicit_Full_Discrete_Ranges`.

- `Float_Equality_Checks`
  See section 8.2.11 `Float_Equality_Checks`.

- `Forbidden_Attributes`
  See section 8.1.3.1 `Forbidden_Attributes`.

- `Forbidden_Pragmas`
  See section 8.1.3.2 `Forbidden_Pragmas`.

- `Function_Style_Procedures`
  See section 8.2.12 `Function_Style_Procedures`.

- `Generics_In_Subprograms`
  See section 8.2.13 `Generics_In_Subprograms`.

- `GOTO_Statements`
  See section 8.1.5.6 `GOTO_Statements`.

- `Implicit_IN_Mode_Parameters`
  See section 8.2.14 `Implicit_IN_Mode_Parameters`.

- `Implicit_SMALL_For_Fixed_Point_Types`
  See section 8.1.3.3 `Implicit_SMALL_For_Fixed_Point_Types`.

- `Improperly_Located_Instantiations`
  See section 8.2.15 `Improperly_Located_Instantiations`.

- `Improper_Returns`
  See section 8.1.5.7 `Improper_Returns`.

- `Library_Level_Subprograms`
  See section 8.2.16 `Library_Level_Subprograms`.

- `Local_Packages`
  See section 8.1.4.2 `Local_Packages`.

- `Metrics_Cyclomatic_Complexity`
  See section 8.3.2 `Metrics_Cyclomatic_Complexity`.

- `Metrics_Essential_Complexity`
  See section 8.3.1 `Metrics_Essential_Complexity`.

- `Metrics_LSLOC`
  See section 8.3.3 `Metrics_LSLOC`.

- `Misnamed_Controlling_Parameters`
  See section 8.1.6.1 `Misnamed_Controlling_Parameters`.

- `Misnamed_Identifiers`
  See section 8.1.6.2 `Misnamed_Identifiers`.

- `Multiple_Entries_In_Protected_Definitions`
  See section 8.1.1.1 `Multiple_Entries_In_Protected_Definitions`.

- `Name_Clashes`
  See section 8.1.6.3 `Name_Clashes`.

- `Non_Qualified_Aggregates`
  See section 8.2.17 `Non_Qualified_Aggregates`.

- `Non_Short_Circuit_Operators`
  See section 8.1.5.8 `Non_Short_Circuit_Operators`.

- `Non_SPARK_Attributes`
  See section 8.4.4 `Non_SPARK_Attributes`.

- `Non_Tagged_Derived_Types`
  See section 8.4.5 `Non_Tagged_Derived_Types`.

- `Non_Visible_Exceptions`
  See section 8.1.4.3 `Non_Visible_Exceptions`.

- `Numeric_Literals`
  See section 8.2.18 `Numeric_Literals`.

- `OTHERS_In_Aggregates`
  See section 8.1.5.9 `OTHERS_In_Aggregates`.

- `OTHERS_In_CASE_Statements`
  See section 8.1.5.10 `OTHERS_In_CASE_Statements`.

- `OTHERS_In_Exception_Handlers`
  See section 8.1.5.11 `OTHERS_In_Exception_Handlers`.

- `Outer_Loop_Exits`
  See section 8.4.6 `Outer_Loop_Exits`.

- `Overloaded_Operators`
  See section 8.4.7 `Overloaded_Operators`.

- `Overly_Nested_Control_Structures`
  See section 8.1.5.12 `Overly_Nested_Control_Structures`.

- `Parameters_Out_Of_Order`
  See section 8.2.19 `Parameters_Out_Of_Order`.

- `Positional_Actuals_For_Defaulted_Generic_Parameters`
  See section 8.1.5.13 `Positional_Actuals_For_Defaulted_Generic_Parameters`.

- `Positional_Actuals_For_Defaulted_Parameters`
  See section 8.1.5.14 `Positional_Actuals_For_Defaulted_Parameters`.

- `Positional_Components`
  See section 8.1.5.15 `Positional_Components`.

- `Positional_Generic_Parameters`
  See section 8.1.5.16 `Positional_Generic_Parameters`.

- `Positional_Parameters`
  See section 8.1.5.17 `Positional_Parameters`.

- `Predefined_Numeric_Types`
  See section 8.1.3.4 `Predefined_Numeric_Types`.

- `Raising_External_Exceptions`
  See section 8.1.4.4 `Raising_External_Exceptions`.

- `Raising_Predefined_Exceptions`
  See section 8.2.20 `Raising_Predefined_Exceptions`.

- `Separate_Numeric_Error_Handlers`
  See section 8.1.3.5 `Separate_Numeric_Error_Handlers`.

- `Slices`
  See section 8.4.8 `Slices`.

- `Too_Many_Parents`
  See section 8.1.2.3 `Too_Many_Parents`.

- `Unassigned_OUT_Parameters`
  See section 8.2.21 `Unassigned_OUT_Parameters`.

- `Uncommented_BEGIN_In_Package_Bodies`
  See section 8.1.6.4 `Uncommented_BEGIN_In_Package_Bodies`.

- `Recursive_Subprograms`
  See section 8.1.5.18 `Recursive_Subprograms`.

- `Unconditional_Exits`
  See section 8.1.5.19 `Unconditional_Exits`.

- `Unconstrained_Array_Returns`
  See section 8.2.22 `Unconstrained_Array_Returns`.

- `Universal_Ranges`
  See section 8.4.9 `Universal_Ranges`.

- `Unnamed_Blocks_And_Loops`
  See section 8.1.5.20 `Unnamed_Blocks_And_Loops`.

- `USE_PACKAGE_Clauses`
  See section 8.1.5.21 `USE_PACKAGE_Clauses`.

- `Visible_Components`
  See section 8.1.2.4 `Visible_Components`.

- `Volatile_Objects_Without_Address_Clauses`
  See section 8.1.1.2 `Volatile_Objects_Without_Address_Clauses`.

[ << ] | [ >> ] |  |  |  |  |  | [Top] | [Contents] | [Index] | [ ? ]

This document was generated by GNAT Mailserver on November, 5 2011 using texi2html