J.10 Специфическое подавление проверок

Директива Suppress может быть использована для подавления проверок на определённых сущностях.

Идентификатор должен быть именем проверки (см. 11.5). Имя должно статически обозначать некоторую сущность.

Для директивы Suppress, находящейся непосредственно в спецификации пакета package_specification, имя должно обозначать сущность (или несколько перегруженных подпрограмм), объявленную непосредственно внутри спецификации пакета.

Директива Suppress применяется к указанной проверке от места директивы до конца самой внутренней области объявления, или, если директива указана в спецификации пакета, до конца области видимости указанной сущности. Директива применяется только к указанной сущности, или, для подтипа, к объектам и значениям его типа. Директива Suppress подавляет указанную проверку для любых сущностей, на которые она распространяется (см. 11.5). Какие проверки связаны с конкретной сущностью, не определено в этом документе.

Реализация имеет право установить ограничения на директивы Suppress.