[Top] | [Contents] | [Index] | [ ? ] |
Multiple_Entries_In_Protected_Definitions
Volatile_Objects_Without_Address_Clauses
Deep_Inheritance_Hierarchies
Direct_Calls_To_Primitives
Too_Many_Parents
Visible_Components
Forbidden_Attributes
Forbidden_Pragmas
Implicit_SMALL_For_Fixed_Point_Types
Predefined_Numeric_Types
Separate_Numeric_Error_Handlers
Deeply_Nested_Generics
Local_Packages
Non_Visible_Exceptions
Raising_External_Exceptions
Anonymous_Arrays
Enumeration_Ranges_In_CASE_Statements
Exceptions_As_Control_Flow
Exits_From_Conditional_Loops
EXIT_Statements_With_No_Loop_Name
GOTO_Statements
Improper_Returns
Non_Short_Circuit_Operators
OTHERS_In_Aggregates
OTHERS_In_CASE_Statements
OTHERS_In_Exception_Handlers
Overly_Nested_Control_Structures
Positional_Actuals_For_Defaulted_Generic_Parameters
Positional_Actuals_For_Defaulted_Parameters
Positional_Components
Positional_Generic_Parameters
Positional_Parameters
Recursive_Subprograms
Unconditional_Exits
Unnamed_Blocks_And_Loops
USE_PACKAGE_Clauses
Misnamed_Controlling_Parameters
Misnamed_Identifiers
Name_Clashes
Uncommented_BEGIN_In_Package_Bodies
Abstract_Type_Declarations
Anonymous_Subtypes
Blocks
Complex_Inlined_Subprograms
Controlled_Type_Declarations
Declarations_In_Blocks
Deeply_Nested_Inlining
Default_Parameters
Discriminated_Records
Explicit_Full_Discrete_Ranges
Float_Equality_Checks
Function_Style_Procedures
Generics_In_Subprograms
Implicit_IN_Mode_Parameters
Improperly_Located_Instantiations
Library_Level_Subprograms
Non_Qualified_Aggregates
Numeric_Literals
Parameters_Out_Of_Order
Raising_Predefined_Exceptions
Unassigned_OUT_Parameters
Unconstrained_Array_Returns
Metrics_Essential_Complexity
Metrics_Cyclomatic_Complexity
Metrics_LSLOC
Boolean_Relational_Operators
Expanded_Loop_Exit_Names
Non_SPARK_Attributes
Non_Tagged_Derived_Types
Outer_Loop_Exits
Overloaded_Operators
Slices
Universal_Ranges