CVS difference for ai12s/ai12-0249-1.txt

Differences between 1.8 and version 1.9
Log of other versions for file ai12s/ai12-0249-1.txt

--- ai12s/ai12-0249-1.txt	2019/02/22 07:10:30	1.8
+++ ai12s/ai12-0249-1.txt	2019/04/06 05:08:50	1.9
@@ -1,4 +1,4 @@
-!standard 4.2(9)                                     19-02-22  AI12-0249-1/06
+!standard 4.2(9)                                     19-03-19  AI12-0249-1/07
 !standard 4.2.1(0)
 !standard 4.9(3)
 !class Amendment 18-01-22
@@ -71,11 +71,13 @@
 
  {If its expected type is a numeric type, the}[The] evaluation of a
  numeric literal[, or the literal null,] yields the represented value.
- The evaluation of the literal null yields the null value of the 
- expected type. In other cases, the effect of evaluating a numeric
+ {In other cases, the effect of evaluating a numeric
  literal is determined by the Integer_Literal or Real_Literal aspect 
  that applies (see 4.2.1).
 
+ The evaluation of the literal null yields the null value of the 
+ expected type.}
+
 Add subclause 4.2.1 User-Defined Literals
 
 Using one or more of the aspects defined below, a type may be specified
@@ -108,13 +110,13 @@
 For the evaluation of an integer literal with expected type
 having an Integer_Literal aspect specified, the value
 is the result of a call on the function specified by the aspect, with
-the parameter being a string with lower bound one whose value corresponds
+the parameter being a String with lower bound one whose value corresponds
 to the textual representation of the integer literal. Similarly,
 the evaluation of a real literal with expected type
 having a Real_Literal aspect specified, the value
 is the result of a call on the function specified by the aspect, with
-the parameter being a string with lower bound one whose value corresponds
-to the textual representation of the or real literal.
+the parameter being a String with lower bound one whose value corresponds
+to the textual representation of the real literal.
 
   Bounded Errors
 
@@ -224,11 +226,13 @@
 @dby
 If its expected type is a numeric type, the evaluation of a
 numeric literal yields the represented value.
-The evaluation of the literal @b<null> yields the null value of the 
-expected type. In other cases, the effect of evaluating a numeric
+In other cases, the effect of evaluating a numeric
 literal is determined by the Integer_Literal or Real_Literal aspect 
 that applies (see 4.2.1).
 
+The evaluation of the literal @b<null> yields
+the null value of the expected type. 
+
 !corrigendum 4.2.1(0)
 
 @dinsc
@@ -263,12 +267,12 @@
 For the evaluation of an integer literal with expected type
 having an Integer_Literal aspect specified, the value
 is the result of a call on the function specified by the aspect, with
-the parameter being a string with lower bound one whose value corresponds
+the parameter being a String with lower bound one whose value corresponds
 to the textual representation of the integer literal. Similarly,
 the evaluation of a real literal with expected type
 having a Real_Literal aspect specified, the value
 is the result of a call on the function specified by the aspect, with
-the parameter being a string with lower bound one whose value corresponds
+the parameter being a String with lower bound one whose value corresponds
 to the textual representation of the or real literal.
 
 @s8<@i<Bounded Errors>>

Questions? Ask the ACAA Technical Agent