- (1)
- This section describes the types in the language and the rules for
declaring constants, variables, and named numbers.
Clauses and Subclauses
- Declarations
- Types and Subtypes -- TOC
- Type Declarations
- Subtype Declarations
- Classification of Operations
- Objects and Named Numbers -- TOC
- Object Declarations
- Number Declarations
- Derived Types and Classes -- TOC
- Derivation Classes
- Scalar Types -- TOC
- Enumeration Types
- Character Types
- Boolean Types
- Integer Types
- Operations of Discrete Types
- Real Types
- Floating Point Types
- Operations of Floating Point Types
- Fixed Point Types
- Operations of Fixed Point Types
- Array Types -- TOC
- Index Constraints and Discrete Ranges
- Operations of Array Types
- String Types
- Discriminants -- TOC
- Discriminant Constraints
- Operations of Discriminated Types
- Record Types -- TOC
- Variant Parts and Discrete Choices
- Tagged Types and Type Extensions -- TOC
- Type Extensions
- Dispatching Operations of Tagged Types
- Abstract Types and Subprograms
- Access Types -- TOC
- Incomplete Type Declarations
- Operations of Access Types
- Declarative Parts -- TOC
- Completions of Declarations
-- Email comments, additions, corrections, gripes, kudos, etc. to:
Magnus Kempe -- Magnus.Kempe@di.epfl.ch
Copyright statement
Page last generated: 95-03-12