(2) pragma All_Calls_Remote[(library_unit_name)]; -- See E.2.3. (3) pragma Asynchronous(local_name); -- See E.4.1. (4) pragma Atomic(local_name); -- See C.6. (5) pragma Atomic_Components(array_local_name); -- See C.6. (6) pragma Attach_Handler(handler_name, expression); -- See C.3.1. (7) pragma Controlled(first_subtype_local_name); -- See 13.11.3. (8) pragma Convention([Convention =>] convention_identifier,[Entity =>] local_name); -- See B.1. (9) pragma Discard_Names[([On => ] local_name)]; -- See C.5. (10) pragma Elaborate(library_unit_name{, library_unit_name}); -- See 10.2.1. (11) pragma Elaborate_All(library_unit_name{, library_unit_name}); -- See 10.2.1. (12) pragma Elaborate_Body[(library_unit_name)]; -- See 10.2.1. (13) pragma Export( [Convention =>] convention_identifier, [Entity =>] local_name [, [External_Name =>] string_expression] [, [Link_Name =>] string_expression]); -- See B.1. (14) pragma Import( [Convention =>] convention_identifier, [Entity =>] local_name [, [External_Name =>] string_expression] [, [Link_Name =>] string_expression]); -- See B.1. (15) pragma Inline(name {, name}); -- See 6.3.2. (16) pragma Inspection_Point[(object_name {, object_name})]; -- See H.3.2. (17) pragma Interrupt_Handler(handler_name); -- See C.3.1. (18) pragma Interrupt_Priority[(expression)]; -- See D.1. (19) pragma Linker_Options(string_expression); -- See B.1. (20) pragma List(identifier); -- See 2.8. (21) pragma Locking_Policy(policy_identifier); -- See D.3. (22) pragma Normalize_Scalars; -- See H.1. (23) pragma Optimize(identifier); -- See 2.8. (24) pragma Pack(first_subtype_local_name); -- See 13.2. (25) pragma Page; -- See 2.8. (26) pragma Preelaborate[(library_unit_name)]; -- See 10.2.1. (27) pragma Priority(expression); -- See D.1. (28) pragma Pure[(library_unit_name)]; -- See 10.2.1. (29) pragma Queuing_Policy(policy_identifier); -- See D.4. (30) pragma Remote_Call_Interface[(library_unit_name)]; -- See E.2.3. (31) pragma Remote_Types[(library_unit_name)]; -- See E.2.2. (32) pragma Restrictions(restriction{, restriction}); -- See 13.12. (33) pragma Reviewable; -- See H.3.1. (34) pragma Shared_Passive[(library_unit_name)]; -- See E.2.1. (35) pragma Storage_Size(expression); -- See 13.3. (36) pragma Suppress(identifier [, [On =>] name]); -- See 11.5. (37) pragma Task_Dispatching_Policy(policy_identifier ); -- See D.2.2. (38) pragma Volatile(local_name); -- See C.6. (39) pragma Volatile_Components(array_local_name); -- See C.6.
-- Email comments, additions, corrections, gripes, kudos, etc. to:
Magnus Kempe -- Magnus.Kempe@di.epfl.ch