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

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

--- ai05s/ai05-0243-1.txt	2011/06/03 05:04:27	1.10
+++ ai05s/ai05-0243-1.txt	2011/09/29 06:34:03	1.11
@@ -1,4 +1,4 @@
-!standard 10.2.1(11/3)                              11-04-07    AI05-0243-1/05
+!standard 10.2.1(11/3)                              11-09-21    AI05-0243-1/06
 !standard 10.2.1(17/3)
 !standard A.3(1/2)
 !standard E.2(2)
@@ -126,16 +126,17 @@
 
 Replace E.2(2):
 
-A *categorization pragma* is a library unit pragma (see 10.1.5) that restricts the
-declarations, child units, or semantic dependences of the library unit to which it
-applies; each categorization pragma specifies a corresponding *categorization aspect*.
-A *categorized library unit* is a library unit that has a categorization aspect that
-is True.
+A *categorization pragma* is a library unit pragma (see 10.1.5) that specifies
+a corresponding *categorization aspect*. A categorization aspect restricts the
+declarations, child units, or semantic dependences of the library unit to which it 
+applies. A *categorized library unit* is a library unit that has a categorization
+aspect that is True.
 
 Replace E.2(3):
 The pragmas Shared_Passive, Remote_Types, and Remote_Call_Interface are categorization
 pragmas, and the associated aspects are categorization aspects. In addition, for the
-purposes of this Annex, the aspect Pure (see 10.2.1) is considered a categorization aspect.
+purposes of this Annex, the aspect Pure (see 10.2.1) is considered a categorization aspect
+and pragma Pure is considered a categorization pragma.
 
 [Editor's note: We don't actually need the first sentence, other than that it pulls
 in the library unit pragma rules -- and we do need that.]
@@ -343,11 +344,11 @@
 applies. A @i<categorized library unit> is a library unit to which a categorization
 pragma applies.
 @dby
-A @i<categorization pragma> is a library unit pragma (see 10.1.5) that restricts the
-declarations, child units, or semantic dependences of the library unit to which it
-applies; each categorization pragma specifies a corresponding @i<categorization aspect>.
-A @i<categorized library unit> is a library unit that has a categorization aspect that
-is True.
+A @i<categorization pragma> is a library unit pragma (see 10.1.5) that specifies
+a corresponding @i<categorization aspect>. A categorization aspect restricts the
+declarations, child units, or semantic dependences of the library unit to which it 
+applies. A @i<categorized library unit> is a library unit that has a categorization
+aspect that is True.
 
 !corrigendum E.2(3)
 
@@ -358,7 +359,8 @@
 @dby
 The pragmas Shared_Passive, Remote_Types, and Remote_Call_Interface are categorization
 pragmas, and the associated aspects are categorization aspects. In addition, for the
-purposes of this Annex, the aspect Pure (see 10.2.1) is considered a categorization aspect.
+purposes of this Annex, the aspect Pure (see 10.2.1) is considered a categorization aspect
+and pragma Pure is considered a categorization pragma.
 
 !corrigendum E.2(4/1)
 

Questions? Ask the ACAA Technical Agent