CVS difference for ai05s/ai05-0098-1.txt

Differences between 1.2 and version 1.3
Log of other versions for file ai05s/ai05-0098-1.txt

--- ai05s/ai05-0098-1.txt	2008/07/11 04:18:09	1.2
+++ ai05s/ai05-0098-1.txt	2008/10/25 04:53:14	1.3
@@ -1,4 +1,4 @@
-!standard  3.10.1(6)                                  08-07-10  AI05-0098-1/02
+!standard  3.10.1(6)                                  08-10-18  AI05-0098-1/03
 !standard  3.10.1(9.2/2)
 !class binding interpretation 08-05-23
 !status ARG Approved  8-0-0  08-06-21
@@ -60,12 +60,12 @@
 * as the subtype_mark in the subtype_indication of an access_to_object_definition;
 the only form of constraint allowed in this subtype_indication is a
-discriminant_constraint{ (no null_exclusion is allowed)};
+discriminant_constraint{ (a null_exclusion is not allowed)};
 Modify 3.10.1(9.2/2) as follows:
 * as the subtype_mark defining the subtype of a parameter or result of an
-access_to_subprogram_definition{ or access_definition for an access-to-subprogram
+access_to_subprogram_definition{ or an access_definition for an
+access-to-subprogram type}.
@@ -84,7 +84,8 @@
 The change to 3.10.1(6) is needed to make it and the following paragraph consistent
 in their use of null_exclusion. Since an incomplete type is not an access type,
 a null_exclusion is never allowed on any incomplete view. An alternative would be
-to drop null_exclusion from 3.10.2(7/2).
+to drop null_exclusion from 3.10.1(7/2), but we didn't do that because someone
+thought it was important to mention in the past.
 !corrigendum 3.10.1(6)
@@ -95,8 +96,8 @@
 @xbullet<as the @fa<subtype_mark> in the @fa<subtype_indication> of an
 @fa<access_to_object_definition>; the only form of @fa<constraint> allowed
-in this @fa<subtype_indication> is a @fa<discriminant_constraint> (no
-@fa<null_exclusion> is allowed);>
+in this @fa<subtype_indication> is a @fa<discriminant_constraint> (a
+@fa<null_exclusion> is not allowed);>
 !corrigendum 3.10.1(9.2/2)
@@ -105,8 +106,8 @@
 @xbullet<as the @fa<subtype_mark> defining the subtype of a parameter or result of an
-@fa<access_to_subprogram_definition> or @fa<access_definition> for an access-to-subprogram
+@fa<access_to_subprogram_definition> or an @fa<access_definition> for an
+access-to-subprogram type.>
 !ACATS Test

Questions? Ask the ACAA Technical Agent