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

--- ai05s/ai05-0206-1.txt	2011/03/18 00:11:53	1.5
+++ ai05s/ai05-0206-1.txt	2011/05/03 04:19:08	1.6
@@ -1,10 +1,11 @@
-!standard  A(5/3)                                    11-03-17  AI05-0206-1/04
+!standard  A(5/3)                                    11-05-02  AI05-0206-1/05
 !standard  E.2(5)
 !standard  E.2(9)
 !standard  E.2(10)
 !standard  E.2.2(6)
 !standard  E.2.3(8)
 !class binding interpretation 10-02-15
+!status Amendment 2012 11-05-02
 !status ARG Approved  8-0-0  11-03-17
 !status work item 10-02-15
 !status received 10-01-15
@@ -86,14 +87,14 @@
     unrestricted;
 
 Modify E.2.2(6):
-it shall depend semantically only on declared pure, shared passive, or other
+it shall depend semantically only on declared pure, shared passive, [or] other
 remote types library units{, or preelaborated normal library units that are
 mentioned only in private with clauses};
 
 Modify E.2.3(8):
 The declaration of an RCI library unit shall be preelaborable (see 10.2.1), and
 shall depend semantically only upon declared pure, shared passive, remote types,
-or other remote call interface library units{, or preelaborated normal library
+[or] other remote call interface library units{, or preelaborated normal library
 units that are mentioned only in private with clauses}.
 
 
@@ -141,8 +142,76 @@
      of a remote types parent package since they are private to the abstraction.
 
 
---!corrigendum A(5/3)
+!comment !corrigendum A(5/3): the change is deleted from AI05-0060-1, since we
+!comment don't have a way to add, then delete changes.
 
+!corrigendum E.2(5)
+
+@drepl
+The various categories of library units and the associated restrictions are described
+in this clause and its subclauses. The categories are related hierarchically in that
+the library units of one category can depend semantically only on library units of
+that category or an earlier one, except that the body of a remote types or remote
+call interface library unit is unrestricted.
+@dby
+The various categories of library units and the associated restrictions are
+described in this clause and its subclauses. The categories are related
+hierarchically in that the library units of one category can depend semantically
+only on library units of that category or an earlier one, except that the body
+of a remote types or remote call interface library unit is unrestricted and the
+declaration of a remote types or remote call interface library unit may depend
+on preelaborated normal library units that are mentioned only in private with
+clauses.
+
+!corrigendum E.2(9)
+
+@drepl
+@xhang<@xterm<Remote Types>
+The declaration of the library unit can depend only on other remote types library
+units, or one of the above; the body of the library unit is unrestricted;>
+@dby
+@xhang<@xterm<Remote Types>
+The declaration of the library unit can depend only on other remote types library
+units, or one of the above, or preelaborated normal library units
+that are mentioned only in private with clauses; the body of the library
+unit is unrestricted;>
+
+!corrigendum E.2(10)
+
+@drepl
+@xhang<@xterm<Remote Call Interface>
+The declaration of the library unit can depend only on other remote call
+interfaces, or one of the above; the body of the library unit is
+unrestricted;>
+@dby
+@xhang<@xterm<Remote Call Interface>
+The declaration of the library unit can depend only on other remote call
+interfaces, or one of the above, or preelaborated normal library units that
+are mentioned only in private with clauses; the body of the library unit is
+unrestricted;>
+
+!corrigendum E.2.2(6)
+
+@drepl
+@xbullet<it shall depend semantically only on declared pure, shared passive, or other
+remote types library units{, or preelaborated normal library units that are
+mentioned only in private with clauses};>
+@dby
+@xbullet<it shall depend semantically only on declared pure, shared passive, other
+remote types library units, or preelaborated normal library units that are
+mentioned only in private with clauses;>
+
+!corrigendum E.2.3(8)
+
+@drepl
+The declaration of an RCI library unit shall be preelaborable (see 10.2.1), and
+shall depend semantically only upon declared pure, shared passive, remote types,
+or other remote call interface library units.
+@dby
+The declaration of an RCI library unit shall be preelaborable (see 10.2.1), and
+shall depend semantically only upon declared pure, shared passive, remote types,
+other remote call interface library units, or preelaborated normal library
+units that are mentioned only in private with clauses.
 
 !ACATS test