Appendix A List of Rules

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

• Abstract_Type_Declarations
  See Abstract_Type_Declarations.
• Anonymous_Arrays
  See Anonymous_Arrays.
• Anonymous_Subtypes
  See Anonymous_Subtypes.
• Blocks
  See Blocks.
• Boolean_Relational_Operators
  See Boolean_Relational_Operators.
• Complex_Inlined_Subprograms
  See Complex_Inlined_Subprograms.
• Controlled_Type_Declarations
  See Controlled_Type_Declarations.
• Declarations_In_Blocks
  See Declarations_In_Blocks.
• Deep_Inheritance_Hierarchies
  See Deep_Inheritance_Hierarchies.
• Deeply_Nested_Generics
  See Deeply_Nested_Generics.
• Deeply_Nested_Inlining
  See Deeply_Nested_Inlining.
• Default_Parameters
  See Default_Parameters.
• Direct_Calls_To_Primitives
  See Direct_Calls_To_Primitives.
• Discriminated_Records
  See Discriminated_Records.
• Enumeration_Ranges_In_CASE_Statements
  See Enumeration_Ranges_In_CASE_Statements.
• Exceptions_As_Control_Flow
  See Exceptions_As_Control_Flow.
• Exits_From_Conditional_Loops
  See Exits_From_Conditional_Loops.
• EXIT_Statements_With_No_Loop_Name
  See EXIT_Statements_With_No_Loop_Name.
• Expanded_Loop_Exit_Names
  See Expanded_Loop_Exit_Names.
• Explicit_Full_Discrete_Ranges
  See Explicit_Full_Discrete_Ranges.
• Float_Equality_Checks
  See Float_Equality_Checks.
• Forbidden_Attributes
  See Forbidden_Attributes.
• Forbidden_Pragmas
  See Forbidden_Pragmas.
• Function_Style_Procedures
  See Function_Style_Procedures.
• Generics_In_Subprograms
  See Generics_In_Subprograms.
• GOTO_Statements
  See GOTO_Statements.
• Implicit_IN_Mode_Parameters
  See Implicit_IN_Mode_Parameters.
• Implicit_SMALL_For_Fixed_Point_Types
  See Implicit_SMALL_For_Fixed_Point_Types.
• Improperly_Located_Instantiations
  See Improperly_Located_Instantiations.
• Improper_Returns
  See Improper_Returns.
• Library_Level_Subprograms
  See Library_Level_Subprograms.
• Local_Packages
  See Local_Packages.
• Metrics_Cyclomatic_Complexity
  See Metrics_Cyclomatic_Complexity.
• Metrics_Essential_Complexity
  See Metrics_Essential_Complexity.
• Metrics_LSLOC
  See Metrics_LSLOC.
• Misnamed_Controlling_Parameters
  See Misnamed_Controlling_Parameters.
• Misnamed_Identifiers
  See Misnamed_Identifiers.
• Multiple_Entries_In_Protected_Definitions
  See Multiple_Entries_In_Protected_Definitions.
• Name_Clashes
  See Name_Clashes.
• Non_Qualified_Aggregates
  See Non_Qualified_Aggregates.
• Non_Short_Circuit_Operators
  See Non_Short_Circuit_Operators.
• Non_SPARK_Attributes
  See Non_SPARK_Attributes.
• Non_Tagged_Derived_Types
  See Non_Tagged_Derived_Types.
• Non_Visible_Exceptions
  See Non_Visible_Exceptions.
• Numeric_Literals
  See Numeric_Literals.
• OTHERS_In_Aggregates
  See OTHERS_In_Aggregates.
• OTHERS_In_CASE_Statements
  See OTHERS_In_CASE_Statements.
• OTHERS_In_Exception_Handlers
  See OTHERS_In_Exception_Handlers.
• Outer_Loop_Exits
  See Outer_Loop_Exits.
• Overloaded_Operators
  See Overloaded_Operators.
• Overly_Nested_Control_Structures
  See Overly_Nested_Control_Structures.
• Parameters_Out_Of_Order
  See Parameters_Out_Of_Order.
• Positional_Actuals_For_Defaulted_Generic_Parameters
  See Positional_Actuals_For_Defaulted_Generic_Parameters.
• Positional_Actuals_For_Defaulted_Parameters
  See Positional_Actuals_For_Defaulted_Parameters.
• Positional_Components
  See Positional_Components.
• Positional_Generic_Parameters
  See Positional_Generic_Parameters.
• Positional_Parameters
  See Positional_Parameters.
• Predefined_Numeric_Types
  See Predefined_Numeric_Types.
• Raising_External_Exceptions
  See Raising_External_Exceptions.
• Raising_Predefined_Exceptions
  See Raising_Predefined_Exceptions.
• Separate_Numeric_Error_Handlers
  See Separate_Numeric_Error_Handlers.
• Slices
  See Slices.
• Too_Many_Parents
  See Too_Many_Parents.
• Unassigned_OUT_Parameters
  See Unassigned_OUT_Parameters.
• Uncommented_BEGIN_In_Package_Bodies
  See Uncommented_BEGIN_In_Package_Bodies.
• Recursive_Subprograms
  See Recursive_Subprograms.
• Unconditional_Exits
  See Unconditional_Exits.
• Unconstrained_Array_Returns
  See Unconstrained_Array_Returns.
• Universal_Ranges
  See Universal_Ranges.
• Unnamed_Blocks_And_Loops
  See Unnamed_Blocks_And_Loops.
• USE_PACKAGE_Clauses
  See USE_PACKAGE_Clauses.
• Visible_Components
  See Visible_Components.
• Volatile_Objects_Without_Address_Clauses
  See Volatile_Objects_Without_Address_Clauses.