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

Differences between 1.4 and version 1.5
Log of other versions for file ai12s/ai12-0178-1.txt

--- ai12s/ai12-0178-1.txt	2016/02/16 03:20:41	1.4
+++ ai12s/ai12-0178-1.txt	2016/04/12 04:48:39	1.5
@@ -1,12 +1,14 @@
-!standard 4.1.3(17/2)                                    15-11-18  AI12-0178-1/02
+!standard 4.1.3(17/2)                                    16-03-30  AI12-0178-1/03
 !standard 4.3.2(13)
 !standard 4.3.3(45/2)
 !standard 4.5.2(37)
 !standard 9.11(8/2)
 !standard 10.1.2(29/2)
 !standard 11.2(12)
+!standard 11.4.3(2/2)
 !standard 11.4.3(5/2)
-!standard 11.4.3(6/2)
+!standard 11.4.3(5/2)
+!standard 11.4.3(10)
 !standard 12.1(22)
 !standard 12.3(24)
 !standard 12.7(19/2)
@@ -47,7 +49,8 @@
 
 Modify 4.3.2(13):
 
-    (Expression with Left => {new Literal'(}1.2{)}, Right => {new Literal'(}3.4{)})
+    (Expression with Left  => {new Literal'(Value =>}1.2{)},{
+                    }Right => {new Literal'(Value =>}3.4{)})
     Addition'(Binop with null record)
                 -- presuming Binop is of type Binary_Operation
 
@@ -62,13 +65,15 @@
 to use 4.3.3(13)), so we don't want a qualification of any kind.]
 
 Replace 4.5.2(37) by:
-
-    A : constant String := "A";
-    "" < A and A < "Aa"     --  True
-    A < "Bb" and A < "A  "  --  True
 
-[Editor's note: I think the qualifications Jeff suggested obscure the point of
-the example. Maybe there is even a better replacement possible??]
+    S : String := "A";
+    "" < S and S < "Aa"     --  True
+    S < "Bb" and S < "A  "  --  True
+
+[Note: We use a variable here to be as realistic as possible; qualifications
+would be a forward reference and obscure the point (ordering) of the example
+anyway. We know it's about ordering as John thinks he proposed adding this
+example of ordering to the RM in roughly 1980.]
 
 Modify 9.7.3(6): (just the modified part shown)
 
@@ -92,13 +97,22 @@
 
    {Ada.Exceptions.}Exception_Message
    
-Modify 11.4.3(5/2):
+Modify 11.4.3(2/2):
+
+package File_System is
+    {type Data_type is ...;
+    }type File_Handle is limited private;
 
+Modify 11.4.3(5):
+
       ...
    {private
       ...}
    end File_System;
 
+{   AARM Reason: The first ... provides a place for Close to be declared, and
+    the second ... provides a place for File_Handle to be completed.}
+
 Modify 11.4.3(6/2): (just the modified part shown)
 
    package body File_System is
@@ -107,8 +121,22 @@
 [Editor's note: This will have to split this paragraph into 2 after ..., in
 order to be consistent with paragraphs 5 and 8.]
 
-   [Note: This ... provides a place for File_Exists to be declared.]
+{  AARM Reason: This ... provides a place for File_Exists and the body of
+   Close to be declared.}
 
+
+Modify 11.4.3(10):
+
+with Ada.Text_IO;
+with Ada.Exceptions;
+with File_System; use File_System;
+use Ada;
+procedure Main is
+{   Verbosity_Desired : Boolean := ...;
+}begin
+  [rest omitted]
+
+
 Modify 12.1(22):
 
    generic
@@ -125,9 +153,6 @@
 
     {subtype Key_String is String(1..5);}
     type String_Id is ...
-
-[Editor's note: I changed the name of the string subtype to reflect its use
--- od practice in examples.]
 
 Modify 12.7(21/2):
 

Questions? Ask the ACAA Technical Agent