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

pragma All_Calls_Remote[(имя_библиотечной_единицыимя)]; -- См. E.2.3.

pragma Asynchronous(локальное_имя); -- См. E.4.1.

pragma Atomic(локальное_имя); -- См. C.6.

pragma Atomic_Components(массив_локальное_имя); -- См. C.6.

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

pragma Controlled(первый_подтип_локальное_имя); -- См. 13.11.3.

pragma Convention([Convention =>] идентификатор_конвенцииидентификатор,[Entity =>] локальное_имя); -- См. B.1.

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

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 =>] строковое_выражениевыражение]); -- См. B.1.

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

pragma Inline(имя {, имя}); -- См. 6.3.2.

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

pragma Interrupt_Handler(имя_обработчикаимя); -- См. C.3.1.

pragma Interrupt_Priority[(выражение)]; -- См. D.1.

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

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

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

pragma Normalize_Scalars; -- См. H.1.

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

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

pragma Page; -- См. 2.8.

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

pragma Priority(выражение); -- См. D.1.

pragma Pure[(имя_библиотечной_единицыимя)]; -- См. 10.2.1.

pragma Queuing_Policy(идентификатор_политикиидентификатор); -- См. D.4.

pragma Remote_Call_Interface[(имя_библиотечной_единицыимя)]; -- См. E.2.3.

pragma Remote_Types[(имя_библиотечной_единицыимя)]; -- См. E.2.2.

pragma Restrictions(ограничение{, ограничение}); -- См. 13.12.

pragma Reviewable; -- См. H.3.1.

pragma Shared_Passive[(имя_библиотечной_единицыимя)]; -- См. E.2.1.

pragma Storage_Size(выражение); -- См. 13.3.

pragma Suppress(идентификатор [, [On =>] имя]); -- См. 11.5.

pragma Task_Dispatching_Policy(идентификатор_политикиидентификатор ); -- См. D.2.2.

pragma Volatile(локальное_имя); -- См. C.6.

pragma Volatile_Components(массив_локальное_имя); -- См. C.6.