Ада-95. Компилятор GNAT



         

Выполнение подавления исключений


Мы можем подавить проверку исключений для индивидуального объекта:

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




Содержание  Назад  Вперед