Annex L Language-Defined Pragmas
This Reference Manual output has not been verified, and may contain omissions or errors. Report any problems on the tracking issue
This Annex summarizes the definitions given elsewhere of the language-defined pragmas.
pragma Admission_Policy (policy_identifier); — See D.4.1.
This paragraph was deleted.
pragma All_Calls_Remote[(library_unit_name)]; — See J.15.15.
pragma Assert([Check =>] boolean_expression[, [Message =>] string_expression]); — See 11.4.2.
pragma Assertion_Policy(policy_identifier); — See 11.4.2.
pragma Assertion_Policy(
assertion_aspect_mark => policy_identifier
{, assertion_aspect_mark => policy_identifier}); — See 11.4.2.
This paragraph was deleted.
pragma Asynchronous (local_name); — See J.15.13.
This paragraph was deleted.
pragma Atomic (local_name); — See J.15.8.
This paragraph was deleted.
pragma Atomic_Components (array_local_name); — See J.15.8.
This paragraph was deleted.
pragma Attach_Handler (handler_name, expression); — See J.15.7.
pragma Conflict_Check_Policy (policy_identifier[, policy_identifier]); — See 9.10.1.
This paragraph was deleted.
This paragraph was deleted.
pragma Convention([Convention =>] convention_identifier,[Entity =>] local_name); — See J.15.5.
pragma CPU (expression); — See J.15.9.
pragma Default_Storage_Pool (storage_pool_indicator); — See 13.11.3.
pragma Detect_Blocking; — See H.5.
pragma Discard_Names[([On => ] local_name)]; — See C.5.
pragma Dispatching_Domain (expression); — See J.15.10.
pragma Elaborate(library_unit_name{, library_unit_name}); — See 10.2.1.
pragma Elaborate_All(library_unit_name{, library_unit_name}); — See 10.2.1.
This paragraph was deleted.
pragma Elaborate_Body[(library_unit_name)]; — See J.15.14.
This paragraph was deleted.
pragma Export(
[Convention =>] convention_identifier, [Entity =>] local_name
[, [External_Name =>] external_name_string_expression]
[, [Link_Name =>] link_name_string_expression]); — See J.15.5.
pragma Generate_Deadlines; — See D.2.6.
This paragraph was deleted.
pragma Import(
[Convention =>] convention_identifier, [Entity =>] local_name
[, [External_Name =>] external_name_string_expression]
[, [Link_Name =>] link_name_string_expression]); — See J.15.5.
pragma Independent (component_local_name); — See J.15.8.
pragma Independent_Components (local_name); — See J.15.8.
This paragraph was deleted.
pragma Inline (name{, name}); — See J.15.1.
pragma Inspection_Point[(object_name {, object_name})]; — See H.3.2.
This paragraph was deleted.
pragma Interrupt_Handler (handler_name); — See J.15.7.
This paragraph was deleted.
pragma Interrupt_Priority [(expression);] — See J.15.11.
pragma Linker_Options(string_expression); — See B.1.
pragma List(identifier); — See 2.8.
pragma Locking_Policy(policy_identifier); — See D.3.
This paragraph was deleted.
pragma No_Return (subprogram_local_name{, subprogram_local_name}); — See J.15.2.
pragma Normalize_Scalars; — See H.1.
pragma Optimize(identifier); — See 2.8.
This paragraph was deleted.
pragma Pack (first_subtype_local_name); — See J.15.3.
pragma Page; — See 2.8.
pragma Partition_Elaboration_Policy (policy_identifier); — See H.6.
This paragraph was deleted.
pragma Preelaborable_Initialization(direct_name); — See J.15.14.
This paragraph was deleted.
pragma Preelaborate[(library_unit_name)]; — See J.15.14.
This paragraph was deleted.
pragma Priority (expression); — See J.15.11.
pragma Priority_Specific_Dispatching (
policy_identifier, first_priority_expression, last_priority_expression); — See D.2.2.
pragma Profile (profile_identifier {, profile_pragma_argument_association}); — See 13.12.
This paragraph was deleted.
This paragraph was deleted.
pragma Pure[(library_unit_name)]; — See J.15.14.
pragma Queuing_Policy(policy_identifier); — See D.4.
This paragraph was deleted.
pragma Relative_Deadline (relative_deadline_expression); — See J.15.12.
This paragraph was deleted.
pragma Remote_Call_Interface[(library_unit_name)]; — See J.15.15.
This paragraph was deleted.
pragma Remote_Types[(library_unit_name)]; — See J.15.15.
pragma Restrictions(restriction{, restriction}); — See 13.12.
pragma Reviewable; — See H.3.1.
This paragraph was deleted.
pragma Shared_Passive[(library_unit_name)]; — See J.15.15.
This paragraph was deleted.
pragma Storage_Size (expression); — See J.15.4.
pragma Suppress(identifier); — See 11.5.
pragma Task_Dispatching_Policy(policy_identifier); — See D.2.2.
This paragraph was deleted.
pragma Unchecked_Union (first_subtype_local_name); — See J.15.6.
pragma Unsuppress(identifier); — See 11.5.
This paragraph was deleted.
pragma Volatile (local_name); — See J.15.8.
This paragraph was deleted.
pragma Volatile_Components (array_local_name); — See J.15.8.