Руководство по Ada (Ada 2022)

Приложение L

(информативное)

Предикаты языка

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

pragma Admission_Policy (policy_идентификатор); — См. D.4.1.

Этот абзац был удален.

pragma All_Calls_Remote[(library_unit_имя)]; — См. J.15.15.

pragma Assert([Check =>] boolean_выражение[, [Message =>] string_выражение]); — См. 11.4.2.

pragma Assertion_Policy(policy_идентификатор); — См. 11.4.2.

pragma Assertion_Policy(
assertion_метка_аспекта => policy_идентификатор
{, assertion_метка_аспекта => policy_идентификатор}); — См. 11.4.2.

Этот абзац был удален.

pragma Asynchronous (локальное_имя); — См. J.15.13.

Этот абзац был удален.

pragma Atomic (локальное_имя); — См. J.15.8.

Этот абзац был удален.

pragma Atomic_Components (array_локальное_имя); — См. J.15.8.

Этот абзац был удален.

pragma Attach_Handler (handler_имя, выражение); — См. J.15.7.

pragma Conflict_Check_Policy (policy_идентификатор[, policy_идентификатор]); — См. 9.10.1.

Этот абзац был удален.

pragma Convention([Convention =>] convention_идентификатор,[Entity =>] локальное_имя); — См. J.15.5.

pragma CPU (выражение); — См. J.15.9.

pragma Default_Storage_Pool (индикатор_пула_памяти); — См. 13.11.3.

pragma Detect_Blocking; — См. H.5.

pragma Discard_Names[([On => ] локальное_имя)]; — См. C.5.

pragma Dispatching_Domain (выражение); — См. J.15.10.

pragma Elaborate(library_unit_имя{, library_unit_имя}); — См. 10.2.1.

pragma Elaborate_All(library_unit_имя{, library_unit_имя}); — См. 10.2.1.

Этот абзац был удален.

pragma Elaborate_Body[(library_unit_имя)]; — См. J.15.14.

Этот абзац был удален.

pragma Export(
[Convention =>] convention_идентификатор, [Entity =>] локальное_имя
[, [External_Name =>] external_name_string_выражение]
[, [Link_Name =>] link_name_string_выражение]); — См. J.15.5.

pragma Generate_Deadlines; — См. D.2.6.

Этот абзац был удален.

pragma Import(
[Convention =>] convention_идентификатор, [Entity =>] локальное_имя
[, [External_Name =>] external_name_string_выражение]
[, [Link_Name =>] link_name_string_выражение]); — См. J.15.5.

pragma Independent (component_локальное_имя); — См. J.15.8.

pragma Independent_Components (локальное_имя); — См. J.15.8.

Этот абзац был удален.

pragma Inline (имя{, имя}); — См. J.15.1.

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

Этот абзац был удален.

pragma Interrupt_Handler (handler_имя); — См. J.15.7.

Этот абзац был удален.

pragma Interrupt_Priority [(выражение);] — См. J.15.11.

pragma Linker_Options(string_выражение); — См. B.1.

pragma List(идентификатор); — См. 2.8.

pragma Locking_Policy(policy_идентификатор); — См. D.3.

Этот абзац был удален.

pragma No_Return (subprogram_локальное_имя{, subprogram_локальное_имя}); — См. J.15.2.

pragma Normalize_Scalars; — См. H.1.

pragma Optimize(идентификатор); — См. 2.8.

Этот абзац был удален.

pragma Pack (first_subtype_локальное_имя); — См. J.15.3.

pragma Page; — См. 2.8.

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

Этот абзац был удален.

pragma Preelaborable_Initialization(direct_name); — См. J.15.14.

Этот абзац был удален.

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

Этот абзац был удален.

pragma Priority (expression); — См. J.15.11.

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

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

Этот абзац был удален.

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

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

Этот абзац был удален.

pragma Relative_Deadline (relative_deadline_expression); — См. J.15.12.

Этот абзац был удален.

pragma Remote_Call_Interface[(library_unit_name)]; — См. J.15.15.

Этот абзац был удален.

pragma Remote_Types[(library_unit_name)]; — См. J.15.15.

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

pragma Reviewable; — См. H.3.1.

Этот абзац был удален.

pragma Shared_Passive[(library_unit_name)]; — См. J.15.15.

Этот абзац был удален.

pragma Storage_Size (expression); — См. J.15.4.

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

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

Этот абзац был удален.

pragma Unchecked_Union (first_subtype_local_name); — См. J.15.6.

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

Этот абзац был удален.

pragma Volatile (local_name); — См. J.15.8.

Этот абзац был удален.

pragma Volatile_Components (array_local_name); — См. J.15.8.