CVS difference for ais/ai-00231.txt

Differences between 1.16 and version 1.17
Log of other versions for file ais/ai-00231.txt

--- ais/ai-00231.txt	2004/09/17 04:44:34	1.16
+++ ais/ai-00231.txt	2004/10/05 22:49:03	1.17
@@ -1,4 +1,4 @@
-!standard  3.10      (06)                        04-09-16  AI95-00231/10
+!standard  3.10      (06)                        04-09-21  AI95-00231/11
 !standard  3.2.3     (03)
 !standard  3.2.3     (05)
 !standard  3.7       (05)
@@ -17,7 +17,7 @@
 !standard  6.1       (24)
 !standard  8.5.1     (04)
 !standard  8.6       (25)
-!standard  11.5      (12/1)
+!standard  11.5      (11/1)
 !standard  12.5.1    (10)
 !standard  12.5.4    (04)
 !class amendment 00-04-13
@@ -184,6 +184,11 @@
     D'Class or is covered by D{, and that is access-to-constant only if T is
     access-to-constant}.
 
+Replace 11.5(11/1) by:
+    When evaluating a dereference (explicit or implicit), check that the value
+    of the name is not null. When converting to a null-excluding subtype, check
+    that the converted value is not null.
+
 Add after 12.5.1(10)
 
   * If the ancestor subtype is an access subtype, the actual subtype shall
@@ -568,7 +573,7 @@
 @i<D>'Class or is covered by @i<D>, and that is access-to-constant only if
 @i<T> is access-to-constant.>
 
-!corrigendum 11.5(12/1)
+!corrigendum 11.5(11/1)
 
 @drepl
 When evaluating a dereference (explicit or implicit), check that the value of

Questions? Ask the ACAA Technical Agent