Справочное руководство по Ada 2012
J.10 Специфическое подавление проверок
Директива Suppress может использоваться для подавления проверок на определенных сущностях.
Синтаксис
Форма директивы Suppress для подавления проверок по конкретному элементу выглядит следующим образом:
pragma Suppress(идентификатор, [On =>] имя);
Правила легальности
Идентификатор должен быть именем проверки (см. 11.5). Имя должно статически обозначать некоторую сущность.
Для директивы Suppress, которая находится непосредственно внутри спецификации пакета, имя должно обозначать сущность (или несколько перегруженных подпрограмм), объявленную непосредственно внутри спецификации пакета.
Статическая семантика
Директива Suppress применяется к указанной проверке от места директивы до конца ближайшего содержащего декларативного блока, или, если директива задана в спецификации пакета, до конца области видимости указанной сущности. Директива применяется только к указанной сущности или, для подтипов, к объектам и значениям их типа. Директива Suppress подавляет указанную проверку для любых сущностей, к которым она применяется (см. 11.5). Какие проверки связаны с конкретной сущностью, не определяется этим международным стандартом.
Разрешения для реализации
Реализация имеет право установить ограничения на директивы Suppress.
ПРИМЕЧАНИЯ
3 Реализация может поддерживать параметр On в директиве Unsuppress (см. 11.5).
