Введение в программирование - Учебное пособие (Корочкин А. В.)

Приложение 4.   прагмы, определенные      в

Pragma All_CalIs_Remote   [(Имя_библиотечного_Модуля )]; Pragma Asynchronous  ( Локальное_Имя );

Pragma Atomic  ( Локальное_Имя ) ;

Pragma Atomic_Components    ( Локальное_Имя_Массива ) ;

Pragma AttachJBandler  ( Имя_Обработчика, Выражение);

Pragma Controlled  (Локальное_Имя_Первого_Подтипа);

Pragma Convention ( [Convention => Идентификатор ]

I Entity =s>-Локальное_Имя ] );

Pragma Discard_Names   [ ( [ On => ] Локальное_Имя ) ];

Elaborate ( Имя_библиотечного_Модуля {,

Имя_библиотечного_Модуля });

Pragma Elaborate_All ( Имя_библиотечного_Модуля {, Имя_библиотечного_Модуля });

Elaborate_Body[  (Имя_библиотечного_Модуля) ];

Pragma

Pragma

Pragma

Pragma

Export ( [ Convention => Идентификатор]

[ Entity => Локальное_Ймя ] );

Pragma Import ([ Convention => Идентификатор]

I Entity =>Локальное_Имя ] );

Pragma Inline ( Имя, ( Имя ) ) ;

Pragma InspectionJPoint   [ ( Имя_Обьекта, Имя_Обьекта) ];

Pragma Interrupt_Handler  ( Имя_Обработчика); Pragma Interrupt_Priority   { ( Выражение ) ]; Pragma Linker_Options ( Строковое_Выражение ) ; Pragma List  ( Идентификатор );

Pragma  Locking_PoIicy ( Идентификатор_Дисциплины);

Pragma  NormaIize_Scalars ;

Pragma  Optimize ( Идентификатор );

Pragma Pack ( Локальное_Имя_Первого_Подтипа ) ; Pragma Page ;

Pragma Preelaborate [ (Имя_библиотечного_Модуля ) ]; Pragma Priority ( Выражение ); Pragma Pure [ ( Имя_Библиотечного_Модуля ) ]; Pragma Queuing_Policy (Идентификатор .Дисциплины) ;

Pragma Remote_Call_Interface [ (Имя_Би6лиотечного_Модуля) ]; Pragma RemoteJTypes [ (Имя_Библиотечного_Модуля) ];

Pragma Restrictions ( [ Ограничение, Ограничение ] ); Pragma Reviewable;

Pragma Shared_Passive [ (Имя_Библиотечного_Модуля) ]; Pragma Storage_Size ( Выражение );

Pragma Suppress ( Идентификатор [, [ On => J  Имя ]);

Pragma Task_Dispathcing_Policy (Идентификатор•_Дисциплины) ;

Pragma Volatile ( Локальное_Имя ) ;

Pragma VolatiIe_Components   ( Имя_Локального^Массива ) ;

239

238

Ада 95. Введение в программирование