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