Next: Index, Previous: SPARK Ada Rules [Contents][Index]
This Appendix contains an alphabetized list of all the predefined GNATcheck rules.
Abstract_Type_Declarations
Anonymous_Arrays
Anonymous_Subtypes
Blocks
Boolean_Relational_Operators
Complex_Inlined_Subprograms
Controlled_Type_Declarations
Declarations_In_Blocks
Deep_Inheritance_Hierarchies
Deeply_Nested_Generics
Deeply_Nested_Inlining
Default_Parameters
Direct_Calls_To_Primitives
Discriminated_Records
Enumeration_Ranges_In_CASE_Statements
Exceptions_As_Control_Flow
Exits_From_Conditional_Loops
EXIT_Statements_With_No_Loop_Name
Expanded_Loop_Exit_Names
Explicit_Full_Discrete_Ranges
Float_Equality_Checks
Forbidden_Attributes
Forbidden_Pragmas
Function_Style_Procedures
Generics_In_Subprograms
GOTO_Statements
Implicit_IN_Mode_Parameters
Implicit_SMALL_For_Fixed_Point_Types
Improperly_Located_Instantiations
Improper_Returns
Library_Level_Subprograms
Local_Packages
Metrics_Cyclomatic_Complexity
Metrics_Essential_Complexity
Metrics_LSLOC
Misnamed_Controlling_Parameters
Misnamed_Identifiers
Multiple_Entries_In_Protected_Definitions
Name_Clashes
Non_Qualified_Aggregates
Non_Short_Circuit_Operators
Non_SPARK_Attributes
Non_Tagged_Derived_Types
Non_Visible_Exceptions
Numeric_Literals
OTHERS_In_Aggregates
OTHERS_In_CASE_Statements
OTHERS_In_Exception_Handlers
Outer_Loop_Exits
Overloaded_Operators
Overly_Nested_Control_Structures
Parameters_Out_Of_Order
Positional_Actuals_For_Defaulted_Generic_Parameters
Positional_Actuals_For_Defaulted_Parameters
Positional_Components
Positional_Generic_Parameters
Positional_Parameters
Predefined_Numeric_Types
Raising_External_Exceptions
Raising_Predefined_Exceptions
Separate_Numeric_Error_Handlers
Slices
Too_Many_Parents
Unassigned_OUT_Parameters
Uncommented_BEGIN_In_Package_Bodies
Recursive_Subprograms
Unconditional_Exits
Unconstrained_Array_Returns
Universal_Ranges
Unnamed_Blocks_And_Loops
USE_PACKAGE_Clauses
Visible_Components
Volatile_Objects_Without_Address_Clauses
Next: Index, Previous: SPARK Ada Rules [Contents][Index]