CVS difference for arm/source/03c.mss

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

--- arm/source/03c.mss	2005/07/12 05:01:14	1.40
+++ arm/source/03c.mss	2005/07/27 00:06:20	1.41
@@ -1,9 +1,9 @@
 @Part(03, Root="ada.mss")
 
-@Comment{$Date: 2005/07/12 05:01:14 $}
+@Comment{$Date: 2005/07/27 00:06:20 $}
 
 @Comment{$Source: e:\\cvsroot/ARM/Source/03c.mss,v $}
-@Comment{$Revision: 1.40 $}
+@Comment{$Revision: 1.41 $}
 
 @LabeledClause{Tagged Types and Type Extensions}
 
@@ -878,7 +878,7 @@
 The parent type of a record extension shall not be
 a class-wide type@Chg{Version=[2],New=[ nor shall it be a synchronized
 tagged type (see @RefSecNum{Interface Types})],Old=[]}.
-If the @Chg{Version=[2],New=[record extension],Old=[parent type]} is
+If the parent type@Chg{Version=[2],New=[ or any progenitor],Old=[]} is
 nonlimited, then each of the
 components of the @nt{record_extension_part} shall be
 nonlimited.@Chg{Version=[2],New=[],Old=[
@@ -4016,16 +4016,8 @@
 @ChgRef{Version=[2],Kind=[Added],ARef=[AI95-00254-01]}
 @ChgAdded{Version=[2],Text=[The accessibility level of the anonymous access type
 of an access parameter specifying an access-to-subprogram type is
-statically deeper than that of any master; all such
+deeper than that of any master; all such
 anonymous access types have this same level.]}
-@begin{Ramification}
-@ChgRef{Version=[2],Kind=[AddedNormal]}
-@ChgAdded{Version=[2],Text=[This rule means that it is illegal to convert an
-access parameter specifying an access to subprogram to a
-named access to subprogram type, but it is allowed to pass such an access
-parameter to another access parameter (the implicit conversion's accessibility
-will succeed).]}
-@end{Ramification}
 @begin{Reason}
 @ChgRef{Version=[2],Kind=[AddedNormal]}
 @ChgAdded{Version=[2],Text=[@Defn{downward closure}
@@ -4098,8 +4090,8 @@
 @end{Itemize}
 
 @ChgRef{Version=[2],Kind=[Added],ARef=[AI95-00416-01]}
-@ChgAdded{Version=[2],Text=[For determining whether an @nt{expression} is used
-in a certain context, the operand of a view conversion, parenthesized
+@ChgAdded{Version=[2],Text=[In the above rules, the operand of a view
+conversion, parenthesized
 expression or @nt{qualified_expression} is considered to be used in a context
 if the view conversion, parenthesized expression or @nt{qualified_expression}
 itself is used in that context.]}
@@ -4127,12 +4119,27 @@
 the other level.
 @end{Honest}
 
+@ChgRef{Version=[2],Kind=[Added],ARef=[AI95-00254-01]}
+@ChgAdded{Version=[2],Text=[The accessibility level of the anonymous access type
+of an access parameter specifying an access-to-subprogram type is
+statically deeper than that of any master; all such
+anonymous access types have this same level.]}
+@begin{Ramification}
+@ChgRef{Version=[2],Kind=[AddedNormal]}
+@ChgAdded{Version=[2],Text=[This rule means that it is illegal to convert an
+access parameter specifying an access to subprogram to a
+named access to subprogram type, but it is allowed to pass such an access
+parameter to another access parameter (the implicit conversion's accessibility
+will succeed).]}
+@end{Ramification}
+
 @ChgRef{Version=[2],Kind=[Revised],ARef=[AI95-00254-01]}
 The statically deeper relationship does not apply to the accessibility
 level of the anonymous type of an access parameter@Chg{Version=[2],
 New=[ specifying an access-to-object type],Old=[]};
 that is, such an accessibility level is not considered to be statically
 deeper, nor statically shallower, than any other.
+
 
 For determining whether one level is statically deeper than another when
 within a generic package body, the generic package is presumed to be

Questions? Ask the ACAA Technical Agent