CVS difference for 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