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

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

--- ai12s/ai12-0334-1.txt	2019/06/06 03:08:34	1.1
+++ ai12s/ai12-0334-1.txt	2019/06/07 05:32:50	1.2
@@ -1,4 +1,4 @@
-!standard 6.1.2(1/5)                                  19-06-05  AI12-0334-1/02
+!standard 6.1.2(1/5)                                  19-06-06  AI12-0334-1/03
 !standard 6.1.2(12/5)
 !standard 6.1.2(17/5)
 !standard 9.5(65/5)
@@ -40,9 +40,10 @@
 Modify 6.1.2(1/5):
 
 For a program unit, formal package, formal subprogram, formal object of an 
-anonymous access-to-subprogram type, and for a named access-to-subprogram type
-or [composite] type (including a formal type), the following language-defined 
-aspect may be specified with an aspect_specification (see 13.1.1):
+anonymous access-to-subprogram type, and for {any}[a named access-to-subprogram 
+type or composite] type (including a formal type), the following 
+language-defined aspect may be specified with an aspect_specification (see 
+13.1.1):
 
 Modify 6.1.2(12/5):
 
@@ -65,9 +66,11 @@
 The Global aspect for a callable entity defines the global variables that might 
 be referenced as part of a call on the entity.{
 
-The Global aspect for any type 
-identifies the global variables that might be referenced when evaluating any 
-predicate that applies to a subtype of the type. In addition, the}[The] Global 
+The Global aspect for any type identifies the global variables that might be 
+referenced when evaluating any predicate that applies to a subtype of the type. 
+It also identifies the global variables that might be referenced when 
+evaluating any stream-oriented attribute (Read, Write, Input, or Output) or the
+Put_Image attribute of the type. In addition, the}[The] Global 
 aspect for a composite type identifies the global variables that might be 
 referenced during default initialization, adjustment as part of assignment, or 
 finalization of an object of the type. The Global aspect for an 
@@ -87,13 +90,19 @@
 
 {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.}
+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.}
 
 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. For a predefined equality operator
+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
 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