| [ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
This Appendix contains an alphabetized list of all the predefined GNATcheck rules.
Abstract_Type_DeclarationsAbstract_Type_Declarations.
Anonymous_ArraysAnonymous_Arrays.
Anonymous_SubtypesAnonymous_Subtypes.
BlocksBlocks.
Boolean_Relational_OperatorsBoolean_Relational_Operators.
Complex_Inlined_SubprogramsComplex_Inlined_Subprograms.
Controlled_Type_DeclarationsControlled_Type_Declarations.
Declarations_In_BlocksDeclarations_In_Blocks.
Deep_Inheritance_HierarchiesDeep_Inheritance_Hierarchies.
Deeply_Nested_GenericsDeeply_Nested_Generics.
Deeply_Nested_InliningDeeply_Nested_Inlining.
Default_ParametersDefault_Parameters.
Direct_Calls_To_PrimitivesDirect_Calls_To_Primitives.
Discriminated_RecordsDiscriminated_Records.
Enumeration_Ranges_In_CASE_StatementsEnumeration_Ranges_In_CASE_Statements.
Exceptions_As_Control_FlowExceptions_As_Control_Flow.
Exits_From_Conditional_LoopsExits_From_Conditional_Loops.
EXIT_Statements_With_No_Loop_NameEXIT_Statements_With_No_Loop_Name.
Expanded_Loop_Exit_NamesExpanded_Loop_Exit_Names.
Explicit_Full_Discrete_RangesExplicit_Full_Discrete_Ranges.
Float_Equality_ChecksFloat_Equality_Checks.
Forbidden_AttributesForbidden_Attributes.
Forbidden_PragmasForbidden_Pragmas.
Function_Style_ProceduresFunction_Style_Procedures.
Generics_In_SubprogramsGenerics_In_Subprograms.
GOTO_StatementsGOTO_Statements.
Implicit_IN_Mode_ParametersImplicit_IN_Mode_Parameters.
Implicit_SMALL_For_Fixed_Point_TypesImplicit_SMALL_For_Fixed_Point_Types.
Improperly_Located_InstantiationsImproperly_Located_Instantiations.
Improper_ReturnsImproper_Returns.
Library_Level_SubprogramsLibrary_Level_Subprograms.
Local_PackagesLocal_Packages.
Metrics_Cyclomatic_ComplexityMetrics_Cyclomatic_Complexity.
Metrics_Essential_ComplexityMetrics_Essential_Complexity.
Metrics_LSLOCMetrics_LSLOC.
Misnamed_Controlling_ParametersMisnamed_Controlling_Parameters.
Identifier_SuffixesIdentifier_Suffixes.
Multiple_Entries_In_Protected_DefinitionsMultiple_Entries_In_Protected_Definitions.
Name_ClashesName_Clashes.
Non_Qualified_AggregatesNon_Qualified_Aggregates.
Non_Short_Circuit_OperatorsNon_Short_Circuit_Operators.
Non_SPARK_AttributesNon_SPARK_Attributes.
Non_Tagged_Derived_TypesNon_Tagged_Derived_Types.
Non_Visible_ExceptionsNon_Visible_Exceptions.
Numeric_LiteralsNumeric_Literals.
OTHERS_In_AggregatesOTHERS_In_Aggregates.
OTHERS_In_CASE_StatementsOTHERS_In_CASE_Statements.
OTHERS_In_Exception_HandlersOTHERS_In_Exception_Handlers.
Outer_Loop_ExitsOuter_Loop_Exits.
Overloaded_OperatorsOverloaded_Operators.
Overly_Nested_Control_StructuresOverly_Nested_Control_Structures.
Parameters_Out_Of_OrderParameters_Out_Of_Order.
Positional_Actuals_For_Defaulted_Generic_ParametersPositional_Actuals_For_Defaulted_Generic_Parameters.
Positional_Actuals_For_Defaulted_ParametersPositional_Actuals_For_Defaulted_Parameters.
Positional_ComponentsPositional_Components.
Positional_Generic_ParametersPositional_Generic_Parameters.
Positional_ParametersPositional_Parameters.
Predefined_Numeric_TypesPredefined_Numeric_Types.
Raising_External_ExceptionsRaising_External_Exceptions.
Raising_Predefined_ExceptionsRaising_Predefined_Exceptions.
Separate_Numeric_Error_HandlersSeparate_Numeric_Error_Handlers.
SlicesSlices.
Too_Many_ParentsToo_Many_Parents.
Unassigned_OUT_ParametersUnassigned_OUT_Parameters.
Uncommented_BEGIN_In_Package_BodiesUncommented_BEGIN_In_Package_Bodies.
Recursive_SubprogramsRecursive_Subprograms.
Unconditional_ExitsUnconditional_Exits.
Unconstrained_Array_ReturnsUnconstrained_Array_Returns.
Universal_RangesUniversal_Ranges.
Unnamed_Blocks_And_LoopsUnnamed_Blocks_And_Loops.
USE_PACKAGE_ClausesUSE_PACKAGE_Clauses.
Visible_ComponentsVisible_Components.
Volatile_Objects_Without_Address_ClausesVolatile_Objects_Without_Address_Clauses.
| [ << ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |