CVS difference for ai05s/ai05-0183-1.txt

--- ai05s/ai05-0183-1.txt	2010/11/18 07:07:35	1.13
+++ ai05s/ai05-0183-1.txt	2010/11/19 01:46:39	1.14
@@ -1,4 +1,4 @@
-!standard 3.2.1(3)                                 10-10-25  AI05-0183-1/06
+!standard 3.2.1(3)                                 10-11-18  AI05-0183-1/07
 !standard 3.2.2(2)
 !standard 3.3.1(2/2)
 !standard 3.8(6)
@@ -25,8 +25,10 @@
 !standard 13.1(0.1/2)
 !standard 13.3(5/1)
 !standard 13.3.1(0)
+!standard 13.14(7.1/2)
 !class amendment 09-11-01
 !status Amendment 2012 10-09-01
+!status ARG Approved  8-0-2  10-10-29
 !status work item 09-11-01
 !status received 09-11-01
 !priority Medium
@@ -300,9 +302,9 @@
 
   An operational item that directly specifies an aspect of a type shall
   appear before the type is frozen (see 13.14). If an operational item
-  is given that directly specifies an aspect of a type, then it is
-  illegal to give another operational item {or aspect_specification}
-  that directly specifies the same aspect of the type.
+  {or aspect_specification} is given that directly specifies an aspect
+  of a type, then it is illegal to give another operational item {or
+  aspect_specification} that directly specifies the same aspect of the type.
 
 Revise 13.3(5/1) as follows:
 
@@ -421,7 +423,7 @@
 
   If the freezing point of the associated entity comes before the end of
   the immediately enclosing declaration list, then each usage name in the
-  aspect_definition shall resolve to the same entity at both places.
+  aspect_definition shall resolve to the same declaration at both places.
 
   At most one occurrence of each aspect_mark is allowed within a single
   aspect_specification. The aspect identified by the aspect_mark
@@ -474,6 +476,11 @@
   later at points within the execution as specified elsewhere in this
   International Standard for the particular aspect.
 
+Add after 13.14(7.1/2):
+
+* At the freezing point of the entity associated with an aspect_specification,
+  any expressions or names within the aspect_specification cause freezing.
+
 !discussion
 
 This syntax was invented to allow pre- and postconditions to be specified
@@ -981,6 +988,15 @@
 (See discussion.)
 
 !ACATS test
+
+ACATS B-Tests should be generated for the legality rules here.
+
+ACATS C-Tests will be generated for specific aspects; there isn't a need to see if
+the clauses are supported individually.
+
+!ASIS
+
+[From Tucker.]
 
 !appendix