CVS difference for ais/ai-00269.txt

Differences between 1.10 and version 1.11
Log of other versions for file ais/ai-00269.txt

--- ais/ai-00269.txt	2004/11/25 00:03:31	1.10
+++ ais/ai-00269.txt	2005/06/16 23:47:20	1.11
@@ -1,4 +1,5 @@
-!standard  4.09 (35)                                   04-11-03  AI95-00269/06
+!standard  4.09 (35)                                   05-05-16  AI95-00269/07
+!standard  4.09 (36)
 !standard  4.09 (37)
 !standard  4.09 (38)
 !standard 12.04 (10)
@@ -131,14 +132,27 @@
 
 @drepl
 @xbullet<If the expression is not part of a larger static expression,
-then its value shall be in the base range of its expected type. Otherwise,
+then its value shall be within the base range of its expected type. Otherwise,
 the value may be arbitrarily large or small.>
 @dby
 @xbullet<If the expression is not part of a larger static expression and the
 expression is expected to be of a single specific type, then its value shall be
-in the base range of its expected type. Otherwise, the value may be arbitrarily
-large or small.>
+within the base range of its expected type. Otherwise, the value may be
+arbitrarily large or small.>
 
+!corrigendum 4.09(36)
+
+@drepl
+@xbullet<If the expression is of type @i<universal_real> and its expected type
+is a decimal fixed point type, then its value shall be a multiple of the
+@i<small> of the decimal type.>
+@dby
+@xbullet<If the expression is of type @i<universal_real> and its expected type
+is a decimal fixed point type, then its value shall be a multiple of the
+small of the decimal type. This restriction does not apply if the expected type is a
+descendant of a formal scalar type (or a corresponding actual type in an
+instance).>
+
 !corrigendum 4.09(37)
 
 @drepl
@@ -146,10 +160,6 @@
 descendant of a formal scalar type (or a corresponding actual type in an
 instance).
 @dby
-The last restriction above does not apply if the expected type is a
-descendant of a formal scalar type (or a corresponding actual type in an
-instance).
-
 In addition to the places where Legality Rules normally apply (see 12.3),
 the above restrictions also apply in the private part of an instance
 of a generic unit.
@@ -164,7 +174,7 @@
 the expected type; if the value is exactly half-way between two machine
 numbers, any rounding shall be performed away from zero. If the expected type
 is a descendant of a formal scalar type, no special rounding or truncating is
-required -- normal accuracy rules apply (see Annex G).
+required @emdash normal accuracy rules apply (see Annex G).
 @dby
 For a real static expression that is not part of a larger static expression,
 and whose expected type is not a descendant of a formal scalar type, the
@@ -175,7 +185,7 @@
 is a descendant of a formal scalar type, or if the static expression appears in
 the body of an instance of a generic unit and the corresponding expression is
 nonstatic in the corresponding generic body, then no special rounding or
-truncating is required -- normal accuracy rules apply (see Annex G).
+truncating is required @emdash normal accuracy rules apply (see Annex G).
 
 !corrigendum 12.04(10)
 

Questions? Ask the ACAA Technical Agent