Это приложение обобщает определения предикатов языка, заданных в других местах.

pragma All_Calls_Remote[(library_unit_name)]; — См. E.2.3.

pragma Assert([Check =>] boolean_expression[, [Message =>] string_expression]); — См. 11.4.2.

pragma Assertion_Policy(policy_identifier); — См. 11.4.2.

pragma Asynchronous(local_name); — См. E.4.1.

pragma Atomic(local_name); — См. C.6.

pragma Atomic_Components(array_local_name); — См. C.6.

pragma Attach_Handler(handler_name, expression); — См. C.3.1.

pragma Controlled(first_subtype_local_name); — См. 13.11.3.

pragma Convention([Convention =>] convention_identifier,[Entity =>] local_name); — См. B.1.

pragma Detect_Blocking; — См. H.5.

pragma Discard_Names[([On => ] local_name)]; — См. C.5.

pragma Elaborate(library_unit_name{, library_unit_name}); — См. 10.2.1.

pragma Elaborate_All(library_unit_name{, library_unit_name}); — См. 10.2.1.

pragma Elaborate_Body[(library_unit_name)]; — См. 10.2.1.

pragma Export(
[Convention =>] convention_identifier, [Entity =>] local_name
[, [External_Name =>] string_expression] [, [Link_Name =>] string_expression]); — См. B.1.

pragma Import(
[Convention =>] convention_identifier, [Entity =>] local_name
[, [External_Name =>] string_expression] [, [Link_Name =>] string_expression]); — См. B.1.

pragma Inline(name {, name}); — См. 6.3.2.

pragma Inspection_Point[(object_name {, object_name})]; — См. H.3.2.

pragma Interrupt_Handler(handler_name); — См. C.3.1.

pragma Interrupt_Priority[(expression)]; — См. D.1.

pragma Linker_Options(string_expression); — См. B.1.

pragma List(identifier); — См. 2.8.

pragma Locking_Policy(policy_identifier); — См. D.3.

pragma No_Return(procedure_local_name{, procedure_local_name}); — См. 6.5.1.

pragma Normalize_Scalars; — См. H.1.

pragma Optimize(identifier); — См. 2.8.

pragma Pack(first_subtype_local_name); — См. 13.2.

pragma Page; — См. 2.8.

pragma Partition_Elaboration_Policy (policy_identifier); — См. H.6.

pragma Preelaborable_Initialization(direct_name); — См. 10.2.1.

pragma Preelaborate[(library_unit_name)]; — См. 10.2.1.

pragma Priority(expression); — См. D.1.

pragma Priority_Specific_Dispatching (
policy_identifier, first_priority_expression, last_priority_expression); — См. D.2.2.

pragma Profile (profile_identifier {, profile_pragma_argument_association}); — См. D.13.

pragma Pure[(library_unit_name)]; — См. 10.2.1.

pragma Queuing_Policy(policy_identifier); — См. D.4.

pragma Relative_Deadline (relative_deadline_expression); — См. D.2.6.

pragma Remote_Call_Interface[(library_unit_name)]; — См. E.2.3.

pragma Remote_Types[(library_unit_name)]; — См. E.2.2.

pragma Restrictions(restriction{, restriction}); — См. 13.12.

pragma Reviewable; — См. H.3.1.

pragma Shared_Passive[(library_unit_name)]; — См. E.2.1.

pragma Storage_Size(expression); — См. 13.3.

pragma Suppress(identifier); — См. 11.5.

pragma Task_Dispatching_Policy(policy_identifier); — См. D.2.2.

pragma Unchecked_Union (first_subtype_local_name); — См. B.3.3.

pragma Unsuppress(identifier); — См. 11.5.

pragma Volatile(local_name); — См. C.6.

pragma Volatile_Components(array_local_name); — См. C.6.