[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [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_Declarations2.1 Abstract_Type_Declarations
Anonymous_Arrays1.5.1 Anonymous_Arrays
Anonymous_Subtypes2.2 Anonymous_Subtypes

B
Blocks2.3 Blocks
Boolean_Relational_Operators4.1 Boolean_Relational_Operators

C
Complex_Inlined_Subprograms2.4 Complex_Inlined_Subprograms
Controlled_Type_Declarations2.5 Controlled_Type_Declarations

D
Declarations_In_Blocks2.6 Declarations_In_Blocks
Deeply_Nested_Generics1.4.1 Deeply_Nested_Generics
Deeply_Nested_Inlining2.7 Deeply_Nested_Inlining
Deep_Inheritance_Hierarchies1.2.1 Deep_Inheritance_Hierarchies
Default_Parameters2.8 Default_Parameters
Direct_Calls_To_Primitives1.2.2 Direct_Calls_To_Primitives
Discriminated_Records2.9 Discriminated_Records

E
Enumeration_Ranges_In_CASE_Statements1.5.2 Enumeration_Ranges_In_CASE_Statements
Exceptions_As_Control_Flow1.5.3 Exceptions_As_Control_Flow
Exits_From_Conditional_Loops1.5.4 Exits_From_Conditional_Loops
EXIT_Statements_With_No_Loop_Name1.5.5 EXIT_Statements_With_No_Loop_Name
Expanded_Loop_Exit_Names4.2 Expanded_Loop_Exit_Names
Explicit_Full_Discrete_Ranges2.10 Explicit_Full_Discrete_Ranges

F
Feature usage related rules2. Feature Usage Rules
Float_Equality_Checks2.11 Float_Equality_Checks
Forbidden_Attributes1.3.1 Forbidden_Attributes
Forbidden_Pragmas1.3.2 Forbidden_Pragmas
Function_Style_Procedures2.12 Function_Style_Procedures

G
Generics_In_Subprograms2.13 Generics_In_Subprograms
GOTO_Statements1.5.6 GOTO_Statements

I
Implicit_IN_Mode_Parameters2.14 Implicit_IN_Mode_Parameters
Implicit_SMALL_For_Fixed_Point_Types1.3.3 Implicit_SMALL_For_Fixed_Point_Types
Improperly_Located_Instantiations2.15 Improperly_Located_Instantiations
Improper_Returns1.5.7 Improper_Returns

L
Library_Level_Subprograms2.16 Library_Level_Subprograms
Local_Packages1.4.2 Local_Packages

M
Metrics-related rules3. Metrics-Related Rules
Metrics_Cyclomatic_Complexity3.2 Metrics_Cyclomatic_Complexity
Metrics_Essential_Complexity3.1 Metrics_Essential_Complexity
Metrics_LSLOC3.3 Metrics_LSLOC
Misnamed_Controlling_Parameters1.6.1 Misnamed_Controlling_Parameters
Misnamed_Identifiers1.6.2 Misnamed_Identifiers
Multiple_Entries_In_Protected_Definitions1.1.1 Multiple_Entries_In_Protected_Definitions

N
Name_Clashes1.6.3 Name_Clashes
Non_Qualified_Aggregates2.17 Non_Qualified_Aggregates
Non_Short_Circuit_Operators1.5.8 Non_Short_Circuit_Operators
Non_SPARK_Attributes4.3 Non_SPARK_Attributes
Non_Tagged_Derived_Types4.4 Non_Tagged_Derived_Types
Non_Visible_Exceptions rule1.4.3 Non_Visible_Exceptions
Numeric_Literals2.18 Numeric_Literals

O
Object-Orientation related rules1.2 Object Orientation
OTHERS_In_Aggregates1.5.9 OTHERS_In_Aggregates
OTHERS_In_CASE_Statements1.5.10 OTHERS_In_CASE_Statements
OTHERS_In_Exception_Handlers1.5.11 OTHERS_In_Exception_Handlers
Outer_Loop_Exits4.5 Outer_Loop_Exits
Overloaded_Operators4.6 Overloaded_Operators
Overly_Nested_Control_Structures1.5.12 Overly_Nested_Control_Structures

P
Parameters_Out_Of_Order2.19 Parameters_Out_Of_Order
Portability-related rules1.3 Portability
Positional_Actuals_For_Defaulted_Generic_Parameters1.5.13 Positional_Actuals_For_Defaulted_Generic_Parameters
Positional_Actuals_For_Defaulted_Parameters rule1.5.14 Positional_Actuals_For_Defaulted_Parameters
Positional_Components1.5.15 Positional_Components
Positional_Generic_Parameters1.5.16 Positional_Generic_Parameters
Positional_Parameters1.5.17 Positional_Parameters
Predefined_Numeric_Types1.3.4 Predefined_Numeric_Types
Program Structure related rules1.4 Program Structure
Programming Practice related rules1.5 Programming Practice

R
Raising_External_Exceptions1.4.4 Raising_External_Exceptions
Raising_Predefined_Exceptions2.20 Raising_Predefined_Exceptions
Readability-related rules1.6 Readability
Recursive_Subprograms rule1.5.18 Recursive_Subprograms

S
Separate_Numeric_Error_Handlers1.3.5 Separate_Numeric_Error_Handlers
Slices4.7 Slices
Source code presentation related rules1.7 Source Code Presentation
SPARK Ada related rules4. SPARK Ada Rules
Style-related rules1. Style-Related Rules

T
Tasking-related rules1.1 Tasking
Too_Many_Parents1.2.3 Too_Many_Parents

U
Unassigned_OUT_Parameters2.21 Unassigned_OUT_Parameters
Uncommented_BEGIN_In_Package_Bodies1.6.4 Uncommented_BEGIN_In_Package_Bodies
Unconditional_Exits rule1.5.19 Unconditional_Exits
Unconstrained_Array_Returns2.22 Unconstrained_Array_Returns
Universal_Ranges rule4.8 Universal_Ranges
Unnamed_Blocks_And_Loops1.5.20 Unnamed_Blocks_And_Loops
USE_PACKAGE_Clauses1.5.21 USE_PACKAGE_Clauses

V
Visible_Components1.2.4 Visible_Components
Volatile_Objects_Without_Address_Clauses1.1.2 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  

[ << ] [ >> ]           [Top] [Contents] [Index] [ ? ]

This document was generated by root on February 6, 2012 using texi2html 1.82.