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

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

--- ai12s/ai12-0285-1.txt	2018/06/13 02:30:48	1.1
+++ ai12s/ai12-0285-1.txt	2018/07/13 00:02:48	1.2
@@ -1,4 +1,4 @@
-!standard 7.3.4(2/5)                                  18-06-12  AI12-0285-1/01
+!standard 7.3.4(2/5)                                  18-07-12  AI12-0285-1/02
 !standard 7.3.4(3/5)
 !standard 7.3.4(4/5)
 !standard 7.3.4(6/5)
@@ -8,6 +8,8 @@
 !standard 7.3.4(14/5)
 !standard 13.1.1(4/5)
 !class Amendment 18-06-12
+!status Amendment 1-2012 18-07-06
+!status ARG Approved 9-0-0  18-06-23
 !status work item 18-06-12
 !status received 18-06-12
 !priority Low
@@ -25,7 +27,7 @@
 Boolean values aspect is used:
 
     type Ugh is ...
-        when Stable_Properties => Foo, Bar, Nonblocking, Pack;
+        with Stable_Properties => Foo, Bar, Nonblocking, Pack;
 
 Unfortunately, here Nonblocking and Pack are intended to be the names
 of aspects, but they look like they're part of the aspect.
@@ -42,14 +44,14 @@
 entire subclause will change.]
 
 Add after 7.3.4(4/5):
-   A *type property aspect definition* is list of names written in the syntax
-   of a positional array aggregate. A *subprogram property aspect definition*
-   is list of names preceded by optional /not/ written in the syntax of a 
-   positional array aggregate.
+   A *type property aspect definition* is a list of names written in the syntax
+   of a positional_array_aggregate. A *subprogram property aspect definition*
+   is a list of names preceded by an optional /not/ written in the syntax of a 
+   positional_array_aggregate.
 
    To Be Honest: A single name would technically be a parenthesized expression
-   rather than an aggregate, we mean to include that here. We say "syntax of
-   a positional array aggregate" to hopefully clarify that the specification
+   rather than an aggregate; we mean to include that here. We say "syntax of
+   a positional_array_aggregate" to hopefully clarify that the specification
    is in no way an actual aggregate.
 
 Modify 7.3.4(6/5):
@@ -67,8 +69,8 @@
    definition}[type_property_aspect_definition]; each name
    shall statically denote a single property function of the type. This aspect
    defines the class-wide stable property functions of the associated type.
-   [Unlike most class-wide aspects, Stable_Properties'Class is not inherited
-   by descendant types and subprograms, but the enhanced class-wide 
+   Redundant[Unlike most class-wide aspects, Stable_Properties'Class is not 
+   inherited by descendant types and subprograms, but the enhanced class-wide 
    postconditions are inherited in the normal manner.]
 
 Modify 7.3.4(9/5):
@@ -85,9 +87,9 @@
    This aspect shall be specified by a {subprogram property aspect 
    definition}[subprogram_property_aspect_definition]; each name shall
    statically denote a single property function of a tagged type for which the
-   associated  subprogram is primitive. [Unlike most class-wide aspects, 
-   Stable_Properties'Class is not inherited by descendant subprograms, but the 
-   enhanced class-wide postconditions are inherited in the normal manner.]
+   associated  subprogram is primitive. Redundant[Unlike most class-wide 
+   aspects, Stable_Properties'Class is not inherited by descendant subprograms,
+   but the enhanced class-wide postconditions are inherited in the normal manner.]
 
 Modify 7.3.4(14/5):
 
@@ -95,7 +97,7 @@
 definition}[subprogram_property_aspect_definition] for a subprogram *S*:
 
 Replace 13.1.1(4/5) with: (this includes the change of AI12-0212-1 - 
-note that the syntac change is missing from that AI)
+note that the syntax change is missing from that AI)
 
 aspect_definition ::= 
    name | expression | identifier | aggregate
@@ -119,6 +121,20 @@
 
     type Ugh is ...
         when Stable_Properties => (Foo, Bar), Nonblocking, Pack;
+
+!corrigendum 7.3.4(0)
+
+@dinsc
+Just enough to force a conflict. The actual text is found in the conflict
+file.
+
+!corrigendum 13.1.1(4/3)
+
+@drepl
+@xcode<@fa<aspect_definition ::= name | expression | identifier>>
+@dby
+@xcode<@fa<aspect_definition>@fa< ::=>
+   @fa<name>@fa< | >@fa<expression>@fa< | >@fa<identifier>@fa< | >@fa<aggregate>>
 
 !ASIS
 

Questions? Ask the ACAA Technical Agent