Go to the first, previous, next, last section, table of contents.

3 Declarations and Types

This section describes the types in the language and the rules for declaring constants, variables, and named numbers.

3.1: Declarations
3.2: Types and Subtypes
3.3: Objects and Named Numbers
3.4: Derived Types and Classes
3.5: Scalar Types
3.6: Array Types
3.7: Discriminants
3.8: Record Types
3.9: Tagged Types and Type Extensions
3.10: Access Types
3.11: Declarative Parts -- The Detailed Node Listing ---
3.1: Declarations
3.2: Types and Subtypes
3.2.1: Type Declarations
3.2.2: Subtype Declarations
3.2.3: Classification of Operations
3.3: Objects and Named Numbers
3.3.1: Object Declarations
3.3.2: Number Declarations
3.4: Derived Types and Classes
3.4.1: Derivation Classes
3.5: Scalar Types
3.5.1: Enumeration Types
3.5.2: Character Types
3.5.3: Boolean Types
3.5.4: Integer Types
3.5.5: Operations of Discrete Types
3.5.6: Real Types
3.5.7: Floating Point Types
3.5.8: Operations of Floating Point Types
3.5.9: Fixed Point Types
3.5.10: Operations of Fixed Point Types
3.6: Array Types
3.6.1: Index Constraints and Discrete Ranges
3.6.2: Operations of Array Types
3.6.3: String Types
3.7: Discriminants
3.7.1: Discriminant Constraints
3.7.2: Operations of Discriminated Types
3.8: Record Types
3.8.1: Variant Parts and Discrete Choices
3.9: Tagged Types and Type Extensions
3.9.1: Type Extensions
3.9.2: Dispatching Operations of Tagged Types
3.9.3: Abstract Types and Subprograms
3.10: Access Types
3.10.1: Incomplete Type Declarations
3.10.2: Operations of Access Types
3.11: Declarative Parts
3.11.1: Completions of Declarations

Go to the first, previous, next, last section, table of contents.