Index

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

Symbols

+R (gnatcheck)
--help
--include-file=file
--incremental gnatpp
--no_objects_dir
--RTS=rts-path
--show-rule
--subdirs=dir
--version
--write-rules
-a
-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

Abstract_Type_Declarations
Annotated_Comments
Anonymous_Arrays
Anonymous_Subtypes
ASIS

B

Blocks
Boolean_Relational_Operators

C

Coding standard file (for gnatcheck)
Complex_Inlined_Subprograms
Conditional_Expressions
Controlled_Type_Declarations

D

Declarations_In_Blocks
Deep_Inheritance_Hierarchies
Deeply_Nested_Generics
Deeply_Nested_Inlining
Default_Parameters
Direct_Calls_To_Primitives
Discriminated_Records

E

Enumeration_Ranges_In_CASE_Statements
Exceptions_As_Control_Flow
EXIT_Statements_With_No_Loop_Name
Exits_From_Conditional_Loops
Expanded_Loop_Exit_Names
Explicit_Full_Discrete_Ranges

F

Feature usage related rules
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

L

Library_Level_Subprograms
Local_Packages

M

Maximum_Parameters
Metrics-related rules
Metrics_Cyclomatic_Complexity
Metrics_Essential_Complexity
Metrics_LSLOC
Misnamed_Controlling_Parameters
Multiple_Entries_In_Protected_Definitions

N

Name_Clashes
No_Scalar_Storage_Order_Specified
Non_Qualified_Aggregates
Non_Short_Circuit_Operators
Non_SPARK_Attributes
Non_Tagged_Derived_Types
Non_Visible_Exceptions rule
Numeric_Literals

O

Object-Orientation related rules
OTHERS_In_Aggregates
OTHERS_In_CASE_Statements
OTHERS_In_Exception_Handlers
Outer_Loop_Exits
Overloaded_Operators
Overly_Nested_Control_Structures

P

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

Q

Quantified_Expressions

R

Raising_External_Exceptions
Raising_Predefined_Exceptions
Readability-related rules
Recursive_Subprograms rule
Rule exemption

S

Separate_Numeric_Error_Handlers
Slices
Source code presentation related rules
SPARK Ada related rules
Style-related rules

T

Tasking-related rules
Too_Many_Parents

U

Unassigned_OUT_Parameters
Uncommented_BEGIN_In_Package_Bodies
Unconditional_Exits rule
Unconstrained_Array_Returns
Universal_Ranges rule
Unnamed_Blocks_And_Loops
USE_PACKAGE_Clauses
Using pragma Annotate to control rule exemption

V

Visible_Components
Volatile_Objects_Without_Address_Clauses