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

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

--- ai12s/ai12-0222-1.txt	2017/04/14 05:49:50	1.1
+++ ai12s/ai12-0222-1.txt	2017/07/21 02:00:01	1.2
@@ -1,7 +1,9 @@
-!standard 13.1(9/5)                                    17-04-10  AI12-0222-1/01
+!standard 13.1(9/5)                                    17-07-20  AI12-0222-1/02
 !standard 13.1(9.1/4)
 !standard 13.1(9.2/5)
 !class binding interpretation 17-04-10
+!status Amendment 1-2012 17-07-20
+!status ARG Approved 8-0-2  17-06-16
 !status work item 17-04-10
 !status received 17-01-16
 !priority Medium
@@ -24,7 +26,7 @@
 that:
 
     package P is
-        type Priv is private with Size => 16;
+        type Priv is private with Size => 16; -- Should be illegal.
     private
         type Priv is range 1 .. 1000;
     end P;
@@ -33,7 +35,7 @@
 
     package P is
         type Priv is private;
-        for Priv'Size use 16;
+        for Priv'Size use 16; -- Illegal.
     private
         type Priv is range 1 .. 1000;
     end P;
@@ -72,9 +74,11 @@
 aspect of that entity.
 
 A representation aspect of a subtype or type shall not be specified (whether
-by a representation item or an aspect specification) before the type is
+by a representation item or an aspect_specification) before the type is
 completely defined (see 3.11.1).
 
+Adjust AARM notes as follows:
+
 Drop ", see next paragraph" from AARM 13.1(9.a/1); it stays after the first
 changed paragraph. AARM 13.1(9.c/1) would move after the new 13.1(9.2/5),
 but is otherwise unchanged.
@@ -93,12 +97,47 @@
 Note that we've included 13.1(9.2/5); it is unchanged but moved so that all
 of the freezing rules are together.
 
+!corrigendum 13.1(9/5)
+
+@drepl
+A representation item that directly specifies an aspect of an entity shall
+appear before the entity is frozen (see 13.14). In addition, a
+representation item that directly specifies an aspect of a subtype or type
+shall appear after the type is completely defined (see 3.11.1).
+@dby
+A representation item or operational item that directly specifies an aspect
+of an entity shall appear before the entity is frozen (see 13.14).
+
+!corrigendum 13.1(9.1/4)
+
+@drepl
+An operational item that directly specifies an aspect of an entity shall
+appear before the entity is frozen (see 13.14).
+@dby
+An @fa<expression> or @fa<name> that freezes an entity shall not occur within
+an @fa<aspect_specification> that specifies a representation or operational
+aspect of that entity.
+
+!corrigendum 13.1(9.2/5)
+
+@drepl
+An @fa<expression> or @fa<name> that freezes an entity shall not occur within
+an @fa<aspect_specification> that specifies a representation or operational
+aspect of that entity.
+@dby
+A representation aspect of a subtype or type shall not be specified (whether
+by a representation item or an @fa<aspect_specification>) before the type is
+completely defined (see 3.11.1).
+
+
 !ASIS
 
 No ASIS effect.
 
 !ACATS test
 
+An ACATS B-Test could be created to check this new rule, or the case added to
+an existing test.
 
 !appendix
 

Questions? Ask the ACAA Technical Agent