Previous: List of Rules   [Contents][Index]

Index

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

A
Abstract_Type_Declarations: Abstract_Type_Declarations
Anonymous_Arrays: Anonymous_Arrays
Anonymous_Subtypes: Anonymous_Subtypes

B
Blocks: Blocks
Boolean_Relational_Operators: Boolean_Relational_Operators

C
Complex_Inlined_Subprograms: Complex_Inlined_Subprograms
Controlled_Type_Declarations: Controlled_Type_Declarations

D
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

E
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

F
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

G
Generics_In_Subprograms: Generics_In_Subprograms
GOTO_Statements: GOTO_Statements

I
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

L
Library_Level_Subprograms: Library_Level_Subprograms
Local_Packages: Local_Packages

M
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

N
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

O
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

P
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

R
Raising_External_Exceptions: Raising_External_Exceptions
Raising_Predefined_Exceptions: Raising_Predefined_Exceptions
Readability-related rules: Readability
Recursive_Subprograms rule: Recursive_Subprograms

S
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

T
Tasking-related rules: Tasking
Too_Many_Parents: Too_Many_Parents

U
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

V
Visible_Components: Visible_Components
Volatile_Objects_Without_Address_Clauses: Volatile_Objects_Without_Address_Clauses

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

Table of Contents


Previous: List of Rules   [Contents][Index]