Справочник по Ada (Ada 2022)
J.15.13 Предикат Asynchronous
Синтаксис
Форма предиката Asynchronous, который является предикатом представления (см. 13.1), имеет следующий вид:
pragma Asynchronous (local_name);
Статическая семантика
Для реализации, поддерживающей Приложение E, предикат Asynchronous указывает, что аспект Asynchronous (см. E.4.1) для процедуры или типа, обозначенного local_name, имеет значение True.
Правила легальности
local_name предиката Asynchronous должен обозначать объявление, для которого может быть указан аспект Asynchronous.
