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

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

--- ai12s/ai12-0368-1.txt	2020/03/10 04:13:21	1.2
+++ ai12s/ai12-0368-1.txt	2020/03/16 03:36:30	1.3
@@ -1,4 +1,4 @@
-!standard 4.9(8)                                     20-03-09  AI12-0368-1/02
+!standard 4.9(8)                                     20-03-12  AI12-0368-1/03
 !standard 4.9(12.1/3)
 !standard 4.9(17)
 !standard 6.1.1(24.2/5)
@@ -7,6 +7,8 @@
 !standard 6.1.1(24.5/5)
 !standard C.4(9)
 !class Amendment 20-03-05
+!status Amendment 1-2012 20-03-11
+!status ARG Approved 14-0-0  20-03-11
 !status work item 20-03-05
 !status received 20-02-20
 !priority Low
@@ -50,7 +52,7 @@
 
  * a declare_expression whose body_expression is static and each of whose 
    declarations, if any, is either the declaration of a static constant or is 
-   an object_renaming_declaration with a name that statically names the 
+   an object_renaming_declaration with an object_name that statically names the 
    renamed object;
 
 Add after 4.9(17):
@@ -74,7 +76,7 @@
    constrained, and the index expressions of the object are static and have 
    values that are within the range of the index constraint. 
 
-[Editor's note: The part of implicit dereference was missing here in the
+[Editor's note: The part about implicit dereference was missing here in the
 6.1.1 wording. Since a "null constraint" (that is, no constraint at all)
 is considered statically constrained, object of most access types would
 qualify for the original rule, which is not what we want.] 
@@ -92,7 +94,7 @@
 !discussion
 
 We do not want refactoring a static expression to use a declare expression
-with the same (semantically) contents to become non-static, so a definition
+with the same contents (semantically) to become non-static, so a definition
 for static declare expressions is needed.
 
 We use "statically names" in these rules to allow them maximum flexibility.
@@ -109,6 +111,72 @@
 near the similar definition of "statically denotes". We also extend it to
 work on non-objects, so that it can be used in place of "statically denotes"
 without rearranging the rest of the wording.
+
+!corrigendum 4.9(8)
+
+@drepl
+@xbullet<an @fa<attribute_reference> whose @fa<prefix> statically denotes a 
+statically constrained array object or array subtype, and whose 
+@fa<attribute_designator> is First, Last, or Length, with an optional 
+dimension;>
+@dby
+@xbullet<an @fa<attribute_reference> whose @fa<prefix> statically names a 
+statically constrained array object or array subtype, and whose 
+@fa<attribute_designator> is First, Last, or Length, with an optional 
+dimension;>
+
+!corrigendum 4.9(12.1/3)
+
+@dinsa
+@xbullet<a @fa<conditional_expression> all of whose @fa<condition>s,
+@i<selecting_>@fa<expression>s, and @i<dependent_>@fa<expression>s are static 
+expressions;
+@dinst
+@xbullet<a @fa<declare_expression> whose @i<body_>@fa<expression> is static and 
+each of whose declarations, if any, is either the declaration of a static 
+constant or is an @fa<object_renaming_declaration> with an @i<object_>@fa<name>
+that statically names the renamed object;>
+
+!corrigendum 4.9(17)
+
+@dinsa
+@xbullet<It denotes a @fa<renaming_declaration> with a @fa<name> that 
+statically denotes the renamed entity.>
+@dinss
+A @fa<name> @i<statically names> an object if it:
+@xbullet<statically denotes the declaration of an object (possibly
+through one or more renames);>
+@xbullet<is a @fa<selected_component> whose prefix statically names an object,
+  there is no implicit dereference of the prefix, and the @fa<selector_name>
+  names a component that does not depend on a discriminant; or>
+@xbullet<is an @fa<indexed_component> whose prefix statically names an object,
+  there is no implicit dereference of the prefix, the object is statically 
+  constrained, and the index expressions of the object are static and have 
+  values that are within the range of the index constraint.>
+For an entity other than an object, a @fa<name> statically names an entity if 
+the @fa<name> statically denotes the entity.
+
+!corrigendum 6.1.1(24/3)
+!comment No change here, just need a conflict.
+
+@drepl
+@xbullet<a @fa<membership_choice> other than the first of a membership
+operation.>
+@dby
+@xbullet<a @fa<membership_choice> other than the first of a membership
+operation.>
+
+!corrigendum C.4(9)
+
+@drepl
+@xbullet<any @fa<name> that is not part of a static expression is an expanded 
+name or @fa<direct_name> that statically denotes some entity;>
+@dby
+@xbullet<any @fa<name> that is not part of a static expression is an expanded 
+name or @fa<direct_name> that statically names some entity;>
+
+
+
 
 !ASIS
 

Questions? Ask the ACAA Technical Agent