Prev | Up | Next | Back | Forward
TOC -- / --.-- / --.--.-- | Index | Search | Syntax | Help


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

Prev | Up | Next | Back | Forward
TOC -- / --.-- / --.--.-- | Index | Search | Syntax | Help

Ada WWW Home -- Email comments, additions, corrections, gripes, kudos, etc. to:

Magnus Kempe -- Magnus.Kempe@di.epfl.ch
Copyright statement
Page last generated: 95-03-12