[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
This Appendix contains an alphabetized list of all the predefined GNATcheck rules.
Abstract_Type_Declarations
Abstract_Type_Declarations
.
Anonymous_Arrays
Anonymous_Arrays
.
Anonymous_Subtypes
Anonymous_Subtypes
.
Blocks
Blocks
.
Boolean_Relational_Operators
Boolean_Relational_Operators
.
Complex_Inlined_Subprograms
Complex_Inlined_Subprograms
.
Controlled_Type_Declarations
Controlled_Type_Declarations
.
Declarations_In_Blocks
Declarations_In_Blocks
.
Deep_Inheritance_Hierarchies
Deep_Inheritance_Hierarchies
.
Deeply_Nested_Generics
Deeply_Nested_Generics
.
Deeply_Nested_Inlining
Deeply_Nested_Inlining
.
Default_Parameters
Default_Parameters
.
Direct_Calls_To_Primitives
Direct_Calls_To_Primitives
.
Discriminated_Records
Discriminated_Records
.
Enumeration_Ranges_In_CASE_Statements
Enumeration_Ranges_In_CASE_Statements
.
Exceptions_As_Control_Flow
Exceptions_As_Control_Flow
.
Exits_From_Conditional_Loops
Exits_From_Conditional_Loops
.
EXIT_Statements_With_No_Loop_Name
EXIT_Statements_With_No_Loop_Name
.
Expanded_Loop_Exit_Names
Expanded_Loop_Exit_Names
.
Explicit_Full_Discrete_Ranges
Explicit_Full_Discrete_Ranges
.
Float_Equality_Checks
Float_Equality_Checks
.
Forbidden_Attributes
Forbidden_Attributes
.
Forbidden_Pragmas
Forbidden_Pragmas
.
Function_Style_Procedures
Function_Style_Procedures
.
Generics_In_Subprograms
Generics_In_Subprograms
.
GOTO_Statements
GOTO_Statements
.
Implicit_IN_Mode_Parameters
Implicit_IN_Mode_Parameters
.
Implicit_SMALL_For_Fixed_Point_Types
Implicit_SMALL_For_Fixed_Point_Types
.
Improperly_Located_Instantiations
Improperly_Located_Instantiations
.
Improper_Returns
Improper_Returns
.
Library_Level_Subprograms
Library_Level_Subprograms
.
Local_Packages
Local_Packages
.
Metrics_Cyclomatic_Complexity
Metrics_Cyclomatic_Complexity
.
Metrics_Essential_Complexity
Metrics_Essential_Complexity
.
Metrics_LSLOC
Metrics_LSLOC
.
Misnamed_Controlling_Parameters
Misnamed_Controlling_Parameters
.
Misnamed_Identifiers
Misnamed_Identifiers
.
Multiple_Entries_In_Protected_Definitions
Multiple_Entries_In_Protected_Definitions
.
Name_Clashes
Name_Clashes
.
Non_Qualified_Aggregates
Non_Qualified_Aggregates
.
Non_Short_Circuit_Operators
Non_Short_Circuit_Operators
.
Non_SPARK_Attributes
Non_SPARK_Attributes
.
Non_Tagged_Derived_Types
Non_Tagged_Derived_Types
.
Non_Visible_Exceptions
Non_Visible_Exceptions
.
Numeric_Literals
Numeric_Literals
.
OTHERS_In_Aggregates
OTHERS_In_Aggregates
.
OTHERS_In_CASE_Statements
OTHERS_In_CASE_Statements
.
OTHERS_In_Exception_Handlers
OTHERS_In_Exception_Handlers
.
Outer_Loop_Exits
Outer_Loop_Exits
.
Overloaded_Operators
Overloaded_Operators
.
Overly_Nested_Control_Structures
Overly_Nested_Control_Structures
.
Parameters_Out_Of_Order
Parameters_Out_Of_Order
.
Positional_Actuals_For_Defaulted_Generic_Parameters
Positional_Actuals_For_Defaulted_Generic_Parameters
.
Positional_Actuals_For_Defaulted_Parameters
Positional_Actuals_For_Defaulted_Parameters
.
Positional_Components
Positional_Components
.
Positional_Generic_Parameters
Positional_Generic_Parameters
.
Positional_Parameters
Positional_Parameters
.
Predefined_Numeric_Types
Predefined_Numeric_Types
.
Raising_External_Exceptions
Raising_External_Exceptions
.
Raising_Predefined_Exceptions
Raising_Predefined_Exceptions
.
Separate_Numeric_Error_Handlers
Separate_Numeric_Error_Handlers
.
Slices
Slices
.
Too_Many_Parents
Too_Many_Parents
.
Unassigned_OUT_Parameters
Unassigned_OUT_Parameters
.
Uncommented_BEGIN_In_Package_Bodies
Uncommented_BEGIN_In_Package_Bodies
.
Recursive_Subprograms
Recursive_Subprograms
.
Unconditional_Exits
Unconditional_Exits
.
Unconstrained_Array_Returns
Unconstrained_Array_Returns
.
Universal_Ranges
Universal_Ranges
.
Unnamed_Blocks_And_Loops
Unnamed_Blocks_And_Loops
.
USE_PACKAGE_Clauses
USE_PACKAGE_Clauses
.
Visible_Components
Visible_Components
.
Volatile_Objects_Without_Address_Clauses
Volatile_Objects_Without_Address_Clauses
.
[ << ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
This document was generated by root on February 6, 2012 using texi2html 1.82.