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