Руководство по Ada (Ada 2022)
J.15.15 Директивы распределения
В этом подпункте определяются директивы, которые задают свойства единиц для распределённых систем.
Синтаксис
Следующие директивы определены с указанными формами:
директива Shared_Passive[(имя_единицы_библиотеки_имя)];
директива Remote_Types[(имя_единицы_библиотеки_имя)];
директива Remote_Call_Interface[(имя_единицы_библиотеки_имя)];
директива All_Calls_Remote[(имя_единицы_библиотеки_имя)];
Каждая из этих директив является директивой для единицы библиотеки.
Статическая семантика
Директива категоризации — это директива, которая задаёт соответствующий аспект категоризации.
Директивы Shared_Passive, Remote_Types и Remote_Call_Interface являются директивами категоризации. Кроме того, директива Pure (см. J.15.14) считается директивой категоризации.
Директива Shared_Passive указывает, что единица библиотеки является единицей библиотеки общего пассивного типа, а именно, что аспект Shared_Passive (см. E.2.1) единицы библиотеки имеет значение True.
Директива Remote_Types указывает, что единица библиотеки является единицей библиотеки удалённых типов, а именно, что аспект Remote_Types (см. E.2.2) единицы библиотеки имеет значение True.
Директива Remote_Call_Interface указывает, что единица библиотеки является интерфейсом удалённого вызова, а именно, что аспект Remote_Call_Interface (см. E.2.3) единицы библиотеки имеет значение True.
Директива All_Calls_Remote указывает, что аспект All_Calls_Remote (см. E.2.3) единицы библиотеки имеет значение True.
