CVS difference for ai12s/ai12-0181-1.txt
--- ai12s/ai12-0181-1.txt 2016/01/09 01:22:42 1.2
+++ ai12s/ai12-0181-1.txt 2016/07/12 04:10:14 1.3
@@ -1,7 +1,9 @@
-!standard 13.1(9/4) 16-01-08 AI12-0181-1/02
+!standard 13.1(9/4) 16-07-11 AI12-0181-1/03
!standard 13.1(9.1/4)
!standard 13.14(19)
!class binding interpretation 16-01-07
+!status Amendment 1-2012 16-07-11
+!status ARG Approved 10-0-1 16-06-11
!status work item 16-01-07
!status received 15-12-07
!priority Low
@@ -85,6 +87,28 @@
that conclusion, as it is complete for operational aspects. If it was a problem
for the author, it has to be harder for other readers, thus we add the
missing rule in 13.1(9/4) and replace the redundant brackets on 13.14(19).
+
+!corrigendum 13.1(9/4)
+
+@drepl
+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), and before
+the subtype or type is frozen (see 13.14).
+@dby
+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).
+
+!corrigendum 13.1(9.1/4)
+
+@dinsa
+An operational item that directly specifies an aspect of an entity shall
+appear before the entity is frozen (see 13.14).
+@dinst
+An expression or name that freezes an entity shall not occur within an
+aspect_specification that specifies a representation or operational aspect
+of that entity.
!ASIS
Questions? Ask the ACAA Technical Agent