Выполнение подавления исключений
Мы можем подавить проверку исключений для индивидуального объекта:
| pragma Suppress (Idex_Check, on => table); |
Подавление проверки исключений также может относиться к какому-то определенному типу:
| type Employee_Id is new Integer; pragma Suppress (Range_Check, Employee_Id); |
Более полным примером использования директивы Supress может служить код показанный ниже. В этом случае область действия директивы распространяется до конца блока.
| declare
pragma Suppress(Range_Check); subtype Small_Integer is Integer range 1..10; A : Small_Integer; X : Integer := 50; begin A := X; end; |
Этот код не будет генерировать ошибок ограничения (Constraint_Error).
| Copyright (C) А.Гавва | V-0.4w май 2004 |
