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

--- ai05s/ai05-0241-1.txt	2011/02/16 06:15:23	1.3
+++ ai05s/ai05-0241-1.txt	2011/03/12 06:02:47	1.4
@@ -1,6 +1,11 @@
-!standard  13.12.1(1/2)                              11-02-11    AI05-0241-1/02
+!standard  13.12.1(1/2)                              11-03-11    AI05-0241-1/03
 !standard  13.12.1(5/2)
+!standard  13.12.1(6/2)
+!standard  13.12.1(7/2)
+!standard  13.12.1(8/2)
 !class Amendment 11-02-09
+!status Amendment 2012 11-03-11
+!status ARG Approved  7-0-1  10-02-19
 !status work item 11-02-09
 !status received 11-01-24
 !priority Low
@@ -11,8 +16,8 @@
 
 Two aspect-related restrictions are defined:
 
-    pragma Restrictions(No_Implementation_Aspects);
-    pragma Restrictions(No_Aspect_Specification => <aspect-identifier>);
+    pragma Restrictions(No_Implementation_Aspect_Specifications);
+    pragma Restrictions(No_Specification_of_Aspect => <aspect-identifier>);
 
 !problem
 
@@ -29,9 +34,9 @@
 
 Add after 13.12.1(1/2):
 
-              No_Implementation_Aspects
-              There are no implementation-defined aspects, attributes, pragmas,
-              or pragma arguments. This restriction applies only to the current
+              No_Implementation_Aspect_Specifications
+              There are no implementation-defined aspects specified by an
+              aspect_specification. This restriction applies only to the current
               compilation or environment, not the entire partition.
 
 AARM note:
@@ -49,15 +54,15 @@
 
 The following restriction_parameter_identifier{s are} [is] language defined:
 
-Add after 13.12.1(5/2):
+Add after 13.12.1(6/2):
 
-              No_Aspect_Specification
-	      Identifies an aspect for which no aspect specification,
+              No_Specification_of_Aspect
+	      Identifies an aspect for which no aspect_specification,
 	      attribute_definition_clause, or pragma is given.
 
-                               Legality Rules
+Add after 13.12.1(7/2):
 
-The restriction_parameter_argument of a No_Aspect_Specification restriction
+The restriction_parameter_argument of a No_Specification_of_Aspect restriction
 shall be an identifier; this identifier does not denote any declaration.
 
 AARM note:
@@ -95,6 +100,54 @@
     pragma Restrictions(No_Implementation_Aspects);
 
     pragma Restrictions(No_Aspect_Specification => Dynamic_Predicate);
+
+!corrigendum 13.12.1(1/2)
+
+@dinsa
+The following @i<restriction_>@fa<identifier>s are language-defined (additional
+restrictions are defined in the Specialized Needs Annexes):
+@dinst
+@xhang<@xterm<No_Implementation_Aspect_Specifications>
+There are no implementation-defined aspects specified by an
+@fa<aspect_specification>. This restriction applies only to the current
+compilation or environment, not the entire partition.>
+
+!corrigendum 13.12.1(5/2)
+
+@drepl
+The following @i<restriction_parameter_>@fa<identifier> is language defined:
+@dby
+The following @i<restriction_parameter_>@fa<identifier>s are language defined:
+
+!corrigendum 13.12.1(6/2)
+
+@dinsa
+@xhang<@xterm<No_Dependence>
+Specifies a library unit on which there are no semantic dependences.>
+@dinst
+@xhang<@xterm<No_Specification_of_Aspect>
+Identifies an aspect for which no @fa<aspect_specification>,
+@fa<attribute_definition_clause>, or @fa<pragma> is given.
+
+!corrigendum 13.12.1(7/2)
+
+@dinsa
+The @fa<restriction_parameter_argument> of a No_Dependence restriction shall be
+a @fa<name>; the @fa<name> shall have the form of a full expanded name of a
+library unit, but need not denote a unit present in the environment.
+@dinst
+The @fa<restriction_parameter_argument> of a No_Specification_of_Aspect restriction
+shall be an @fa<identifier>; this @fa<identifier> does not denote any declaration.
+
+!corrigendum 13.12.1(8/2)
+
+@drepl
+No compilation unit included in the partition shall depend semantically
+on the library unit identified by the @fa<name>.
+@dby
+No compilation unit included in the partition shall depend semantically
+on the library unit identified by the @fa<name> of a No_Dependence restriction.
+
 
 !ACATS test