Previous:   [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

+
+R (gnatcheck): gnatcheck Rule Options

-
--help: General gnatcheck Switches
--include-file=file: General gnatcheck Switches
--show-rule: General gnatcheck Switches
--version: General gnatcheck Switches
--write-rules: General gnatcheck Switches
-a: General gnatcheck Switches
-d: General gnatcheck Switches
-dd: General gnatcheck Switches
-from (gnatcheck): gnatcheck Rule Options
-h: General gnatcheck Switches
-j: General gnatcheck Switches
-l: General gnatcheck Switches
-log: General gnatcheck Switches
-m: General gnatcheck Switches
-o: General gnatcheck Switches
-q: General gnatcheck Switches
-R (gnatcheck): gnatcheck Rule Options
-s: General gnatcheck Switches
-t: General gnatcheck Switches
-v: General gnatcheck Switches

A
Abstract_Type_Declarations: Abstract_Type_Declarations
Annotated_Comments: Annotated_Comments
Anonymous_Arrays: Anonymous_Arrays
Anonymous_Subtypes: Anonymous_Subtypes
ASIS: Introduction

B
Blocks: Blocks
Boolean_Relational_Operators: Boolean_Relational_Operators

C
Coding standard file (for gnatcheck): gnatcheck Rule Options
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
Format of the Report File: Format of the Report File
Function_Style_Procedures: Function_Style_Procedures

G
General Public License, GNU: GNU General Public License
Generics_In_Subprograms: Generics_In_Subprograms
gnatcheck annotations rules: gnatcheck Annotations Rules
GNU General Public License: GNU General Public License
GOTO_Statements: GOTO_Statements

I
Identifier_Casing: Identifier_Casing
Identifier_Prefixes: Identifier_Prefixes
Identifier_Suffixes: Identifier_Suffixes
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
License, GNU General Public: GNU General Public License
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
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
No_Scalar_Storage_Order_Specified: No_Scalar_Storage_Order_Specified
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 Rules: Predefined Rules
Predefined_Numeric_Types: Predefined_Numeric_Types
Program Structure related rules: Program Structure
Programming Practice related rules: Programming Practice
Project-Wide Checks: Project-Wide Checks

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

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
Using pragma Annotate to control rule exemption: Using pragma Annotate to Control Rule Exemption

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:   [Contents][Index]