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

Differences between 1.23 and version 1.24
Log of other versions for file ai12s/ai12-0079-1.txt

--- ai12s/ai12-0079-1.txt	2018/12/07 07:01:27	1.23
+++ ai12s/ai12-0079-1.txt	2018/12/14 08:31:29	1.24
@@ -1,5 +1,7 @@
-!standard 6.1.2(0)                                  18-10-21    AI12-0079-1/09
+!standard 6.1.2(0)                                  18-12-10    AI12-0079-1/10
 !class Amendment 13-06-28
+!status Amendment 1-2012 18-12-10
+!status ARG Approved 11-0-1  18-12-10
 !status work item 13-06-28
 !status received 13-06-14
 !priority High
@@ -17,7 +19,7 @@
 are defined to be checked at runtime, but are intended to be potentially checked
 (at least in part) statically.
 
-However, without knowledge of side-effects of functions used in the aspects,
+However, without knowledge of side effects of functions used in the aspects,
 a tool has to assume the worst about any user-defined functions. For example, that
 the result of a function can change even when called with the same operands.
 Other assumptions could cause incorrect programs to be accepted as correct, and
@@ -36,7 +38,7 @@
 
 Ideally, analysis at the initial compile-time of a unit would be possible, as it
 is important to detect errors as soon as possible. More information about
-function side-effects is needed in the specification of subprograms in order to
+function side effects is needed in the specification of subprograms in order to
 accomplish that goal.
 
 !proposal
@@ -127,7 +129,7 @@
 
 6.1.2 The Global and Global'Class Aspects
 
-For a program unit, for a formal package, formal subprogram, formal
+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
@@ -172,12 +174,13 @@
    A /global_/attribute_reference is an attribute_reference with attribute
    designator "Global."
 
-   The Global aspect identifies the set of variables global to a callable
+   The Global aspect identifies the set of variables (which, for the purposes
+   of this clause includes all task objects) global to a callable
    entity that are potentially read or updated as part of the execution
    of a call on the entity. If not specified, the aspect defaults to the
    Global aspect for the nearest enclosing program unit. If not
    specified for a library unit, the aspect defaults to "Global => null"
-   for a non-generic library unit that is declared Pure, and to "Global
+   for a nongeneric library unit that is declared Pure, and to "Global
    => in out all" otherwise.
 
 For a dispatching subprogram or a tagged type, the following language-defined
@@ -206,7 +209,7 @@
 
 A global_aspect_definition defines the Global or Global'Class aspect of
 some entity.  The Global aspect identifies the sets of global variables
-that can be read, written, or modified as a side-effect of some
+that can be read, written, or modified as a side effect of some
 operation. The Global'Class aspect associated with a tagged
 type T (or one of its dispatching operations) represents a restriction on
 the Global aspect on any descendant of type T (or its corresponding
@@ -261,8 +264,7 @@
      sets of variables identified by the global_name's in the list,
      for the following forms of global_name:
      * /object_/name identifies the specified global variable (or
-       non-preelaborable constant, which is ignored for the purposes
-       of the remaining rules)
+       nonpreelaborable constant)
      * /package_/name identifies the set of all variables declared within
        the declarative region of the package having the same accessibility
        level as the package, but not including those within the declarative
@@ -272,7 +274,7 @@
        a private descendant of the package;
      * /access_/subtype_mark identifies the set of (aliased) variables that
        can be designated by values of the given access-to-variable type;
-     * ACCESS subtype_mark identifies the set of (aliased) variables that
+     * ACCESS subtype_mark identifies the set of (aliased) objects that
        can be designated by values of an access-to-variable type with a
        designated subtype statically matching the given subtype_mark.
 

Questions? Ask the ACAA Technical Agent