International Standard ISO/IEC 8652:1995


Information technology -- Programming languages -- Ada
AMENDMENT 2



Technologies de l'information -- Langages de programmation -- Ada
AMENDEMENT 2


Amendment 2 to International Standard ISO/IEC 8652:1995 was prepared by AXE Consultants.


© 2008, AXE Consultants. All Rights Reserved.

This document may be copied, in whole or in part, in any form or by any means, as is, or with alterations, provided that (1) alterations are clearly marked as alterations and (2) this copyright notice is included unmodified in any copy. Compiled copies of standard library units and examples need not contain this copyright notice so long as the notice is included in all copies of the source code and documentation. Any other use or distribution of this document is prohibited without the prior express permission of AXE.

Disclaimer:

This document is a draft of a possible second amendment to Ada 95 (International Standard ISO/IEC 8652:1995). This draft contains only proposals substantially approved by the ISO/IEC JTC 1/SC 22/WG 9 Ada Rapporteur Group (ARG). Many other important proposals are under consideration by the ARG. Neither the ARG nor any other group has determined which, if any, of these proposals will be included in the amendment. Any proposal may be substantially changed or withdrawn before this document begins standardization, and other proposals may be added. This document is not an official publication or work product of the ARG.



Introduction

International Standard ISO/IEC 8652:1995 defines the Ada programming language.

This amendment modifies Ada by making changes and additions that improve:

This amendment incorporates the following major additions to the International Standard:

This Amendment is organized by sections corresponding to those in the International Standard. These sections include wording changes and additions to the International Standard. Clause and subclause headings are given for each clause that contains a wording change. Clauses and subclauses that do not contain any change or addition are omitted.

For each change, an anchor paragraph from the International Standard (as corrected by Technical Corrigendum 1) is given. New or revised text and instructions are given with each change. The anchor paragraph can be replaced or deleted, or text can be inserted before or after it. When a heading immediately precedes the anchor paragraph, any text inserted before the paragraph is intended to appear under the heading.

Typographical conventions:

Instructions about the text changes are in this font. The actual text changes are in the same fonts as the International Standard - this font for text, this font for syntax, and this font for Ada source code. Note that this document is designed to be viewed with the default font as some Roman font, similar to the Ada 95 standard. This may require some adjustments to your browser.




Section 1: General


1.1.2 Structure

Replace paragraph 12: [AI05-0004-1]

by:

1.1.4 Method of Description and Syntax Notation

Replace paragraph 14.1: [AI05-0004-1]

by:




Section 2: Lexical Elements


2.1 Character Set

Replace paragraph 4: [AI05-0079-1]

by:

2.2 Lexical Elements, Separators, and Delimiters

Insert after paragraph 7: [AI05-0079-1]

the new paragraph:

2.3 Identifiers

Replace paragraph 3.1: [AI05-0091-1]

by:

Replace paragraph 4: [AI05-0091-1]

by:

Replace paragraph 5: [AI05-0091-1]

by:

Delete paragraph 5.2: [AI05-0091-1]

Replace paragraph 5.3: [AI05-0091-1]

by:

2.8 Pragmas

Replace paragraph 7: [AI05-0100-1]

by:

2.9 Reserved Words

Replace paragraph 2: [AI05-0091-1]

by:




Section 3: Declarations and Types


3.1 Declarations

Insert after paragraph 7: [AI05-0080-1]

the new paragraph:

3.3 Objects and Named Numbers

Replace paragraph 10: [AI05-0015-1]

by:

Insert after paragraph 11: [AI05-0003-1]

the new paragraph:

Replace paragraph 13: [AI05-0054-2]

by:

Replace paragraph 21: [AI05-0003-1; AI05-0015-1; AI05-0120-1]

by:

Insert after paragraph 23: [AI05-0008-1; AI05-0041-1; AI05-0093-1]

the new paragraphs:

Insert after paragraph 25: [AI05-0054-2]

the new paragraph:

3.4 Derived Types and Classes

Replace paragraph 5.1: [AI05-0096-1]

by:

3.5.1 Enumeration Types

Replace paragraph 6: [AI05-0006-1]

by:

3.7 Discriminants

Replace paragraph 10: [AI05-0063-1]

by:

3.7.1 Discriminant Constraints

Replace paragraph 7: [AI05-0041-1]

by:

3.8 Record Types

Replace paragraph 11: [AI05-0004-1]

by:

Replace paragraph 13.1: [AI05-0004-1]

by:

3.9.2 Dispatching Operations of Tagged Types

Replace paragraph 2: [AI05-0076-1]

by:

Replace paragraph 20: [AI05-0126-1]

by:

Replace paragraph 20.1: [AI05-0126-1]

by:

Replace paragraph 20.2: [AI05-0126-1]

by:

3.9.3 Abstract Types and Subprograms

Replace paragraph 4: [AI05-0097-1]

by:

Replace paragraph 8: [AI05-0073-1]

by:

Replace paragraph 10: [AI05-0073-1]

by:

3.9.4 Interface Types

Replace paragraph 18: [AI05-0070-1]

by:

Replace paragraph 22: [AI05-0004-1]

by:

Replace paragraph 29: [AI05-0004-1]

by:

3.10 Access Types

Replace paragraph 9: [AI05-0053-1]

by:

3.10.1 Incomplete Type Declarations

Replace paragraph 6: [AI05-0098-1]

by:

Replace paragraph 9.2: [AI05-0098-1]

by:

3.10.2 Operations of Access Types

Replace paragraph 12.2: [AI05-0004-1]

by:

Replace paragraph 14.1: [AI05-0024-1]

by:

Replace paragraph 14.2: [AI05-0024-1]

by:

Delete paragraph 14.3: [AI05-0024-1]

Replace paragraph 14.4: [AI05-0024-1]

by:

Replace paragraph 15: [AI05-0014-1]

by:

Replace paragraph 19: [AI05-0082-1]

by:

Replace paragraph 26: [AI05-0008-1; AI05-0041-1]

by:

Replace paragraph 27.2: [AI05-0041-1]

by:

Replace paragraph 28: [AI05-0041-1]

by:




Section 4: Names and Expressions


4.1 Names

Replace paragraph 2: [AI05-0003-1]

by:

Replace paragraph 7: [AI05-0004-1]

by:

Replace paragraph 9: [AI05-0008-1]

by:

4.1.3 Selected Components

Replace paragraph 9.2: [AI05-0090-1]

by:

4.1.4 Attributes

Replace paragraph 3: [AI05-0004-1]

by:

Replace paragraph 9: [AI05-0006-1]

by:

4.3.1 Record Aggregates

Replace paragraph 15: [AI05-0016-1]

by:

4.3.2 Extension Aggregates

Insert after paragraph 5: [AI05-0067-1]

the new paragraph:

4.3.3 Array Aggregates

Replace paragraph 29: [AI05-0037-1]

by:

Replace paragraph 32: [AI05-0004-1]

by:

4.4 Expressions

Replace paragraph 7: [AI05-0003-1]

by:

4.5.2 Relational Operators and Membership Tests

Replace paragraph 9.3: [AI05-0020-1]

by:

4.5.5 Multiplying Operators

Replace paragraph 19.2: [AI05-0020-1]

by:

4.5.6 Highest Precedence Operators

Replace paragraph 11: [AI05-0088-1]

by:

4.7 Qualified Expressions

Insert after paragraph 3: [AI05-0003-1]

Insert after paragraph 3: [AI05-0003-1]

4.8 Allocators

Insert after paragraph 2: [AI05-0104-1]

the new paragraph:

Replace paragraph 5.3: [AI05-0052-1]

by:

Replace paragraph 6: [AI05-0041-1]

by:

Replace paragraph 10.1: [AI05-0024-1]

by:

4.9.1 Statically Matching Constraints and Subtypes

Replace paragraph 4: [AI05-0086-1]

by:




Section 5: Statements


5.4 Case Statements

Replace paragraph 7: [AI05-0003-1]

by:




Section 6: Subprograms


6.2 Formal Parameter Modes

Replace paragraph 7: [AI05-0096-1]

by:

6.3.1 Conformance Rules

Replace paragraph 18: [AI05-0046-1]

by:

6.4.1 Parameter Associations

Replace paragraph 2: [AI05-0118-1]

by:

Insert after paragraph 17: [AI05-0008-1]

the new paragraph:

6.5 Return Statements

Replace paragraph 2.1: [AI05-0015-1; AI05-0053-1]

by:

Replace paragraph 5: [AI05-0015-1]

by:

Replace paragraph 5.2: [AI05-0032-1]

by:

Insert after paragraph 5.3: [AI05-0032-1]

the new paragraph:

Replace paragraph 5.6: [AI05-0032-1]

by:

Replace paragraph 5.7: [AI05-0015-1]

by:

Replace paragraph 5.8: [AI05-0032-1]

by:

Replace paragraph 8: [AI05-0024-1; AI05-0032-1; AI05-0073-1]

by:

Replace paragraph 22: [AI05-0058-1]

by:

Replace paragraph 24: [AI05-0050-1]

by:




Section 7: Packages


7.3.1 Private Operations

Replace paragraph 3: [AI05-0029-1]

by:

Replace paragraph 6: [AI05-0029-1]

by:

Replace paragraph 10.1: [AI05-0004-1]

by:

7.4 Deferred Constants

Replace paragraph 6: [AI05-0062-1]

by:

Replace paragraph 10: [AI05-0004-1]

by:

7.5 Limited Types

Insert after paragraph 4: [AI05-0087-1]

the new paragraph:

Insert after paragraph 8: [AI05-0052-1]

the new paragraphs:

Delete paragraph 8.1: [AI05-0067-1]

Replace paragraph 9: [AI05-0067-1]

by:

7.6 User-Defined Assignment and Finalization

Replace the title: [AI05-0067-1]

by:

Replace paragraph 9.4: [AI05-0013-1; AI05-0026-1]

by:

Replace paragraph 16: [AI05-0067-1]

by:

Insert after paragraph 17: [AI05-0067-1]

the new paragraphs:

Delete paragraph 17.1: [AI05-0067-1]

Replace paragraph 18: [AI05-0067-1]

by:

Replace paragraph 19: [AI05-0067-1]

by:

Replace paragraph 20: [AI05-0067-1]

by:

Replace paragraph 21: [AI05-0067-1]

by:

7.6.1 Completion and Finalization

Replace paragraph 6: [AI05-0099-1]

by:

Replace paragraph 7: [AI05-0099-1]

by:

Replace paragraph 8: [AI05-0099-1]

by:

Replace paragraph 9: [AI05-0099-1]

by:

Replace paragraph 13: [AI05-0066-1]

by:

Replace paragraph 13.1: [AI05-0066-1]

by:

Delete paragraph 17.1: [AI05-0064-1]




Section 8: Visibility Rules


8.5.1 Object Renaming Declarations

Replace paragraph 5: [AI05-0008-1]

by:




Section 9: Tasks and Synchronization


9.1 Task Units and Task Objects

Replace paragraph 9.2: [AI05-0042-1]

by:

Replace paragraph 9.5: [AI05-0090-1]

by:

9.2 Task Execution - Task Activation

Replace paragraph 6: [AI05-0045-1]

by:

9.4 Protected Units and Protected Objects

Replace paragraph 11.1: [AI05-0042-1]

by:

Replace paragraph 11.4: [AI05-0090-1]

by:

9.5 Intertask Communication

Insert after paragraph 9: [AI05-0030-2]

the new paragraphs:

9.5.4 Requeue Statements

Replace paragraph 2: [AI05-0030-2]

by:

Replace paragraph 3: [AI05-0030-2]

by:

Replace paragraph 5: [AI05-0030-2]

by:

Replace paragraph 6: [AI05-0030-2]

by:

Replace paragraph 7: [AI05-0030-2]

by:

Replace paragraph 12: [AI05-0030-2]

by:

9.10 Shared Variables

Replace paragraph 6.1: [AI05-0072-1]

by:




Section 10: Program Structure and Compilation Issues


10.1.1 Compilation Units - Library Units

Replace paragraph 17: [AI05-0004-1]

by:

10.1.2 Context Clauses - With Clauses

Replace paragraph 12: [AI05-0077-1]

by:

Replace paragraph 12.3: [AI05-0108-1]

by:

Replace paragraph 20: [AI05-0040-1]

by:

Replace paragraph 21: [AI05-0077-1]

by:

Replace paragraph 22: [AI05-0077-1]

by:

10.1.3 Subunits of Compilation Units

Replace paragraph 10: [AI05-0004-1]

by:

10.2.1 Elaboration Control

Replace paragraph 9: [AI05-0028-1]

by:

Replace paragraph 10.1: [AI05-0028-1]

by:

Replace paragraph 11: [AI05-0034-1]

by:

Replace paragraph 11.2: [AI05-0028-1]

by:

Replace paragraph 11.4: [AI05-0028-1]

by:

Replace paragraph 11.7: [AI05-0028-1]

by:

Replace paragraph 15.1: [AI05-0035-1]

by:

Replace paragraph 15.4: [AI05-0035-1]

by:

Replace paragraph 15.5: [AI05-0035-1]

by:

Replace paragraph 17: [AI05-0034-1; AI05-0035-1]

by:




Section 11: Exceptions


Replace paragraph 2: [AI05-0043-1]

by:

11.4.1 The Package Exceptions

Replace paragraph 10.1: [AI05-0043-1]

by:




Section 12: Generic Units


12.3 Generic Instantiation

Replace paragraph 7: [AI05-0004-1]

by:

Replace paragraph 9: [AI05-0118-1]

by:

12.5 Formal Types

Replace paragraph 8: [AI05-0029-1]

by:

12.5.1 Formal Private and Derived Types

Replace paragraph 5.1: [AI05-0087-1]

by:

Replace paragraph 21: [AI05-0029-1]

by:

Replace paragraph 23.1: [AI05-0071-1]

by:

12.6 Formal Subprograms

Replace paragraph 10: [AI05-0071-1]

by:

12.7 Formal Packages

Insert after paragraph 4: [AI05-0025-1]

the new paragraph:




Section 13: Representation Issues


13.1 Representation Items

Insert after paragraph 9.1: [AI05-0106-1]

the new paragraph:

13.3 Representation Attributes

Insert after paragraph 11: [AI05-0095-1]

the new paragraph:

13.9 Unchecked Type Conversions

Replace paragraph 7: [AI05-0078-1]

by:

13.9.1 Data Validity

Replace paragraph 13: [AI05-0054-2]

by:

13.11.2 Unchecked Storage Deallocation

Replace paragraph 16: [AI05-0033-1]

by:

13.12 Pragma Restrictions

Replace paragraph 8: [AI05-0013-1]

by:

13.13.2 Stream-Oriented Attributes

Insert after paragraph 9: [AI05-0023-1]

the new paragraph:

Replace paragraph 27: [AI05-0023-1]

by:

Replace paragraph 34: [AI05-0109-1]

by:

Replace paragraph 38: [AI05-0039-1]

by:

Replace paragraph 51: [AI05-0007-1]

by:

Replace paragraph 52: [AI05-0065-1]

by:

Insert after paragraph 56: [AI05-0023-1]

the new paragraphs:

13.14 Freezing Rules

Insert after paragraph 2: [AI05-0019-1]

the new paragraph:

Replace paragraph 3: [AI05-0017-1; AI05-0019-1]

by:

Replace paragraph 8.1: [AI05-0019-1]

by:

Insert after paragraph 10: [AI05-0019-1]

the new paragraphs:

Replace paragraph 14: [AI05-0019-1]

by:

Replace paragraph 15.1: [AI05-0019-1]

by:




Annex A: Predefined Language Environment


Insert after paragraph 3: [AI05-0048-1]

the new paragraph:

Insert after paragraph 4: [AI05-0060-1]

the new paragraph:

A.4.3 Fixed-Length String Handling

Replace paragraph 56.2: [AI05-0056-1]

by:

A.10.5 Operations on Columns, Lines, and Pages

Replace paragraph 37: [AI05-0038-1]

by:

A.10.7 Input-Output of Characters and Strings

Replace paragraph 8: [AI05-0038-1]

by:

Replace paragraph 10: [AI05-0038-1]

by:

Replace paragraph 12: [AI05-0038-1]

by:

A.10.8 Input-Output for Integer Types

Replace paragraph 10: [AI05-0038-1]

by:

Delete paragraph 24: [AI05-0038-1]

A.11 Wide Text Input-Output and Wide Wide Text Input-Output

Replace paragraph 4: [AI05-0004-1]

by:

A.18 Containers

Insert after paragraph 4: [AI05-0044-1]

the new paragraph:

A.18.2 The Package Containers.Vectors

Replace paragraph 6: [AI05-0084-1]

by:

Replace paragraph 139: [AI05-0021-1]

by:

Replace paragraph 231: [AI05-0044-1]

by:

Replace paragraph 237: [AI05-0021-1]

by:

Insert after paragraph 239: [AI05-0022-1; AI05-0027-1]

the new paragraph:

A.18.3 The Package Containers.Doubly_Linked_Lists

Replace paragraph 5: [AI05-0084-1]

by:

Replace paragraph 83: [AI05-0021-1]

by:

Replace paragraph 102: [AI05-0021-1]

by:

Replace paragraph 145: [AI05-0044-1]

by:

Replace paragraph 151: [AI05-0021-1]

by:

Insert after paragraph 152: [AI05-0022-1; AI05-0027-1]

the new paragraphs:

A.18.4 Maps

Replace paragraph 38: [AI05-0021-1]

by:

Insert after paragraph 75: [AI05-0022-1; AI05-0027-1]

the new paragraphs:

A.18.5 The Package Containers.Hashed_Maps

Replace paragraph 2: [AI05-0084-1]

by:

A.18.6 The Package Containers.Ordered_Maps

Replace paragraph 2: [AI05-0084-1]

by:

Replace paragraph 56: [AI05-0044-1]

by:

A.18.7 Sets

Replace paragraph 36: [AI05-0021-1]

by:

Replace paragraph 58: [AI05-0004-1]

by:

Delete paragraph 79: [AI05-0004-1]

Insert after paragraph 82: [AI05-0004-1]

the new paragraph:

Insert after paragraph 96: [AI05-0022-1; AI05-0027-1]

the new paragraphs:

A.18.8 The Package Containers.Hashed_Sets

Replace paragraph 2: [AI05-0084-1]

by:

Insert after paragraph 66: [AI05-0044-1]

the new paragraph:

A.18.9 The Package Containers.Ordered_Sets

Replace paragraph 2: [AI05-0084-1]

by:

Replace paragraph 79: [AI05-0044-1]

by:

A.18.16 Array Sorting

Replace paragraph 5: [AI05-0044-1]

by:

Replace paragraph 9: [AI05-0044-1]

by:

A.18.17 The Package Containers.Indefinite_Holders

Insert new clause: [AI05-0069-1; AI05-0084-1]




Annex B: Interface to Other Languages


B.1 Interfacing Pragmas

Replace paragraph 17: [AI05-0002-1]

by:

B.3 Interfacing with C and C++

Insert after paragraph 62: [AI05-0002-1]

the new paragraphs:

Replace paragraph 71.1: [AI05-0002-1]

by:

B.3.3 Pragma Unchecked_Union

Replace paragraph 9: [AI05-0026-1]

by:

Replace paragraph 10: [AI05-0026-1]

by:




Annex C: Systems Programming


C.3.1 Protected Procedure Handlers

Replace paragraph 7: [AI05-0033-1]

by:

Delete paragraph 8: [AI05-0033-1]

C.7.1 The Package Task_Identification

Replace paragraph 17: [AI05-0004-1]

by:




Annex D: Real-Time Systems


D.2.6 Earliest Deadline First Dispatching

Replace paragraph 26: [AI05-0055-1]

by:

D.7 Tasking Restrictions

Replace paragraph 3: [AI05-0013-1]

by:

Replace paragraph 4: [AI05-0013-1]

by:

Replace paragraph 10: [AI05-0013-1]

by:

Replace paragraph 10.1: [AI05-0013-1]

by:

Replace paragraph 10.2: [AI05-0013-1]

by:

Replace paragraph 10.8: [AI05-0013-1]

by:

D.9 Delay Accuracy

Replace paragraph 6: [AI05-0004-1]

by:

D.15 Timing Events

Replace paragraph 15: [AI05-0094-1]

by:




Annex E: Distributed Systems


E.2.2 Remote Types Library Units

Replace paragraph 9: [AI05-0060-1]

by:

Replace paragraph 9.2: [AI05-0060-1]

by:

Replace paragraph 14: [AI05-0060-1; AI05-0101-1]

by:

Insert after paragraph 16: [AI05-0101-1]

the new paragraph:

Insert after paragraph 18: [AI05-0060-1]

the new paragraphs:

E.4 Remote Subprogram Calls

Replace paragraph 7: [AI05-0101-1]

by:




Annex F: Information Systems


No changes in this section.




Annex G: Numerics


G.3.1 Real Vectors and Matrices

Replace paragraph 78: [AI05-0047-1]

by:

Insert after paragraph 90: [AI05-0047-1]

the new paragraph:

G.3.2 Complex Vectors and Matrices

Replace paragraph 16: [AI05-0047-1]

by:

Replace paragraph 75: [AI05-0047-1]

by:

Replace paragraph 146: [AI05-0047-1]

by:

Insert after paragraph 160: [AI05-0047-1]

the new paragraph:




Annex H: Safety and Security


No changes in this section.




Annex J: Obsolescent Features


J.1 Renamings of Ada 83 Library Units

Replace the title: [AI05-0004-1]

by:




Annex M: Implementation-Defined Characteristics


No changes in this section.




Annex N: Glossary


No changes in this section.




Annex Q: Language-Defined Entities


No changes in this section.