[Top] [Contents] [Index] [ ? ]

GNATcheck Reference Manual - Predefined Rules

GNATcheck Reference Manual - Predefined Rules

The GNAT Ada Compiler
GNAT GPL Edition, Version 2010
Configuration level: 150355
Date: 2009/10/06

Copyright (C) 2009, AdaCore

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.1 or any later version published by the Free Software Foundation; with the Invariant Sections being "GNU Free Documentation License", with the Front-Cover Texts being "GNATcheck Reference Manual - Predefined Rules", and with no Back-Cover Texts. A copy of the license is included in the section entitled "GNU Free Documentation License".

About This Manual  
1. Style-Related Rules  
2. Feature Usage Rules  
3. Metrics-Related Rules  
4. SPARK Ada Rules  
A. List of Rules  
B. GNU Free Documentation License  
Index  

 -- The Detailed Node Listing --- About This Manual
What This Guide Contains  
What You Should Know Before Reading This Guide  

Style-Related Rules
1.1 Tasking  
1.2 Object Orientation  
1.3 Portability  
1.4 Program Structure  
1.5 Programming Practice  
1.6 Readability  
1.7 Source Code Presentation  

Feature Usage Rules
2.1 Abstract_Type_Declarations  
2.2 Anonymous_Subtypes  
2.3 Blocks  
2.4 Complex_Inlined_Subprograms  
2.5 Controlled_Type_Declarations  
2.6 Declarations_In_Blocks  
2.7 Deeply_Nested_Inlining  
2.8 Default_Parameters  
2.9 Discriminated_Records  
2.10 Explicit_Full_Discrete_Ranges  
2.11 Float_Equality_Checks  
2.12 Function_Style_Procedures  
2.13 Generics_In_Subprograms  
2.14 Implicit_IN_Mode_Parameters  
2.15 Improperly_Located_Instantiations  
2.16 Library_Level_Subprograms  
2.17 Non_Qualified_Aggregates  
2.18 Numeric_Literals  
2.19 Parameters_Out_Of_Order  
2.20 Raising_Predefined_Exceptions  
2.21 Unassigned_OUT_Parameters  
2.22 Unconstrained_Array_Returns  

Metrics-Related Rules
3.1 Metrics_Essential_Complexity  
3.2 Metrics_Cyclomatic_Complexity  
3.3 Metrics_LSLOC  

SPARK Ada Rules
4.1 Boolean_Relational_Operators  
4.2 Expanded_Loop_Exit_Names  
4.3 Non_SPARK_Attributes  
4.4 Non_Tagged_Derived_Types  
4.5 Outer_Loop_Exits  
4.6 Overloaded_Operators  
4.7 Slices  
4.8 Universal_Ranges  

List of Rules GNU Free Documentation License Index



This document was generated by Mail Server on June, 3 2010 using texi2html