CVS difference for ai05s/ai05-0030-2.txt

Differences between 1.6 and version 1.7
Log of other versions for file ai05s/ai05-0030-2.txt

--- ai05s/ai05-0030-2.txt	2008/11/26 23:55:04	1.6
+++ ai05s/ai05-0030-2.txt	2009/04/04 02:43:39	1.7
@@ -1,4 +1,4 @@
-!standard  9.5(9)                                  08-04-21    AI05-0030-2/04
+!standard  9.5(9)                                  09-04-03    AI05-0030-2/05
 !standard  9.5.4(2)
 !standard  9.5.4(3)
 !standard  9.5.4(5)
@@ -41,6 +41,7 @@
 
 The form of a pragma Implemented is as follows
    pragma Implemented(*procedure_*local_name, implementation_kind);
+
    implementation_kind ::= By_Entry | By_Protected_Procedure | By_Any
 
                         Legality Rules
@@ -52,8 +53,8 @@
 procedure if there are several overloaded routines. No functions can be
 denoted, even if one or more procedures are also denoted.
 
-A pragma Implemented with implementation_kind By_Protected shall not be 
-applied to a primitive procedure of a task interface.
+A pragma Implemented with implementation_kind By_Protected_Procedure shall
+not be  applied to a primitive procedure of a task interface.
 
 A procedure for which the implementation_kind is specified as By_Entry 
 shall be implemented by an entry. A procedure for which the 
@@ -221,15 +222,16 @@
 @s8<@i<Syntax>>
 
 The form of a @fa<pragma> Implemented is as follows
-   @b<pragma> Implemented(@i<procedure_>@fa<local_name>, @fa<implementation_kind>);
-   @fa<implementation_kind> ::= By_Entry | By_Protected_Procedure | By_Any
+@xcode<   @ft<@b<pragma> Implemented(@i<procedure_>@fa<local_name>, @fa<implementation_kind>);>>
+
+@xcode<   @fa<implementation_kind ::= >@ft<By_Entry>@fa< | >@ft<By_Protected_Procedure>@fa< | >@ft<By_Any>>
 
 @s8<@i<Legality Rules>>
 
 The @i<procedure_>@fa<local_name> of a @fa<pragma> Implemented shall denote a 
 primitive procedure of a synchronized tagged type.
 
-A @fa<pragma> Implemented with @fa<implementation_kind> By_Protected
+A @fa<pragma> Implemented with @fa<implementation_kind> By_Protected_Procedure
 shall not be applied to a primitive procedure of a task interface.
 
 A procedure for which the @fa<implementation_kind> is specified as By_Entry 

Questions? Ask the ACAA Technical Agent