Справочник по Ada 2005
H.5 Предикат Detect_Blocking
Следующий предикат заставляет реализацию обнаруживать потенциально блокирующие операции внутри защищенной операции.
Синтаксис
Форма предиката Detect_Blocking следующая:
pragma Detect_Blocking;
Правила после компиляции
Предикат Detect_Blocking является предикатом конфигурации.
Динамическая семантика
Реализация должна обнаруживать потенциально блокирующую операцию внутри защищенной операции и поднимать исключение Program_Error (см. 9.5.1).
Разрешения реализации
Реализация может отклонить единицу компиляции, если потенциально блокирующая операция находится непосредственно внутри тела входа или тела защищенной подпрограммы.
ПРИМЕЧАНИЯ
11 Операция, которая приводит к блокировке задачи в области чужого языка программирования, не считается потенциально блокирующей и не должна обнаруживаться.
