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

pragma All_Calls_Remote[(единица_библиотеки_имя)]; — См. E.2.3.

pragma Assert([Check =>] логическое_выражение[, [Message =>] строковое_выражение]); — См. 11.4.2.

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

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

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

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

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

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

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

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

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

pragma Attach_Handler (обработчик_имя, выражение); — См. J.15.7.

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

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

pragma 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(имя_единицы_библиотеки_имя{, имя_единицы_библиотеки_имя}); — См. 10.2.1.

pragma Elaborate_All(имя_единицы_библиотеки_имя{, имя_единицы_библиотеки_имя}); — См. 10.2.1.

pragma Elaborate_Body[(имя_единицы_библиотеки_имя)]; — См. 10.2.1.

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

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

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

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

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

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

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

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

pragma Inspection_Point[(объект_имя {, объект_имя})]; — См. H.3.2.

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

pragma Interrupt_Handler (обработчик_имя); — См. J.15.7.

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

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

pragma Linker_Options(строковое_выражение_выражение); — См. B.1.

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

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

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

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

pragma Normalize_Scalars; — См. H.1.

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

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

pragma Pack (первый_подтип_локальное_имя); — См. J.15.3.

pragma Page; — См. 2.8.

pragma Partition_Elaboration_Policy (идентификатор_политики_идентификатор); — См. H.6.

pragma Preelaborable_Initialization(прямое_имя); — См. 10.2.1.

pragma Preelaborate[(имя_единицы_библиотеки_имя)]; — См. 10.2.1.

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

pragma Приоритет (выражение); — см. J.15.11.

pragma Приоритет_специфическая_диспетчеризация (
policy_идентификатор, first_priority_выражение, last_priority_выражение); — см. D.2.2.

pragma Профиль (profile_идентификатор {, profile_pragma_argument_association}); — см. 13.12.

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

pragma Чистый[(library_unit_имя)]; — см. 10.2.1.

pragma Очередь_Политика(policy_идентификатор); — см. D.4.

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

pragma Относительный_срок_выполнения (relative_deadline_выражение); — см. J.15.12.

pragma Интерфейс_удаленного_вызова[(library_unit_имя)]; — см. E.2.3.

pragma Удаленные_Типы[(library_unit_имя)]; — см. E.2.2.

pragma Ограничения(ограничение{, ограничение}); — см. 13.12.

pragma Подлежащий_проверке; — см. H.3.1.

pragma Общий_пассивный[(library_unit_имя)]; — см. E.2.1.

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

pragma Размер_хранения (выражение); — см. J.15.4.

pragma Подавить(идентификатор); — см. 11.5.

pragma Политика_диспетчеризации_задач(policy_идентификатор); — см. D.2.2.

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

pragma Непроверенный_союз (first_subtype_локальное_имя); — см. J.15.6.

pragma Отменить_подавление(идентификатор); — см. 11.5.

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

pragma Переменное (локальное_имя); — см. J.15.8.

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

pragma Переменные_компоненты (array_локальное_имя); — см. J.15.8.