Appendix A: Map From Ada 95 Reference Manual to Guidelines

3. Declarations and Types 2.1.4, 2.1.6, 2.1.8, 4.1.5, 5.3

3.1 Declarations 2.1.4, 3.2.1

3.2 Types and Subtypes 3.2.2, 3.4.1, 4.1.7, 7.2.1, 7.2.6, 8.1, 8.2.3, 8.2.4

3.2.1 Type Declarations 2.1.4, 3.3.5, 5.3.2

3.2.2 Subtype Declarations 2.1.4, 3.3.5, 5.3.1, 5.4.1, 5.5.1, 5.6.3, 5.7.2, 7.2.6, 10.5.4, 10.6.6

3.2.3 Classification of Operations

3.3 Objects and Named Numbers 3.2.3, 3.2.6, 4.1.7, 8.2.1

3.3.1 Object Declarations 2.1.4, 3.3.5, 4.1.8, 5.9.6, 6.1.1, 6.1.4

3.3.2 Number Declarations 2.1.4, 3.3.4

3.4 Derived Types and Classes 3.4.1, 5.3.1, 7.2.6

3.4.1 Derivation Classes 9.3.2

3.5 Scalar Types 3.4.1, 5.3.1, 5.5.1, 8.2.4

3.5.1 Enumeration Types 2.1.4, 3.4.2, 5.6.3, 5.7.1

3.5.2 Character Types

3.5.3 Boolean Types 2.1.3, 3.2.3

3.5.4 Integer Types 5.4.8, 7.1.2, 7.2.1, 7.2.4, 7.2.5, 10.6.3

3.5.5 Operations of Discrete Types

3.5.6 Real Types 7.1.2, 5.5.6, 7.2.4, 7.2.5

3.5.7 Floating Point Types 7.2.1, 7.2.2, 7.2.3, 7.2.4

3.5.8 Operations of Floating Point Types

3.5.9 Fixed Point Types 7.1.2, 7.2.1, 7.2.4

3.5.10 Operations of Fixed Point Types

3.6 Array Types 5.3.2, 5.5.1, 5.5.2, 8.2.2, 8.3.5, 10.4.1, 10.4.2, 10.4.4, 10.5.5

3.6.1 Index Constraints and Discrete Ranges 5.5.2, 10.4.1, 10.4.2, 10.4.4

3.6.2 Operations of Array Types 5.5.1, 5.5.2, 5.6.2

3.6.3 String Types 2.1.1

3.7 Discriminants 5.3.2, 5.4.1, 5.4.7, 6.1.3

3.7.1 Discriminant Constraints 5.4.1

3.7.2 Operations of Discriminated Types

3.8 Record Types 2.1.2, 5.4.2, 5.4.3, 5.4.4, 5.4.5, 10.4.3, 10.4.4

3.8.1 Variant Parts and Discrete Choices 5.4.3, 9.3.5

3.9 Tagged Types and Type Extensions 5.4.3, 6.1.8, 8.3.8, 8.4.8, 9

3.9.1 Type Extensions 5.3.1, 5.4.4, 9.2.1, 10.6.1

3.9.2 Dispatching Operations of Tagged Types 5.3.4, 9.2.2, 9.3.1, 9.3.2, 9.3.4, 9.3.5, 10.5.8

3.9.3 Abstract Types and Subprograms 9.2.4, 9.3.1, 9.3.3

3.10 Access Types 5.3.4, 5.4.6, 5.4.5, 5.9.2, 5.9.3, 5.9.6, 6.1.5, 7.6.6, 7.7.3, 8.4.6

3.10.1 Incomplete Type Declarations 5.4.5

3.10.2 Operations of Access Types 7.3.2

3.11 Declarative Parts 2.1.4, 5.9.6

3.11.1 Completions of Declarations