

                                   Annex L
                                (informative)

                          Language-Defined Pragmas


1     This Annex summarizes the definitions given elsewhere of the
language-defined pragmas.

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.

