--- 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