CVS difference for ais/ai-00441.txt

Differences between 1.2 and version 1.3
Log of other versions for file ais/ai-00441.txt

--- ais/ai-00441.txt	2005/10/31 05:18:45	1.2
+++ ais/ai-00441.txt	2005/12/15 02:44:21	1.3
@@ -1,4 +1,4 @@
-!standard 13.13.2  (04)                                05-10-24  AI95-00441/01
+!standard 13.13.2  (04)                                05-11-22  AI95-00441/02
 !standard 13.13.2  (07)
 !standard 13.13.2  (12)
 !standard 13.13.2  (15)
@@ -10,7 +10,7 @@
 !standard  3.09  (18)
 !class amendment 05-10-24
 !status Amendment 200Y 05-10-24
-!comment This AI is not yet approved, but is included in the Amendment.
+!status ARG Approved  7-0-2  05-11-19
 !status work item 05-10-24
 !status received 05-10-07
 !priority High
@@ -22,10 +22,6 @@
 The first parameter to the stream attributes is explicitly declared to be
 a not null access type.
 
-Ada 95 compilers should support "not null" on access parameters. The qualifier
-has no semantic meaning in Ada 95 (all access parameters are "not null" in
-Ada 95).
-
 !problem
 
 Now that anonymous access types allow null values, the actual passed
@@ -38,11 +34,8 @@
 (See summary.)
 
 !wording
-
-For Ada 95, change 3.10(6) to:
-   access_definition ::= [not null] access subtype_mark
 
-For Ada 2005, change the first parameter of each of the stream attributes to
+Change the first parameter of each of the stream attributes to
 read:
 
     Stream : not null access Ada.Streams.Root_Stream_Type'Class;
@@ -68,11 +61,6 @@
 This qualifier is not an incompatiblity, as attributes only require mode
 conformance when they are specified. And both the old and new forms are
 mode conformant.
-
-We recommend that Ada 95 compilers allow the "not null" qualifier in anonymous
-access types (although it has no semantic meaning). This will ease the
-transition, by allowing users to write "not null" and have the code compile
-in both versions of the language.
 
 Note that Generic_Dispatching_Constructor is supposed to have a matching
 profile, so it is also changed.

Questions? Ask the ACAA Technical Agent