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.
2.1/2
2.2/2
2.3/3
3/3
This paragraph was
deleted.
3.1/3
4/3
This paragraph was
deleted.
4.1/3
5/3
This paragraph was
deleted.
5.1/3
6/3
This paragraph was
deleted.
6.1/3
7/3
This paragraph was
deleted.
8/3
This paragraph was
deleted.
8.1/3
8.2/3
8.3/3
8.4/2
pragma Detect_Blocking;
— See
H.5.
9
9.1/3
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/3
This paragraph was
deleted.
13.1/3
14/3
This paragraph was
deleted.
14.1/3
14.2/3
14.3/3
15/3
This paragraph was
deleted.
15.1/3
16
pragma Inspection_Point[(
object_name
{,
object_name})];
— See
H.3.2.
17/3
This paragraph was
deleted.
17.1/3
pragma Interrupt_Handler
(
handler_name);
— See
J.15.7.
18/3
This paragraph was
deleted.
18.1/3
19
20
21
21.1/3
This paragraph
was deleted.
21.2/3
22
pragma Normalize_Scalars;
— See
H.1.
23
24/3
This paragraph was
deleted.
24.1/3
25
25.1/2
pragma Partition_Elaboration_Policy
(
policy_identifier);
— See
H.6.
25.2/2
26
pragma Preelaborate[(
library_unit_name)];
— See
10.2.1.
27/3
This paragraph was
deleted.
27.1/3
27.2/2
27.3/3
27.4/3
This paragraph
was deleted.
28
29
29.1/3
This paragraph
was deleted.
29.2/3
30
pragma Remote_Call_Interface[(
library_unit_name)];
— See
E.2.3.
31
pragma Remote_Types[(
library_unit_name)];
— See
E.2.2.
32
33
pragma Reviewable;
— See
H.3.1.
34
pragma Shared_Passive[(
library_unit_name)];
— See
E.2.1.
35/3
This paragraph was
deleted.
35.1/3
36
37
37.1/3
This paragraph
was deleted.
37.2/3
37.3/2
38/3
This paragraph was
deleted.
38.1/3
39/3
This paragraph was
deleted.
39.1/3
Wording Changes from Ada 83
39.a
Pragmas List, Page, and Optimize are now officially
defined in
2.8, “
Pragmas”.
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe