--- 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