L Language-Defined Pragmas (informative)

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

2. pragma All_Calls_Remote[(library_unit_name)];
   -- See section E.2.3 Remote Call Interface Library Units.
   

3. pragma Asynchronous(local_name);
   -- See section E.4.1 Pragma Asynchronous.
   

4. pragma Atomic(local_name);
   -- See section C.6 Shared Variable Control.
   

5. pragma Atomic_Components(array_local_name);
   -- See section C.6 Shared Variable Control.
   

6. pragma Attach_Handler(handler_name, expression);
   -- See section C.3.1 Protected Procedure Handlers.
   

7. pragma Controlled(first_subtype_local_name);
   -- See section 13.11.3 Pragma Controlled.
   

8. pragma Convention([Convention =>] convention_identifier,
     [Entity =>] local_name);
   -- See section B.1 Interfacing Pragmas.
   

9. pragma Discard_Names[([On => ] local_name)];
   -- See section C.5 Pragma Discard_Names.
   

10. pragma Elaborate(library_unit_name{, library_unit_name});
    -- See section 10.2.1 Elaboration Control.
    

11. pragma Elaborate_All(library_unit_name{, library_unit_name});
    -- See section 10.2.1 Elaboration Control.
    

12. pragma Elaborate_Body[(library_unit_name)];
    -- See section 10.2.1 Elaboration Control.
    

13. pragma Export( [Convention =>] convention_identifier,
      [Entity =>] local_name [, [External_Name =>] string_expression]
      [, [Link_Name =>] string_expression]);
    -- See section B.1 Interfacing Pragmas.
    

14. pragma Import( [Convention =>] convention_identifier,
      [Entity =>] local_name [, [External_Name =>] string_expression]
      [, [Link_Name =>] string_expression]);
    -- See section B.1 Interfacing Pragmas.
    

15. pragma Inline(name {, name});
    -- See section 6.3.2 Inline Expansion of Subprograms.
    

16. pragma Inspection_Point[(object_name {, object_name})];
    -- See section H.3.2 Pragma Inspection_Point.
    

17. pragma Interrupt_Handler(handler_name);
    -- See section C.3.1 Protected Procedure Handlers.
    

18. pragma Interrupt_Priority[(expression)];
    -- See section D.1 Task Priorities.
    

19. pragma Linker_Options(string_expression);
    -- See section B.1 Interfacing Pragmas.
    

20. pragma List(identifier);
    -- See section 2.8 Pragmas.
    

21. pragma Locking_Policy(policy_identifier);
    -- See section D.3 Priority Ceiling Locking.
    

22. pragma Normalize_Scalars;
    -- See section H.1 Pragma Normalize_Scalars.
    

23. pragma Optimize(identifier);
    -- See section 2.8 Pragmas.
    

24. pragma Pack(first_subtype_local_name);
    -- See section 13.2 Pragma Pack.
    

25. pragma Page;
    -- See section 2.8 Pragmas.
    

26. pragma Preelaborate[(library_unit_name)];
    -- See section 10.2.1 Elaboration Control.
    

27. pragma Priority(expression);
    -- See section D.1 Task Priorities.
    

28. pragma Pure[(library_unit_name)];
    -- See section 10.2.1 Elaboration Control.
    

29. pragma Queuing_Policy(policy_identifier);
    -- See section D.4 Entry Queuing Policies.
    

30. pragma Remote_Call_Interface[(library_unit_name)];
    -- See section E.2.3 Remote Call Interface Library Units.
    

31. pragma Remote_Types[(library_unit_name)];
    -- See section E.2.2 Remote Types Library Units.
    

32. pragma Restrictions(restriction{, restriction});
    -- See section 13.12 Pragma Restrictions.
    

33. pragma Reviewable;
    -- See section H.3.1 Pragma Reviewable.
    

34. pragma Shared_Passive[(library_unit_name)];
    -- See section E.2.1 Shared Passive Library Units.
    

35. pragma Storage_Size(expression);
    -- See section 13.3 Representation Attributes.
    

36. pragma Suppress(identifier [, [On =>] name]);
    -- See section 11.5 Suppressing Checks.
    

37. pragma Task_Dispatching_Policy(policy_identifier );
    -- See section D.2.2 The Standard Task Dispatching Policy.
    

38. pragma Volatile(local_name);
    -- See section C.6 Shared Variable Control.
    

39. pragma Volatile_Components(array_local_name);
    -- See section C.6 Shared Variable Control.
    

Go to the first, previous, next, last section, table of contents.