Contents Index Search Previous Next
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
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.
Contents Index Search Previous Next Legal