GNATcheck Reference Manual - Predefined Rules: Index

Jump to:	A B C D E F G I L M N O P R S T U V

Index Entry

Section

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

Deeply_Nested_Generics:

Deeply_Nested_Generics

Deeply_Nested_Inlining:

Deeply_Nested_Inlining

Deep_Inheritance_Hierarchies:

Deep_Inheritance_Hierarchies

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

Feature usage related rules:

Feature Usage Rules

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-related rules:

Metrics-Related Rules

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 rule:

Non_Visible_Exceptions

Numeric_Literals:

Numeric_Literals

Object-Orientation related rules:

Object Orientation

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

Portability-related rules:

Portability

Positional_Actuals_For_Defaulted_Generic_Parameters:

Positional_Actuals_For_Defaulted_Generic_Parameters

Positional_Actuals_For_Defaulted_Parameters rule:

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

Program Structure related rules:

Program Structure

Programming Practice related rules:

Programming Practice

Raising_External_Exceptions:

Raising_External_Exceptions

Raising_Predefined_Exceptions:

Raising_Predefined_Exceptions

Readability-related rules:

Readability

Recursive_Subprograms rule:

Recursive_Subprograms

Separate_Numeric_Error_Handlers:

Separate_Numeric_Error_Handlers

Slices:

Slices

Source code presentation related rules:

Source Code Presentation

SPARK Ada related rules:

SPARK Ada Rules

Style-related rules:

Style-Related Rules

Tasking-related rules:

Tasking

Too_Many_Parents:

Too_Many_Parents

Unassigned_OUT_Parameters:

Unassigned_OUT_Parameters

Uncommented_BEGIN_In_Package_Bodies:

Uncommented_BEGIN_In_Package_Bodies

Unconditional_Exits rule:

Unconditional_Exits

Unconstrained_Array_Returns:

Unconstrained_Array_Returns

Universal_Ranges rule:

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

Index

Table of Contents