Language-Defined Pragmas
Author: JTC1/SC22/WG9/ARG, by Randall Brukardt, ARG Editor

Ada Reference Manual — Legal Information

# 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
pragma Assert([Check =>] boolean_ expression[, [Message =>] string_ expression]); — See 11.4.2.
2.2/2
pragma Assertion_Policy(policy_ identifier); — See 11.4.2.
2.3/3
pragma Assertion_Policy(
assertion_ aspect_mark => policy_ identifier
{, assertion_ aspect_mark => policy_ identifier}); — See 11.4.2.
3/3
This paragraph was deleted.
3.1/3
pragma Asynchronous (local_name); — See J.15.13.
4/3
This paragraph was deleted.
4.1/3
pragma Atomic (local_name); — See J.15.8.
5/3
This paragraph was deleted.
5.1/3
pragma Atomic_Components (array_ local_name); — See J.15.8.
6/3
This paragraph was deleted.
6.1/3
pragma Attach_Handler (handler_ name, expression); — See J.15.7.
7/3
This paragraph was deleted.
8/3
This paragraph was deleted.
8.1/3
pragma Convention([Convention =>] convention_ identifier,[Entity =>] local_name); — See J.15.5.
8.2/3
pragma CPU (expression); — See J.15.9.
8.3/3
pragma Default_Storage_Pool (storage_pool_indicator); — See 13.11.3.
8.4/2
pragma Detect_Blocking; — See H.5.
9
pragma Discard_Names[([On => ] local_name)]; — See C.5.
9.1/3
pragma Dispatching_Domain (expression); — See J.15.10.
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
pragma Export(
[Convention =>] convention_ identifier, [Entity =>] local_name
[, [External_Name =>] external_name_string_ expression]
[, [Link_Name =>] link_name_string_ expression]); — See J.15.5.
14/3
This paragraph was deleted.
14.1/3
pragma Import(
[Convention =>] convention_ identifier, [Entity =>] local_name
[, [External_Name =>] external_name_string_ expression]
[, [Link_Name =>] link_name_string_ expression]); — See J.15.5.
14.2/3
pragma Independent (component_ local_name); — See J.15.8.
14.3/3
pragma Independent_Components (local_name); — See J.15.8.
15/3
This paragraph was deleted.
15.1/3
pragma Inline (name{, name}); — See J.15.1.
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
pragma Interrupt_Priority [(expression);] — See J.15.11.
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.
21.1/3
This paragraph was deleted.
21.2/3
pragma No_Return (procedure_ local_name{, procedure_ local_name}); — See J.15.2.
22
pragma Normalize_Scalars; — See H.1.
23
pragma Optimize(identifier); — See 2.8.
24/3
This paragraph was deleted.
24.1/3
pragma Pack (first_subtype_ local_name); — See J.15.3.
25
pragma Page; — See 2.8.
25.1/2
pragma Partition_Elaboration_Policy (policy_ identifier); — See H.6.
25.2/2
pragma Preelaborable_Initialization(direct_name); — See 10.2.1.
26
pragma Preelaborate[(library_unit_ name)]; — See 10.2.1.
27/3
This paragraph was deleted.
27.1/3
pragma Priority (expression); — See J.15.11.
27.2/2
pragma Priority_Specific_Dispatching (
policy_ identifier, first_priority_ expression, last_priority_ expression); — See D.2.2.
27.3/3
pragma Profile (profile_ identifier {, profile_ pragma_argument_association}); — See 13.12.
27.4/3
This paragraph was deleted.
28
pragma Pure[(library_unit_ name)]; — See 10.2.1.
29
pragma Queuing_Policy(policy_ identifier); — See D.4.
29.1/3
This paragraph was deleted.
29.2/3
pragma Relative_Deadline (relative_deadline_ expression); — See J.15.12.
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/3
This paragraph was deleted.
35.1/3
pragma Storage_Size (expression); — See J.15.4.
36
pragma Suppress(identifier); — See 11.5.
37
pragma Task_Dispatching_Policy(policy_ identifier); — See D.2.2.
37.1/3
This paragraph was deleted.
37.2/3
pragma Unchecked_Union (first_subtype_ local_name); — See J.15.6.
37.3/2
pragma Unsuppress(identifier); — See 11.5.
38/3
This paragraph was deleted.
38.1/3
pragma Volatile (local_name); — See J.15.8.
39/3
This paragraph was deleted.
39.1/3
pragma Volatile_Components (array_ local_name); — See J.15.8.

Ada 2005 and 2012 Editions sponsored in part by Ada-Europe