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

Differences between 1.2 and version 1.3
Log of other versions for file ai12s/ai12-0334-1.txt

--- ai12s/ai12-0334-1.txt	2019/06/07 05:32:50	1.2
+++ ai12s/ai12-0334-1.txt	2019/06/11 01:22:10	1.3
@@ -1,4 +1,4 @@
-!standard 6.1.2(1/5)                                  19-06-06  AI12-0334-1/03
+!standard 6.1.2(1/5)                                  19-06-10  AI12-0334-1/04
 !standard 6.1.2(12/5)
 !standard 6.1.2(17/5)
 !standard 9.5(65/5)
@@ -90,19 +90,23 @@
 
 {For a predefined operator of an elementary type, the Global aspect is null.
 For a predefined operator of a composite type, the Global aspect of the 
-operator is same as the Global aspect for the type. For the predefined
-implementation of Put_Image of an elementary type, the Global aspect is null.
-For predefined implementation of Put_Image of a composite type, the Global 
-aspect is null.}
+operator is same as the Global aspect for the type.}
 
+{For the predefined attributes Image, Put_Image, Read, Write, Input, and Output
+(and the class-wide versions of those), the Global aspect is "in out all".}
+
+   {AARM Discussion: The Global'Class for dispatching operations stream 
+   operations is "in out all", since we have no way to tell the actual details,
+   and we have to allow arbitrary I/O operations and the like in streams.
+   Thus, these attributes, which are built on dispatching calls on stream
+   operations also have to be "in out all". Image is built on Put_Image,
+   so it gets the same problem.}
+
 Add after 6.1.2(37/5):
 
 AARM Ramification: For a type, this includes operations included in 
 initialization, adjustment, finalization, and predicate evaluation of
-both the type and all of its subcomponents. It also includes the operations
-included in the default implementation of the stream-oriented operations
-Read, Write, Input, and Output, and the operations included in the default
-implementation of the Put_Image attribute. For a predefined equality operator
+both the type and all of its subcomponents.For a predefined equality operator
 of a composite type, this includes the equality operations called by the 
 operator (which may not be predefined and thus may have a different Global
 specification than the component types).

Questions? Ask the ACAA Technical Agent