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