системные исключения имен не имеют, они характеризуются номером ошибки;
имеется возможность объявить пользовательское исключение и с помощью директивы компилятору связать его с некоторым номером ошибки.
Несколько исключений для часто возникающих в программах PL/SQL ошибок объявлено во встроенном пакете STANDARD с привязкой к соответствующим номерам ошибок. Эти исключения называются предопределенными исключениями PL/SQL (predefined exception) и их можно использовать в любых программах PL/SQL без дополнительных объявлений.
Таблица 2. Предопределенные исключения PL/SQL.
Исключение
Описание исключения (номер ошибки)
INVALID_CURSOR
ссылка на несуществующий курсор (ORA-01001)
NO_DATA_FOUND
не найдены данные командой
SELECT INTO (ORA-01403)
DUP_VAL_ON_INDEX
попытка вставить в столбец с ограничением
на уникальность значение-дубликат (ORA-00001)
TOO_MANY_ROWS
команда SELECT INTO возвращает
более одной строки (ORA-01422)
VALUE_ERROR
арифметическая ошибка, ошибка преобразования
или усечения чисел и строк (ORA-06502)
INVALID_NUMBER
ошибка преобразования строки в число (ORA-01722)
PROGRAM_ERROR
внутренняя ошибка PL/SQL (ORA-06501)
ZERO_DIVIDE
попытка деления на ноль (ORA-01476)
Схема обработки исключений в Java
В языке программирования Java при описании работы с исключениями используется бейсбольная терминология. При возникновении исключения бросается (throws) объект-исключение. Этот объект как бейсбольный мяч пролетает через исходный код, появившись сначала в том методе, где произошло исключение. В одном или нескольких местах кода объект-исключение пытаются (try) поймать (catch) и обработать. Причем исключение можно обработать в одном месте кода полностью, а можно обработать исключение частично, выбросить его из обработчика снова, поймать в другом месте и обрабатывать дальше.
Приведем пример кода на Java с попыткой поймать два исключениясвязанные с ошибками арифметических вычислений и нарушением правил работы с массивами (выход индекса массива за границы диапазона):
try{
}
catch(ArithmeticException ae){
System.out.println("From Arithm.Exc. catch: "+ae);
}
catch(ArraylndexOutOfBoundsException arre){
System.out.println("From Array.Exc.catch: "+arre);
}
}
Схема обработки исключений в PL/SQL
Работа с исключениями в PL/SQL очень похожа на то, как это делается в Java.
Для обработки исключений предназначен последний раздел блока PL/SQLраздел обработки исключений. Этот последний раздел блока после ключевого слова EXCEPTION похож на то, что в Java указывается после ключевого слова catch. Перед обсуждением правил обработки исключений приведем небольшой пример с комментариями в коде.
DECLARE
a INTEGER;
BEGIN
a := 1;
a := 2/0; бросается предопределенное исключение ZERO_DIVIDE
a := 3; над этой командой пролетает, команда не выполняется
a := 4; над этой командой тоже пролетает, команда не выполняется
управление передается в раздел обработки исключений,
начинаем «примерку» обработчиков
EXCEPTION
не подходит по имени ловимого исключения к прилетевшему ZERO_DIVIDE
WHEN PROGRAM_ERROR THEN
DBMS_OUTPUT.PUT_LINE('Программная ошибка');
оба имени ловимых исключений не подходят к прилетевшему ZERO_DIVIDE
WHEN INVALID_NUMBER OR VALUE_ERROR THEN
DBMS_OUTPUT.PUT_LINE('Ошибка работы с числами и строками');
подходит по имени к ZERO_DIVIDE (поймали), заходим внутрь обработчика
WHEN ZERO_DIVIDE THEN
DBMS_OUTPUT.PUT_LINE('Ошибка деления на ноль');
OTHERS ловит все, что не поймали другие до него,
но сюда в этом случае «примерка» не дошла, раньше поймали
WHEN OTHERS THEN
DBMS_OUTPUT.PUT_LINE('При выполнении произошла ошибка '||SQLERRM);
END;
При инициировании исключения в блоке PL/SQL выполнение потока команд блока прекращается, и управление передается в раздел обработки исключений этого блока, если такой раздел есть, или в родительский блок, если раздела обработки исключений у блока нет.
Сразу после инициирования исключение получает статус «не обработано», и можно сказать, что с этим статусом исключение бросается и летит над кодом программы. Летит оно именно над кодом, пропуская все команды исполняемых разделов, задерживаясь только в разделах обработки исключений вложенных блоков. Полет исключения прекращается в том блоке, в разделе обработки исключений которого исключение смогли поймать и обработать. Сразу после этого управление будет передано блоку, родительскому по отношению к тому блоку, где эта обработка произошла.
Действия в разделе обработки исключений
В разделе обработки исключений прилетевшее исключение пытаются обработать имеющимися в этом разделе обработчиками исключений, которых в блоке может быть несколько. После передачи управления в раздел обработки исключений осуществляется два действия:
определение, какой обработчик в разделе ловит прилетевшее исключение («примерка» обработчиков);
обработка исключения подходящим обработчиком.
«Примерка» обработчиков осуществляется по именам исключенийперед каждым обработчиком указывается список имен исключений, которые он ловит.
Если исключение не имеет имени или его имя не соответствует ни одному из имен исключений, указанных в разделе обработки исключений, то оно обрабатывается OTHERS-обработчиком, если он имеется. OTHERS-обработчик в разделе обработки исключений указывается последним и на него возлагается задача поймать все то, что не поймали другие обработчики перед ними системные исключения и пользовательские исключения с любыми именами.
После прилета исключения в раздел обработки возможны два случая:
если никакой обработчик исключению не подошел, то исключение со статусом «не обработано» бросается в дальнейший полет уже в родительском блоке (блоке, предыдущим по вложенности) с того места кода, где заканчивается вложенный блок;
если в результате «примерки» нашелся подходящий исключению обработчик, то управление передается ему.
Работа обработчика свою очередь может завершиться тремя исходами:
команды обработчика успешно выполнились, исключение получает статус «обработано» и управление передается родительскому блоку в то место кода, где заканчивается вложенный блок;
в процессе работы обработчика принято решение, что обрабатывать исключение надо не в этом обработчике, тогда исключение здесь же в обработчике инициируется повторно вызовом команды RAISE без параметров;
в ходе выполнения команд обработчика инициировано новое исключение (такое бывает, например, если в обработчике ошибки регистрируются в специальной таблице, а для нее кончилось место), прилетевшее исходное исключение тогда получает статус «обработано».
Два последних исхода работы обработчика предполагают, что из блока даже с подходящим обработчиком исключение бросится дальшелибо то же самое (после вызова команды RAISE), либо уже другое. Могло прилететь пользовательское исключение, обработаться со своей ошибкой, поэтому из обработчика бросится и в родительском блоке полетит дальше уже системное исключение, как в примере с ошибкой добавления строки в специальную таблицу журнала ошибок.
Примеры обработки исключений
Рассмотрим примеры полетов исключений в программе из трех вложенных блоков:
BEGINначало блока1
команда1_блока1;
команда2_блока1;
команда3_блока1;
BEGINначало блока2
команда1_блока2;
команда2_блока2 l_int := 1/TO_NUMBER(l_var) (l_var='1' или '0' или 'a')
команда3_блока2;
EXCEPTION
WHEN ZERO_DIVIDE THEN
команда1_zero_блока2;
команда2_zero_блока2;
END; конец блока2
команда4_блока1;
команда5_блока1;
EXCEPTION
WHEN ZERO_DIVIDE THEN
команда1_zero_блока1;
команда2_zero_блока1;
WHEN OTHERS THEN
команда1_others_блока1;
команда2_others_блока1;
END; конец блока 1
Пусть команда2_блока2 имеет вид l_int:=1/TO_NUMBER(l_var); где l_intцелочисленная переменная, l_varсимвольная.
l_var='1' (без исключений)
l_var='0' (zero divide)
l_var='a' (conversion error)
команда1_блока1;
команда2_блока1;
команда3_блока1;
команда1_блока2;
команда2_блока2;
команда3_блока2;
команда4_блока1;
команда5_блока1;
команда1_блока1;
команда2_блока1;
команда3_блока1;
команда1_блока2;
команда2_блока2(error);