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

Differences between 1.18 and version 1.19
Log of other versions for file ai12s/ai12-0020-1.txt

--- ai12s/ai12-0020-1.txt	2019/02/16 04:36:16	1.18
+++ ai12s/ai12-0020-1.txt	2019/03/09 05:04:15	1.19
@@ -1,4 +1,4 @@
-!standard 4.10(0)                                     19-02-14   AI12-0020-1/09
+!standard 4.10(0)                                     19-03-08   AI12-0020-1/10
 !standard 3.5(27.1/2)
 !standard 3.5(27.2/2)
 !standard 3.5(27.3/2)
@@ -157,7 +157,7 @@
       aspect_specification specifying the Put_Image aspect of the type.
 
       AARM Note: In contrast, the Image, Wide_Image, and Wide_Wide_Image
-      attributes and their associated aspects may not be specified.
+      attributes and their associated aspects cannot be specified.
       The behavior of any of these attributes is defined in
       terms of calls to the corresponding Put_Image procedure, so changes
       in their behavior may be accomplished via a Put_Image specification.
@@ -390,8 +390,9 @@
          S'Wide_Image denotes a function with the following specification:
          function S'Wide_Image (Arg : T) return Wide_String
 
-        The function returns the result of a call on S'Wide_Wide_Image 
-        with a parameter of Arg as a Wide_String. The lower bound of the result is 
+        The function returns a Wide_String corresponding to the result of a 
+        call on S'Wide_Wide_Image with a parameter of Arg. The lower bound 
+        of the result is 
         one. The result has the same sequence of graphic characters as that 
         returned by S'Wide_Wide_Image if all the graphic characters are 
         defined in Wide_Character; otherwise, the sequence of characters is 
@@ -402,8 +403,9 @@
         S'Image denotes a function with the following specification:
            function S'Image(Arg : S'Base) return String
 
-        The function returns the result of a call on S'Wide_Wide_Image 
-        with a parameter of Arg as a String. The lower bound of the result is 
+        The function returns a Wide_String corresponding to the result of a 
+        call on S'Wide_Wide_Image with a parameter of Arg. The lower bound 
+        of the result is 
         one. The result has the same sequence of graphic characters as that 
         returned by S'Wide_Wide_Image if all the graphic characters are 
         defined in Character; otherwise, the sequence of characters is 
@@ -1099,8 +1101,9 @@
 @xcode<        @b<function> S'Wide_Image(@ft<@i<Arg>> : S'Base)
           @b<return> Wide_String>
 
-@xindent<The function returns the result of a call on S'Wide_Wide_Image 
-with a parameter of @i<Arg> as a Wide_String. The lower bound of the result is 
+@xindent<The function returns a Wide_String corresponding to the result 
+of a call on S'Wide_Wide_Image with a parameter of @i<Arg>.
+The lower bound of the result is 
 one. The result has the same sequence of graphic characters as that 
 returned by S'Wide_Wide_Image if all the graphic characters are 
 defined in Wide_Character; otherwise, the sequence of characters is 
@@ -1113,8 +1116,9 @@
 @xcode<        @b<function> S'Image(@ft<@i<Arg>> : S'Base)
           @b<return> String>
 
-@xindent<The function returns the result of a call on S'Wide_Wide_Image 
-with a parameter of @i<Arg> as a String. The lower bound of the result is 
+@xindent<The function returns a String corresponding to the result of a 
+call on S'Wide_Wide_Image with a parameter of @i<Arg>.
+The lower bound of the result is 
 one. The result has the same sequence of graphic characters as that 
 returned by S'Wide_Wide_Image if all the graphic characters are 
 defined in Character; otherwise, the sequence of characters is 

Questions? Ask the ACAA Technical Agent