Ada (798525), страница 21
Текст из файла (страница 21)
Поэтому, это исключение не может быть точнообработано процедурой Demo.Решить эту проблему можно использованием опции others в обработчике исключенийвнешней процедуры Demo:with Ada.Text_IO; use Ada.Text_IO;procedure Demo isprocedure Problem_In_Scope isCant_Be_Seen : exception;beginraise Cant_Be_Seen;end Problem_In_Scope;beginProblem_In_Scope;exceptionwhen others =>Put("just handled some exception");end Demo;Другая проблема возникает тогда, когда в соответствии с правилами области видимости,исключение, описываемое в одной процедуре, перекрывает (или прячет) исключение,описываемое в другой процедуре:with Ada.Text_IO; use Ada.Text_IO;procedure Demo isFred : exception;-- глобальное исключение-----------------------------------procedure P1 isbeginraise Fred;end P1;-----------------------------------procedure P2 isFred : exception;-- локальное исключениеbeginP1;exceptionwhen Fred =>Put("wow, a Fred exception");end P2;-----------------------------------beginP2;exceptionwhen Fred =>Put("just handled a Fred exception");end Demo;Выводом такой процедуры будет "just handled a Fred exception".
Исключение,обрабатываемое в процедуре P2, будет локально описанным исключением. Такое поведениеподобно ситуации с областью видимости обычных переменных.Для решения этой проблемы, процедуру P2 можно переписать следующим образом:-----------------------------------procedure P2 isFred : exception;beginP1;exceptionwhen Fred =>-- локальное исключениеPut("wow, an_exception");when Demo.Fred =>-- "более глобальное" исключениеPut("handeled Demo.Fred exception");raise;end P2;Теперь, обработчик исключения процедуры P2 выдаст сообщение "handeled Demo.Fredexception" и, с помощью инструкции raise, осуществит передачу исключения Demo.Fredв обработчик исключения процедуры Demo, который, в свою очередь, выдаст сообщение "justhandled a Fred exception".10.3.4 Пакет Ada.ExceptionsСтандартный пакет Ada.Exceptions предоставляет некоторые дополнительные средства, которыемогут быть использованы при обработке исключений.Описанный в нем объект:Event : Exception_Occurence;и подпрограммы:функция Exception_Name(Event)функция Exception_Information(Event)функция Exception_Message(Event)процедура Reraise_Occurence(Event)процедура Reraise_Exception(e, "Msg")-----возвращает строку имени исключения, начиная от корневого библиотечного модулявозвращает строку детальной информации о возникшем исключениивозвращает строку краткого объяснения исключениявыполняет повторное возбуждение исключения Eventвыполняет возбуждение исключения e с сообщением "Msg"Могут быть весьма полезны при необходимости обработки неожиданных исключений.
В такихслучаях можно использовать код который подобен следующему:...exception...when The_Event: others =>Put("Unexpected exeption is ";Put(Exeption_Name(The_Event));New_Line;10.4 Подавление исключений10.4.1 Принципы подавления исключенийКак правило, существует два источника которые выполняют возбуждение исключений приобнаружении некоторых ошибочных условий. Один из них - это механизмы аппаратнойпроверки, которые зависят от конкретно используемого оборудования. Второй источник для насболее интересен, поскольку этим источником является дополнительный машинный код, которыйгенерирует компилятор.Поскольку генерация дополнительного кода выполняется компилятором, а все компиляторыязыка Ада должны соответствовать стандартным требованиям, то должно быть обеспеченостандартное средство управления вставкой подобных проверок в результирующий машинныйкод.
Таким средством Ады является директива компилятора Supress (подавление проверок).Эта директива может быть размещена в том месте, где не требуется производить проверки.Подавление проверок будет распространяться до конца текущего блока (при этом используютсяобычные правила области видимости).Директива Supress имеет большое количество опций, позволяющих подавлять проверкиразличного вида на уровне типа, объекта или на функциональном уровне. Следует заметить, чтомногогранность директивы Supress сильно зависит от реализации конкретного компилятора, иразличные реализации компиляторов свободны в предоставлении (или игнорировании) любыхсвойств этой директивы.Исключение Constraint_Error имеет несколько подавляемых проверок:pragmapragmapragmapragmapragmapragmapragmaSuppressSuppressSuppressSuppressSuppressSuppressSuppress(Access_Check);(Discriminant_Check);(Idex_Check);(Length_Check);(Range_Check);(Division_Check);(Owerflow_Check);Исключение Program_Error имеет только одну подавляемую проверку:pragma Suppress (Elaboration_Check);Исключение Storage_Error также имеет только одну подавляемую проверку:pragma Suppress (Storage_Check);10.4.2 Выполнение подавления исключенийМы можем подавить проверку исключений для индивидуального объекта:pragma Suppress (Idex_Check, on => table);Подавление проверки исключений также может относиться к какому-то определенному типу:type Employee_Id is new Integer;pragma Suppress (Range_Check, Employee_Id);Более полным примером использования директивы Supress может служить код показанныйниже.
В этом случае область действия директивы распространяется до конца блока.declarepragma Suppress(Range_Check);subtype Small_Integer is Integer range 1..10;A : Small_Integer;X : Integer := 50;beginA := X;end;Этот код не будет генерировать ошибок ограничения (Constraint_Error)..
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
