CVS difference for arm/source/13a.mss

Differences between 1.81 and version 1.82
Log of other versions for file arm/source/13a.mss

--- arm/source/13a.mss	2010/09/04 00:30:44	1.81
+++ arm/source/13a.mss	2010/10/15 07:05:38	1.82
@@ -1,10 +1,10 @@
 @Part(13, Root="ada.mss")
 
-@Comment{$Date: 2010/09/04 00:30:44 $}
+@Comment{$Date: 2010/10/15 07:05:38 $}
 @LabeledSection{Representation Issues}
 
 @Comment{$Source: e:\\cvsroot/ARM/Source/13a.mss,v $}
-@Comment{$Revision: 1.81 $}
+@Comment{$Revision: 1.82 $}
 
 @begin{Intro}
 @ChgRef{Version=[1],Kind=[Revised],Ref=[8652/0009],ARef=[AI95-00137-01]}
@@ -2804,7 +2804,7 @@
   @ChgAdded{Version=[3],Text=[This rule allows the same declaration to be
   elaborated multiple times. In that case, different types could have the same
   external tag. If that happens, Internal_Tag would return some unspecified tag,
-  and Decendant_Tag probably would return the intended tag (using the given
+  and Descendant_Tag probably would return the intended tag (using the given
   ancestor to determine which type is intended). However, in some cases (such as
   multiple instantiations of a derived tagged type declared in a generic body),
   Tag_Error might be raised by Descendant_Tag if multiple types are identified.]}
@@ -3230,7 +3230,7 @@
 @ChgRef{Version=[3],Kind=[AddedNormal]}
 @ChgAdded{Version=[3],Text=[Pre'Class@\This aspect
   specifies a precondition for a callable entity and its
-  decendants; it shall be specified by an @nt{expression}, called a
+  descendants; it shall be specified by an @nt{expression}, called a
   @i<precondition expression>.]}
 
 @ChgRef{Version=[3],Kind=[AddedNormal]}
@@ -3241,21 +3241,21 @@
 
 @ChgRef{Version=[3],Kind=[AddedNormal]}
 @ChgAdded{Version=[3],Text=[Post'Class@\This aspect
-  This aspect specifies a postcondition for a callable entity and its
-  decendants; it shall be specified by an @nt{expression}, called a @i<postcondition
+  specifies a postcondition for a callable entity and its descendants;
+  it shall be specified by an @nt{expression}, called a @i<postcondition
   expression>.]}
 @end{Description}
 
 @begin{Resolution}
 @ChgRef{Version=[3],Kind=[AddedNormal],ARef=[AI05-0145-2]}
 @ChgAdded{Version=[3],Text=[The expected type for a precondition or
-postcondition expression is the predefined type Boolean.]}
+postcondition expression is any boolean type.]}
 
 @ChgRef{Version=[3],Kind=[AddedNormal],ARef=[AI05-0145-2]}
 @ChgAdded{Version=[3],Text=[Within the expression for a Pre'Class or Post'Class aspect for a primitive
 subprogram of a tagged type @i<T>, a name that denotes a formal parameter of type
 @i<T> is interpreted as having type @i<T>'Class. Similarly, a name that denotes a
-formal access parameter of type access-to-T is interpreted as having type
+formal access parameter of type access-to-@i<T> is interpreted as having type
 access-to-@i<T>'Class. @Redundant[This ensures the expression is
 well-defined for a primitive subprogram of a type descended from @i<T>.]]}
 
@@ -3263,7 +3263,7 @@
 @ChgAdded{Version=[3],Text=[For an attribute_reference with attribute_designator
 Old, if the attribute reference has an expected type or shall resolve to a given
 type, the same applies to the @nt{prefix}; otherwise the @nt{prefix} shall be
-resolved independent of context.]}
+resolved independently of context.]}
 
 @end{Resolution}
 
@@ -3384,12 +3384,12 @@
 call of the subprogram or entry, prior to copying back any by-copy @key[in out]
 or @key[out] parameters, a postcondition check is performed. This consists of
 the evaluation of the postcondition expressions that apply to the subprogram or
-entry. If any of the the postcondition expressions evaluate to False, then
+entry. If any of the postcondition expressions evaluate to False, then
 Ada.Assertions.Assertion_Error is raised. The order of performing the checks is
 not specified, and if one of them evaluates to False, it is not specified
-whether the others are checked. It is not specified whether any constraint
-checks associated with copying back @key[in out] or @key[out] parameters are
-performed before or after the postcondition check.]}
+whether the other postcondition expressions are evaluated. It is not specified
+whether any constraint checks associated with copying back @key[in out] or
+@key[out] parameters are performed before or after the postcondition check.]}
 
 @ChgRef{Version=[3],Kind=[AddedNormal],ARef=[AI05-0145-2]}
 @ChgAdded{Version=[3],Text=[If a precondition or postcondition check fails, the
@@ -4506,7 +4506,7 @@
 
 
 
-@RMNewPage@Comment{For printed RM Ada 2005}
+@Comment{@RMNewPage@Comment{For printed RM Ada 2005} - Now Ada 2012}
 @LabeledClause{Change of Representation}
 
 @begin{Intro}

Questions? Ask the ACAA Technical Agent