CodeCheck Documentation - Ada 95
| CodeCheck Documentation CodeCheck Documentation - Ada 95 | |
| Check ID | Check Name | Supported |
|---|---|---|
| ADA95_2.1.1 | 2.1.1 Horizontal Spacing | Yes |
| ADA95_2.1.2 | 2.1.2 Indentation | Yes |
| ADA95_2.1.3 | 2.1.3 Alignment of Operators | No |
| ADA95_2.1.4 | 2.1.4 Alignment of Declarations | No |
| ADA95_2.1.5 | 2.1.5 Parameter Alignment | Yes |
| ADA95_2.1.6 | 2.1.6 Blank Lines | No |
| ADA95_2.1.7 | 2.1.7 Pagination | Yes |
| ADA95_2.1.8 | 2.1.8 Number of Statements Per Line | Yes |
| ADA95_2.1.9 | 2.1.9 Source Code Line Length | Yes |
| ADA95_3.1.1 | 3.1.1 Use of Underscores | Yes |
| ADA95_3.1.2 | 3.1.2 Numbers | Yes |
| ADA95_3.1.3 | 3.1.3 Capitalization | Yes |
| ADA95_3.1.4 | 3.1.4 Abbreviations | No |
| ADA95_3.2.1 | 3.2.1 Names | Yes |
| ADA95_3.2.2 | 3.2.2 Subtype Names | Yes |
| ADA95_3.2.3 | 3.2.3 Object Names | No |
| ADA95_3.2.4 | 3.2.4 Naming of Tagged Types and Associated Packages | No |
| ADA95_3.2.5 | 3.2.5 Program Unit Names | Yes |
| ADA95_3.2.6 | 3.2.6 Constants and Named Numbers | Yes |
| ADA95_3.2.7 | 3.2.7 Exceptions | No |
| ADA95_3.2.8 | 3.2.8 Constructors | No |
| ADA95_3.3.1 | 3.3.1 General Comments | No |
| ADA95_3.3.2 | 3.3.2 File Headers | Yes |
| ADA95_3.3.3 | 3.3.3 Program Unit Specification Headers | Yes |
| ADA95_3.3.4 | 3.3.4 Program Unit Body Headers | Yes |
| ADA95_3.3.5 | 3.3.5 Data Comments | No |
| ADA95_3.3.6 | 3.3.6 Statement Comments | No |
| ADA95_3.3.7 | 3.3.7 Marker Comments | Yes |
| ADA95_3.4.1 | 3.4.1 Declaring Types | No |
| ADA95_3.4.2 | 3.4.2 Enumeration Types | No |
| ADA95_4.1.1 | 4.1.1 Separate Compilation Capabilities | Yes |
| ADA95_4.1.2 | 4.1.2 Configuration Pragmas | Yes |
| ADA95_4.1.3 | 4.1.3 Subprograms | No |
| ADA95_4.1.4 | 4.1.4 Functions | No |
| ADA95_4.1.5 | 4.1.5 Packages | No |
| ADA95_4.1.6 | 4.1.6 Child Library Units | No |
| ADA95_4.1.7 | 4.1.7 Cohesion | No |
| ADA95_4.1.8 | 4.1.8 Data Coupling | Yes |
| ADA95_4.1.9 | 4.1.9 Tasks | No |
| ADA95_4.1.10 | 4.1.10 Protected Types | No |
| ADA95_4.2.1 | 4.2.1 Minimization of Interfaces | No |
| ADA95_4.2.2 | 4.2.2 Nested Packages | No |
| ADA95_4.2.3 | 4.2.3 Restricting Visibility | Yes |
| ADA95_4.2.4 | 4.2.4 Hiding Tasks | No |
| ADA95_4.3.1 | 4.3.1 Using Exceptions to Help Define an Abstraction | Yes |
| ADA95_5.1.1 | 5.1.1 Loop Names | Yes |
| ADA95_5.1.2 | 5.1.2 Block Names | Yes |
| ADA95_5.1.3 | 5.1.3 Exit Statements | Yes |
| ADA95_5.1.4 | 5.1.4 Naming End Statements | Yes |
| ADA95_5.2.1 | 5.2.1 Formal Parameters | No |
| ADA95_5.2.2 | 5.2.2 Named Association | Yes |
| ADA95_5.2.3 | 5.2.3 Default Parameters | Yes |
| ADA95_5.2.4 | 5.2.4 Mode Indication | Yes |