Index

Symbols | A | B | C | D | E | F | G | I | L | M | N | O | P | Q | R | S | T | U | V

Symbols

+R (gnatcheck)
--check-redefinition
--help
--ignore
--include-file=file
--incremental gnatpp
--no_objects_dir
--RTS=rts-path
--show-rule
--subdirs=dir
--version
--write-rules
-a
-files
-from (gnatcheck)
-h
-j
-l
-log
-m
-nt
-o
-ox
-P file
-q
-R (gnatcheck)
-s
-t
-U
-U main_unit
-v
-xml
-Xname=value

A

Abort_Statements
Abstract_Type_Declarations
Address_Specifications_For_Initialized_Objects
Address_Specifications_For_Local_Objects
Annotated_Comments
Anonymous_Arrays
Anonymous_Subtypes
ASIS

B

Binary_Case_Statements
Bit_Records_Without_Layout_Definition
Blocks
Boolean_Relational_Operators

C

Coding standard file (for gnatcheck)
Complex_Inlined_Subprograms
Conditional_Expressions
Constructors
Controlled_Type_Declarations

D

Declarations_In_Blocks
Deep_Inheritance_Hierarchies
Deep_Library_Hierarchy
Deeply_Nested_Generics
Deeply_Nested_Inlining
Default_Parameters
Default_Values_For_Record_Components
Deriving_From_Predefined_Type
Direct_Calls_To_Primitives
Discriminated_Records
Downward_View_Conversions

E

Enumeration_Ranges_In_CASE_Statements
Enumeration_Representation_Clauses
Exceptions_As_Control_Flow
EXIT_Statements_With_No_Loop_Name
Exits_From_Conditional_Loops
Expanded_Loop_Exit_Names
Explicit_Full_Discrete_Ranges
Expression_Functions

F

Feature usage related rules
Fixed_Equality_Checks
Float_Equality_Checks
Forbidden_Attributes
Forbidden_Pragmas
Format of the Report File
Function_Style_Procedures

G

Generics_In_Subprograms
Global_Variables
gnatcheck annotations rules
GOTO_Statements

I

Identifier_Casing
Identifier_Prefixes
Identifier_Suffixes
Implicit_IN_Mode_Parameters
Implicit_SMALL_For_Fixed_Point_Types
Improper_Returns
Improperly_Located_Instantiations
Incomplete_Representation_Specifications

L

Library_Level_Subprograms
Local_Packages
Local_USE_Clauses

M

Max_Identifier_Length
Maximum_Parameters
Membership_Tests
Metrics-related rules
Metrics_Cyclomatic_Complexity
Metrics_Essential_Complexity
Metrics_LSLOC
Misnamed_Controlling_Parameters
Misplaced_Representation_Items
Multiple_Entries_In_Protected_Definitions

N

Name_Clashes
Nested_Subprograms
No_Explicit_Real_Range
No_Inherited_Classwide_Pre
No_Scalar_Storage_Order_Specified
Non_Qualified_Aggregates
Non_Short_Circuit_Operators
Non_SPARK_Attributes
Non_Tagged_Derived_Types
Non_Visible_Exceptions
Null_Paths
Number_Declarations
Numeric_Indexing
Numeric_Literals

O

Object-Orientation related rules
Object_Declarations_Out_Of_Order
Objects_Of_Anonymous_Types
One_Construct_Per_Line
OTHERS_In_Aggregates
OTHERS_In_CASE_Statements
OTHERS_In_Exception_Handlers
Outbound_Protected_Assignments
Outer_Loop_Exits
Overloaded_Operators
Overly_Nested_Control_Structures

P

Parameters_Out_Of_Order
Portability-related rules
POS_On_Enumeration_Types
Positional_Actuals_For_Defaulted_Generic_Parameters
Positional_Actuals_For_Defaulted_Parameters
Positional_Components
Positional_Generic_Parameters
Positional_Parameters
Predefined Rules
Predefined_Numeric_Types
Predicate_Testing
Printable_ASCII
Program Structure related rules
Programming Practice related rules

Q

Quantified_Expressions

R

Raising_External_Exceptions
Raising_Predefined_Exceptions
Readability-related rules
Recursive_Subprograms
Relative_Delay_Statements
Representation_Specifications
Rule exemption

S

Separate_Numeric_Error_Handlers
Single_Value_Enumeration_Types
Slices
Source code presentation related rules
SPARK Ada related rules
Specific_Parent_Type_Invariant
Specific_Pre_Post
Specific_Type_Invariants
Style-related rules
Subprogram_Access

T

Tasking-related rules
Too_Many_Dependencies
Too_Many_Parents
Too_Many_Primitives

U

Unassigned_OUT_Parameters
Unchecked_Address_Conversions
Unchecked_Conversions_As_Actuals
Uncommented_BEGIN_In_Package_Bodies
Unconditional_Exits
Unconstrained_Array_Returns
Unconstrained_Arrays
Uninitialized_Global_Variables
Universal_Ranges
Unnamed_Blocks_And_Loops
USE_PACKAGE_Clauses
Using pragma Annotate to control rule exemption

V

Visible_Components
Volatile_Objects_Without_Address_Clauses