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

Differences between 1.11 and version 1.12
Log of other versions for file ai05s/ai05-0243-1.txt

--- ai05s/ai05-0243-1.txt	2011/09/29 06:34:03	1.11
+++ ai05s/ai05-0243-1.txt	2011/10/21 06:42:22	1.12
@@ -1,4 +1,4 @@
-!standard 10.2.1(11/3)                              11-09-21    AI05-0243-1/06
+!standard 10.2.1(11/3)                              11-10-14    AI05-0243-1/07
 !standard 10.2.1(17/3)
 !standard A.3(1/2)
 !standard E.2(2)
@@ -6,6 +6,8 @@
 !standard E.2(4/1)
 !standard E.2(7)
 !standard E.2(8)
+!standard E.2(9)
+!standard E.2(10)
 !standard E.2.1(4)
 !standard E.2.1(6)
 !standard E.2.2(4)
@@ -163,12 +165,22 @@
 
 Modify E.2(7):
 
-Can depend only on other declared pure library units {and upon limited views};
+Can depend only on other declared pure library units {or upon limited views};
 
 Modify E.2(8):
 
-Can depend only on other shared passive [or declared pure] library units{; or on one of the above};
+Can depend only on other shared passive or declared pure library units{, or upon limited views};
 
+Modify E.2(9):
+
+can depend only on other remote types library
+units, or {any}[one] of the above {library unit categories, or limited views},
+
+Modify E.2(10):
+
+can depend only on other remote call interfaces, or {any}[one] of the above
+{library unit categories, or limited views},
+
 Replace E.2.1(4):
 
 A pragma Shared_Passive is used to specify that a library unit is a *shared passive
@@ -385,16 +397,41 @@
 @xhang<@xterm<Declared Pure>Can depend only on other declared pure library units;>
 @dby
 @xhang<@xterm<Declared Pure>Can depend only on other declared pure library units
-and upon limited views;>
+or upon limited views;>
 
 !corrigendum E.2(8)
 
 @drepl
 @xhang<@xterm<Shared Passive>Can depend only on other shared passive or declared
 pure library units;>
+@dby
+@xhang<@xterm<Shared Passive>Can depend only on other shared passive or declared
+pure library units, or upon limited views;>
+
+!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 any of the above library unit categories, or limited views;
+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<Shared Passive>Can depend only on other shared passive library units,
-or on one of the above;>
+@xhang<@xterm<Remote Call Interface>
+The declaration of the library unit can depend only on other remote call
+interfaces, or any of the above library unit categories, or limited views;
+the body of the library unit is unrestricted;>
 
 !corrigendum E.2.1(4)
 

Questions? Ask the ACAA Technical Agent