CVS difference for arm/source/03a.mss

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

--- arm/source/03a.mss	2000/08/25 04:02:55	1.22
+++ arm/source/03a.mss	2000/08/29 04:22:21	1.23
@@ -1,10 +1,10 @@
 @Part(03, Root="ada.mss")
 
-@Comment{$Date: 2000/08/25 04:02:55 $}
+@Comment{$Date: 2000/08/29 04:22:21 $}
 @LabeledSection{Declarations and Types}
 
 @Comment{$Source: e:\\cvsroot/ARM/Source/03a.mss,v $}
-@Comment{$Revision: 1.22 $}
+@Comment{$Revision: 1.23 $}
 
 @begin{Intro}
 This section describes the types in the language and the rules
@@ -1566,13 +1566,6 @@
     expressions evaluated at the point of the creation of the
     object.
 
-    @ChgRef{Version=[1],Kind=[Added],Ref=[8652/0002]}
-    @Chg{New=[We say @lquotes@;elaborated@rquotes@; rather than @lquotes@;evaluated@rquotes@;
-    in order to be consistent with other uses of per-object constraints and
-    to insure that the intent stated in the previous annotation is met by
-    using the definition of elaboration of a per-object constraint (now)
-    given in clause @RefSecNum(Record Types).],Old=[]}
-
     The elaboration of per-object constraints was presumably performed
     as part of the dependent compatibility check in Ada 83.
     If the object is of a limited type
@@ -2442,7 +2435,7 @@
 then S'Class is a first subtype.
 @begin{Reason}
 We want S'Class to be a first subtype when S is,
-so that an @nt{attribute_definition_clause} like
+so that an @nt{attribute_@!definition_@!clause} like
 @lquotes@key[for] S'Class'Output @key[use] ...;@rquotes@;
 will be legal.
 @end{Reason}
@@ -3208,6 +3201,7 @@
 @end{Examples}
 
 @begin{Incompatible83}
+@ChgRef{Version=[1],Kind=[Revised]}@ChgNote{To be consistent with 8652/0006}
 S'Base is no longer defined for nonscalar types.
 One conceivable existing use of S'Base for nonscalar types is
 S'Base'Size where S is a generic formal private type.
@@ -3222,7 +3216,7 @@
 in the packing. Hence our conclusion is that S'Base'Size is
 not generally useful in a generic, and does not justify keeping
 the attribute Base for nonscalar types just so it can be used
-as a prefix.
+as a @Chg{New=[@nt{prefix}],Old=[prefix]}.
 
 @end{Incompatible83}
 
@@ -3231,7 +3225,7 @@
 anywhere a @nt{subtype_mark} is permitted.
 S'Base'First .. S'Base'Last
 is the base range of the type.
-Using an @nt{attribute_definition_clause},
+Using an @nt{attribute_@!definition_@!clause},
 one cannot specify any subtype-specific attributes
 for the subtype denoted by S'Base
 (the base subtype).
@@ -4196,7 +4190,6 @@
 (see @RefSecNum{Numeric Performance Requirements}).]
 
 @Defn{nonstandard real type}
-@ImplDef{Any nonstandard real types and the operators defined for them.}
 An implementation may provide @i(nonstandard real types),
 descendants of @i(root_real) that are
 declared outside of the specification of package Standard,
@@ -4213,6 +4206,7 @@
 it is implementation defined whether operators that are predefined
 for @lquotes@;any real type@rquotes@; are defined for a particular nonstandard real type.
 @Redundant[In any case, such types are not permitted as @nt{explicit_generic_actual_parameter}s for formal scalar types @em see @RefSecNum(Formal Scalar Types).]
+@ImplDef{Any nonstandard real types and the operators defined for them.}
 @end{ImplPerm}
 
 @begin{Notes}
@@ -4509,12 +4503,11 @@
 @PrefixType{every floating point subtype S}:
 
 @begin(description)
-@ChgRef{Version=[1],Kind=[Revised],Ref=[8652/0004]}
-@Attribute{Prefix=<S>, AttrName=<Digits>,
-  Text=[S'Digits
-denotes the requested decimal precision
-for the subtype S. The value of this attribute
-is of the type @i(universal_integer).]}
+@ChgAttribute{Version=[1], Kind=[Revised], ChginAnnex=[F], Leading=[F],
+  Prefix=<S>, AttrName=<Digits>, Ref=[8652/0004],
+  Text=[S'Digits denotes the requested decimal precision
+  for the subtype S. The value of this attribute
+  is of the type @i(universal_integer).]}
 The requested decimal precision of the base subtype of a floating
 point type @i{T} is defined to be the largest value of @i{d} for which
 @chg{New=[@*
@@ -4602,7 +4595,7 @@
 @Defn{ordinary fixed point type}
 For a type defined by an @nt<ordinary_fixed_point_definition>
 (an @i(ordinary) fixed point type), the @i(small) may be specified
-by an @nt<attribute_definition_clause>
+by an @nt<attribute_@!definition_@!clause>
 (see @RefSecNum{Operational and Representation Attributes});
 if so specified, it shall be no greater than the @i(delta) of the type.
 If not specified, the @i(small) of an ordinary fixed
@@ -4833,8 +4826,8 @@
 @Leading@;The following attributes are defined for
 @PrefixType{every fixed point subtype S}:
 @begin(description)
-@ChgRef{Version=[1],Kind=[Revised],Ref=[8652/0005]}
-@Attribute{Prefix=<S>, AttrName=<Small>,
+@ChgAttribute{Version=[1], Kind=[Revised], ChginAnnex=[F], Leading=[F],
+  Prefix=<S>, AttrName=<Small>, Ref=[8652/0005],
   Text=[S'Small
      denotes the @i(small) of the type of S.
      The value of this attribute is of the type @i(universal_real).]}
@@ -4842,7 +4835,7 @@
      @Defn{Small clause}
      Small may be specified
      for nonderived@Chg{New=[ ordinary],Old=[]} fixed point types
-     via an @nt{attribute_definition_clause}
+     via an @nt{attribute_@!definition_@!clause}
      (see @RefSecNum{Operational and Representation Attributes});
      the expression of such a clause shall be static.
 

Questions? Ask the ACAA Technical Agent