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