CVS difference for ais/ai-00231.txt

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

--- ais/ai-00231.txt	2005/02/08 07:12:22	1.20
+++ ais/ai-00231.txt	2005/04/13 05:36:58	1.21
@@ -1,4 +1,4 @@
-!standard  3.10      (06)                        04-12-13  AI95-00231/13
+!standard  3.10      (06)                        05-02-25  AI95-00231/14
 !standard  3.2       (07)
 !standard  3.2       (08)
 !standard  3.2.2     (03)
@@ -67,8 +67,8 @@
 
 Add to 3.2(7):
 
-The set of possible values for an object of an access type can also be subject
-to a condition that is called a null exclusion (see 3.10).
+The set of possible values for an object of an access type can also be
+subjected to a condition that is called a null exclusion (see 3.10).
 
 Add to the penultimate sentence of 3.2(8):
 
@@ -168,7 +168,7 @@
   satisfies any constraints of the named subtype, and:
 
    *   if the type of the simple_expression is class-wide, the value has a tag
-       that identifies a type covered by the tested type.
+       that identifies a type covered by the tested type;
 
    *   if the tested type is an access type and the named subtype excludes
        null, the value of the simple_expression is not null.
@@ -405,7 +405,7 @@
 which values satisfy a given kind of constraint are given in 3.5 for
 @fa<range_constraint>s, 3.6.1 for @fa<index_constraint>s, and 3.7.1 for
 @fa<discriminant_constraint>s. The set of possible values for an object of an
-access type can also be subject to a condition that is called a null
+access type can also be subjected to a condition that is called a null
 exclusion (see 3.10).
 
 !corrigendum 3.2(8)
@@ -428,8 +428,8 @@
 Similarly, the associated constraint is called the
 constraint @i<of> the subtype. The set of values
 of a subtype consists of the values of its type
-that satisfy its constraint@Chg{Version=[2],New=[ and, in the case
-of a subtype of an access type, any applicable null exclusion],Old=[]}.
+that satisfy its constraint and, in the case
+of a subtype of an access type, any applicable null exclusion.
 Such values @i<belong> to the subtype.
 
 !corrigendum 3.2.2(3)
@@ -520,7 +520,7 @@
 For each access type, there is a null access value designating no entity at
 all, which can be obtained by converting the literal @b<null> to the access
 type. The null value of an access type is the default initial value of the type.
-Other values of an access type are obtained by evaluating an
+Non-null values of an access type are obtained by evaluating an
 @fa<attribute_reference> for the Access or Unchecked_Access attribute of
 a non-intrinsic subprogram or an aliased view of an object, or, in the
 case of an access-to-object type, an @fa<allocator>, which returns an
@@ -584,7 +584,7 @@
 the value of the @nt<simple_expression> satisfies any constraints
 of the named subtype, and:>
 @xinbull<if the type of the @fa<simple_expression> is class-wide, the
-value has a tag that identifies a type covered by the tested type.>
+value has a tag that identifies a type covered by the tested type;>
 @xinbull<if the tested type is an access type and the named subtype excludes
 null, the value of the @fa<simple_expression> is not null.>
 

Questions? Ask the ACAA Technical Agent