CVS difference for arm/source/03a.mss

Differences between 1.112 and version 1.113
Log of other versions for file arm/source/03a.mss

--- arm/source/03a.mss	2011/09/29 06:37:23	1.112
+++ arm/source/03a.mss	2011/10/21 06:41:24	1.113
@@ -1,10 +1,10 @@
 @Part(03, Root="ada.mss")
 
-@Comment{$Date: 2011/09/29 06:37:23 $}
+@Comment{$Date: 2011/10/21 06:41:24 $}
 @LabeledSection{Declarations and Types}
 
 @Comment{$Source: e:\\cvsroot/ARM/Source/03a.mss,v $}
-@Comment{$Revision: 1.112 $}
+@Comment{$Revision: 1.113 $}
 
 @begin{Intro}
 This section describes the types in the language and the rules
@@ -475,8 +475,9 @@
   constraints, null exclusions, and predicates],
   Old=[a constraint@Chg{Version=[2],New=[ or null exclusion],Old=[]}]},
   which @Chg{Version=[3],New=[constrain],Old=[constrains]}
-  the values of the subtype to satisfy a certain condition.
-  The values of a subtype are a subset of the values of its type.>}
+  the values of the subtype to satisfy @Chg{Version=[3],New=[],Old=[a ]}certain
+  @Chg{Version=[3],New=[conditions],Old=[condition]}. The values of a subtype
+  are a subset of the values of its type.>}
 
 @ChgRef{Version=[2],Kind=[Revised],ARef=[AI95-00442-01]}
 @Chg{Version=[2],New=[@Defn2{Term=[category], Sec=(of types)}],
@@ -1535,7 +1536,7 @@
 @ChgAdded{Version=[3],Text=[The language-defined @i{predicate aspects}
 Static_Predicate and Dynamic_Predicate may be used to define properties of
 subtypes. A @i{predicate specification} is an @nt{aspect_specification}
-for one of the two predicate aspects.@Defn{predicate aspect}@Defn{predicate specification}@PDefn2{Term=[aspect],Sec=(predicate)}]}
+for one of the two predicate aspects.@Defn{predicate aspect}@Defn{predicate specification}@PDefn2{Term=[aspect],Sec=(predicate)}@AspectDefn{Static_Predicate}@AspectDefn{Dynamic_Predicate}]}
 @ChgAspectDesc{Version=[3],Kind=[AddedNormal],Aspect=[Static_Predicate],
   Text=[@ChgAdded{Version=[3],Text=[Condition that must hold true for objects of
     a given subtype; the subtype may be static.]}]}
@@ -4405,7 +4406,7 @@
      the sequence of characters is implementation defined (but
      no shorter than that of S'@Chg{Version=[2],New=[Wide_Wide_Image],
      Old=[Wide_Image]} for the same value of @i(Arg)).
-     @ChgImplDef{Version=[2],Kind=[Revised],Text=[The
+     @ChgImplDef{Version=[2],Kind=[Revised],InitialVersion=[0],Text=[The
      sequence of characters of the value returned by
      S'Image when some of the graphic characters of
      S'@Chg{Version=[2],New=[Wide_Wide_Image],Old=[Wide_Image]} are not
@@ -4774,7 +4775,8 @@
 @ChgAdded{Version=[3],Text=[Default_Value@\This aspect
 shall be specified by a static expression, and that
 expression shall be explicit, even if the aspect has a boolean type.
-Default_Value shall be specified only on a @nt{full_type_declaration}.]}
+Default_Value shall be specified only on a
+@nt{full_type_declaration}.@AspectDefn{Default_Value}]}
 @begin{Reason}
   @ChgRef{Version=[3],Kind=[AddedNormal]}
   @ChgAdded{Version=[3],Text=[The part about requiring an explicit expression is
@@ -6821,7 +6823,8 @@
      for nonderived@Chg{New=[ ordinary],Old=[]} fixed point types
      via an @nt{attribute_@!definition_@!clause}
      (see @RefSecNum{Operational and Representation Attributes});
-     the expression of such a clause shall be static.
+     the expression of such a clause shall be
+     static.@Chg{Version=[3],New=[@AspectDefn{Small}],Old=[]}
 
   @ChgAspectDesc{Version=[3],Kind=[AddedNormal],Aspect=[Small],
     Text=[@ChgAdded{Version=[3],Text=[Scale factor for a fixed point type.]}]}

Questions? Ask the ACAA Technical Agent