CVS difference for arm/source/03b.mss

Differences between 1.47 and version 1.48
Log of other versions for file arm/source/03b.mss

--- arm/source/03b.mss	2005/03/11 23:38:21	1.47
+++ arm/source/03b.mss	2005/04/14 03:40:49	1.48
@@ -1,9 +1,9 @@
 @Part(03, Root="ada.mss")
 
-@Comment{$Date: 2005/03/11 23:38:21 $}
+@Comment{$Date: 2005/04/14 03:40:49 $}
 
 @Comment{$Source: e:\\cvsroot/ARM/Source/03b.mss,v $}
-@Comment{$Revision: 1.47 $}
+@Comment{$Revision: 1.48 $}
 
 @LabeledClause{Array Types}
 
@@ -1269,25 +1269,24 @@
 @end{StaticSem}
 
 @begin{RunTime}
-@ChgRef{Version=[2],Kind=[Revised],ARef=[AI95-00230-01]}
-@Chg{Version=[2],New=[For an access discriminant of a limited type, its],
+@ChgRef{Version=[2],Kind=[Revised],ARef=[AI95-00230-01],ARef=[AI95-00416-01]}
+@Chg{Version=[2],New=[For an access discriminant, its],
 Old=[An]} @nt<access_definition> is
 elaborated when the value of @Chg{Version=[2],New=[the],Old=[a corresponding]}
-access discriminant is defined,
-either by evaluation of its @nt<default_expression> or by
-elaboration of a @nt<discriminant_constraint>.@Chg{Version=[2],New=[ For
-an access discriminant of a nonlimited
-type, its @nt{access_definition} is elaborated when the
-@nt{full_type_declaration}
-with the @nt{known_discriminant_part} is elaborated.],Old=[]}
+access discriminant is defined@Chg{Version=[2],New=[:],Old=[, either]}
+by evaluation of its @nt<default_expression>@Chg{Version=[2],New=[,],Old=[ or]}
+by elaboration of a @nt<discriminant_constraint>@Chg{Version=[2],New=[, or
+by an assignment that initializes the enclosing object.],Old=[.
 @Redundant[The elaboration of an @nt<access_definition> creates the
 anonymous access type. When the expression defining the
 access discriminant is evaluated, it is converted to this
-anonymous access type (see @RefSecNum{Type Conversions}).]
+anonymous access type (see @RefSecNum{Type Conversions}).]]}
 @PDefn2{Term=[implicit subtype conversion],Sec=(access discriminant)}
 @begin(Ramification)
-  @ChgRef{Version=[2],Kind=[Revised],ARef=[AI95-00231-01]}
-  This conversion raises @Chg{Version=[2],New=[Program_Error],
+  @ChgRef{Version=[2],Kind=[Revised],ARef=[AI95-00231-01],ARef=[AI95-00416-01]}
+  @Chg{Version=[2],New=[The],Old=[This]} conversion@Chg{Version=[2],New=[
+  of the @nt{expression} defining the access discriminant to the anonymous
+  access type],Old=[]} raises @Chg{Version=[2],New=[Program_Error],
   Old=[Constraint_Error if the initial value is @key(null), or,]} for an
   object created by an allocator of an access type T, if the
   initial value is an access parameter that designates a view whose
@@ -1431,7 +1430,7 @@
 @end{DiffWord83}
 
 @begin{Extend95}
-  @ChgRef{Version=[2],Kind=[AddedNormal],ARef=[AI95-00230-01],ARef=[AI95-00402-01]}
+  @ChgRef{Version=[2],Kind=[AddedNormal],ARef=[AI95-00230-01],ARef=[AI95-00402-01],ARef=[AI95-00416-01]}
   @ChgAdded{Version=[2],Text=[Access discriminants (anonymous access types
   used as a discriminant) can be used on any type allowing discriminants.
   Defaults aren't allowed on discriminants of non-limited types, however, so

Questions? Ask the ACAA Technical Agent