CVS difference for arm/source/03c.mss

Differences between 1.39 and version 1.40
Log of other versions for file arm/source/03c.mss

--- arm/source/03c.mss	2005/07/10 05:16:19	1.39
+++ arm/source/03c.mss	2005/07/12 05:01:14	1.40
@@ -1,9 +1,9 @@
 @Part(03, Root="ada.mss")
 
-@Comment{$Date: 2005/07/10 05:16:19 $}
+@Comment{$Date: 2005/07/12 05:01:14 $}
 
 @Comment{$Source: e:\\cvsroot/ARM/Source/03c.mss,v $}
-@Comment{$Revision: 1.39 $}
+@Comment{$Revision: 1.40 $}
 
 @LabeledClause{Tagged Types and Type Extensions}
 
@@ -2971,13 +2971,7 @@
 
 @ChgRef{Version=[2],Kind=[Added],ARef=[AI95-00231-01]}
 @ChgAdded{Version=[2],Text=[@Defn2{Term=[excludes null],Sec=[subtype]}
-A @nt{null_exclusion} in an @nt{access_definition}, @nt{access_type_definition},
-@nt{subtype_indication} (see @RefSecNum{Subtype Declarations}),
-@nt{discriminant_specification} (see @RefSecNum{Discriminants}),
-@nt{parameter_specification} (see @RefSecNum{Subprogram Declarations}),
-@nt{parameter_and_result_profile} (see @RefSecNum{Subprogram Declarations}),
-@nt{object_renaming_declaration} (see @RefSecNum{Object Renaming Declarations}),
-or @nt{formal_object_declaration} (see @RefSecNum{Formal Objects}) specifies
+A @nt{null_exclusion} in a construct specifies
 that the null value does not belong to the access subtype defined by the
 construct, that is, the access subtype @i{excludes null}. In addition, the
 anonymous access subtype defined by the @nt{access_definition} for a controlling
@@ -2985,7 +2979,7 @@
 excludes null. Finally, for a @nt{subtype_indication} without a
 @nt{null_exclusion}, the subtype denoted by the @nt{subtype_indication}
 excludes null if and only if the subtype denoted by the @nt{subtype_mark} in
-the @nt{subtype_indication} does.]}
+the @nt{subtype_indication} excludes null.]}
 @begin{Reason}
   @ChgRef{Version=[2],Kind=[AddedNormal],ARef=[AI95-00231-01]}
   @ChgAdded{Version=[2],Text=[An @nt{access_definition} used in a controlling
@@ -3051,10 +3045,10 @@
 @begin{Legality}
 @ChgRef{Version=[2],Kind=[Added],ARef=[AI95-00231-01]}
 @ChgAdded{Version=[2],Text=[A @nt{null_exclusion} is only allowed in a
-@nt{subtype_indication},
-@nt{discriminant_specification}, @nt{parameter_specification},
-@nt{parameter_and_result_profile}, @nt{object_renaming_declaration}, or
-@nt{formal_object_declaration} whose @nt{subtype_mark} denotes an access
+@nt{subtype_indication}, @nt{discriminant_specification},
+@nt{parameter_specification}, @nt{parameter_and_result_profile},
+@nt{object_renaming_declaration}, or @nt{formal_object_declaration} if
+the @nt{subtype_mark} in the construct denotes an access
 subtype that does not exclude null.]}
 @begin(Honest)
   @ChgRef{Version=[2],Kind=[AddedNormal],ARef=[AI95-00231-01]}
@@ -3083,8 +3077,8 @@
 An access value @i(satisfies) a @nt<composite_constraint> of an access
 subtype if it equals the null value of its type
 or if it designates an object whose value satisfies the
-constraint.@Chg{Version=[2],New=[ An access value satisfies an access subtype
-that excludes null if it does not equal the
+constraint.@Chg{Version=[2],New=[ An access value satisfies an exclusion
+of the null value if it does not equal the
 null value of its type.],Old=[]}
 
 @PDefn2{Term=[elaboration], Sec=(access_type_definition)}

Questions? Ask the ACAA Technical Agent