International Standard ISO/IEC 8652:1995


Information technology -- Programming languages -- Ada
AMENDMENT 1 (Draft 2)



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


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


© 2002, 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.



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.

Disclaimer:

This document is a draft of a possible 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.




Section 1: General


No changes in this section.




Section 2: Lexical Elements


2.9 Reserved Words

Replace paragraph 2: [AI95-00284-01]

by:

Replace paragraph 3: [AI95-00284-01]

by:




Section 3: Declarations and Types


3.10 Access Types

Replace paragraph 9: [AI95-00225-01]

by:

3.10.1 Incomplete Type Declarations

Replace paragraph 2: [AI95-00217-04]

by:

Replace paragraph 3: [AI95-00217-04]

by:

Replace paragraph 4: [AI95-00217-04]

by:

Replace paragraph 5: [AI95-00217-04]

by:

Replace paragraph 8: [AI95-00217-04]

by:

Replace paragraph 9: [AI95-00217-04]

by:

Replace paragraph 10: [AI95-00217-04]

by:

Replace paragraph 11: [AI95-00217-04]

by:

3.10.2 Operations of Access Types

Replace paragraph 2: [AI95-00235-01]

by:

Replace paragraph 32: [AI95-00229-01]

by:




Section 4: Names and Expressions


4.6 Type Conversions

Replace paragraph 9: [AI95-00246-01]

by:

Replace paragraph 12: [AI95-00246-01]

by:

Replace paragraph 12.1: [AI95-00246-01]

by:

4.9 Static Expressions and Static Subtypes

Replace paragraph 38: [AI95-00268-01]

by:




Section 5: Statements


No changes in this section.




Section 6: Subprograms


No changes in this section.




Section 7: Packages


7.6 User-Defined Assignment and Finalization

Replace paragraph 5: [AI95-00161-01]

by:

Replace paragraph 7: [AI95-00161-01]

by:




Section 8: Visibility Rules


8.3 Visibility

Insert after paragraph 26: [AI95-00218-01]

the new paragraphs:




Section 9: Tasks and Synchronization


9.6 Delay Statements, Duration, and Time

Replace paragraph 10: [AI95-00161-01]

by:




Section 10: Program Structure and Compilation Issues


10.1.2 Context Clauses - With Clauses

Replace paragraph 4: [AI95-00262-01]

by:

Replace paragraph 8: [AI95-00262-01]

by:

10.2.1 Elaboration Control

Insert after paragraph 4: [AI95-00161-01]

the new paragraphs:

Replace paragraph 9: [AI95-00161-01]

by:

Insert after paragraph 11: [AI95-00161-01]

the new paragraphs:




Section 11: Exceptions


11.4.1 The Package Exceptions

Replace paragraph 14: [AI95-00241-01]

by:




Section 12: Generic Units


12.5 Formal Types

Replace paragraph 8: [AI95-00233-01]

by:

12.5.1 Formal Private and Derived Types

Replace paragraph 20: [AI95-00233-01]

by:

Replace paragraph 21: [AI95-00233-01]

by:




Section 13: Representation Issues


13.3 Representation Attributes

Delete paragraph 26: [AI95-00247-01]

13.7 The Package System

Replace paragraph 12: [AI95-00161-01]

by:

In paragraph 15 replace: [AI95-00221-01]

by:

Replace paragraph 35: [AI95-00221-01]

by:

13.11 Storage Management

Replace paragraph 6: [AI95-00161-01]

by:

13.12 Pragma Restrictions

Insert after paragraph 7: [AI95-00257-01]

the new paragraphs:

13.13.1 The Package Streams

Replace paragraph 3: [AI95-00161-01]

by:

Replace paragraph 8: [AI95-00227-01]

by:

Insert after paragraph 10: [AI95-00227-01]

the new paragraph:

13.13.2 Stream-Oriented Attributes

Insert after paragraph 28: [AI95-00260-01]

the new paragraphs:

Replace paragraph 31: [AI95-00260-01]

by:

Replace paragraph 34: [AI95-00260-01]

by:

Insert after paragraph 38: [AI95-00260-01]

the new paragraph:




Annex A: Predefined Language Environment


A.4.2 The Package Strings.Maps

Replace paragraph 4: [AI95-00161-01]

by:

Replace paragraph 4: [AI95-00161-01]

by:

Replace paragraph 20: [AI95-00161-01]

by:

Replace paragraph 20: [AI95-00161-01]

by:

A.4.4 Bounded-Length String Handling

Replace paragraph 101: [AI95-00238-01]

by:

A.4.5 Unbounded-Length String Handling

Replace paragraph 4: [AI95-00161-01]

by:

A.5.3 Attributes of Floating Point Types

Insert after paragraph 41: [AI95-00267-01]

the new paragraphs:

A.8.2 File Management

Replace paragraph 22: [AI95-00248-01]

by:

A.10.6 Get and Put Procedures

In paragraph 5 replace: [AI95-00223-01]

by:

A.12.1 The Package Streams.Stream_IO

Replace paragraph 28.1: [AI95-00085-01]

by:

A.16 The Package Directories

Insert new clause: [AI95-00248-01]




Annex B: Interface to Other Languages


B.3 Interfacing with C

Replace paragraph 50: [AI95-00258-01]

by:

Replace paragraph 60.2: [AI95-00216-01]

by:

B.3.1 The Package Interfaces.C.Strings

Replace paragraph 5: [AI95-00161-01]

by:

Replace paragraph 6: [AI95-00276-01]

by:

Replace paragraph 50: [AI95-00242-01]

by:

B.3.3 Pragma Unchecked_Union

Insert new clause: [AI95-00216-01]




Annex C: Systems Programming


C.3.1 Protected Procedure Handlers

Replace paragraph 8: [AI95-00253-01]

by:

C.4 Preelaboration Requirements

Insert after paragraph 4: [AI95-00161-01]

the new paragraph:

C.6 Shared Variable Control

Replace paragraph 7: [AI95-00272-01]

by:




Annex D: Real-Time Systems


No changes in this section.




Annex E: Distributed Systems


E.2.2 Remote Types Library Units

Replace paragraph 8: [AI95-00240-01]

by:

Replace paragraph 14: [AI95-00240-01]

by:

E.2.3 Remote Call Interface Library Units

Replace paragraph 14: [AI95-00240-01]

by:

E.5 Partition Communication Subsystem

Replace paragraph 1: [AI95-00273-01]

by:

Insert after paragraph 27: [AI95-00273-01]

the new paragraph:




Annex F: Information Systems


No changes in this section.




Annex G: Numerics


G.1.1 Complex Types

Replace paragraph 4: [AI95-00161-01]

by:

G.1.2 Complex Elementary Functions

Replace paragraph 15: [AI95-00185-01]

by:

Replace paragraph 16: [AI95-00185-01]

by:

Replace paragraph 17: [AI95-00185-01]

by:

Replace paragraph 20: [AI95-00185-01]

by:




Annex H: Safety and Security


No changes in this section.




Annex J: Obsolescent Features


J.10 The Class Attribute of Non-tagged Incomplete Types

Insert new clause: [AI95-00217-04]