Vyjímky a jejich ošetření v ORACLE

Obsah

Úvodem

   Přehled

   Výhody vyjímek

Vyjímky

   Předdefinované vyjímky

   Uživatelské vyjímky

   Práce s vyjímkami

   Vyvolávání a šíření vyjímek

   Ošetření vyvolaných vyjímek

Užitečné techniky

   Pokračování po vyvolání vyjímky

   Opakování transakce

   Použití vyhledávací proměnné

Přílohy

   Nejčastěji používané vyjímky

Úvodem

Běhové chyby lze rozdělit na:

• Chyby v návrhu (algoritmu, ...)
• Chyby v kódu
• Hardwarové chyby
• Jiné problémy

Přehled

• Vnitřní - definované systémem (dělení nulou, nedostatek paměti, ...)
• Uživatelské - definované uživatelem / programátorem

Některé z běžných vnitřních vyjímek mají i svá zástupná jména (např. výše zmíněným odpovídají ZERO_DIVIDE a STORAGE_ERROR), případně je lze dodatečně pojmenovat. Uživatelské vyjímky jsou pojmenovány vždy.

V případě, že v průběhu výpočtu programu nastane chyba, je vyvolána příslušná vyjímka (automaticky při vnitřní vyjímce, či explicitně pomocí přikazu RAISE). K ošetření vyvolané vyjímky se používá exception handler, který zastaví právě vykonávaný blok a po svém skončení výpočet pokračuje.

Příklad:
DECLARE
  pe_ratio NUMBER(3,1);
BEGIN
  SELECT price / earnings INTO pe_ratio FROM stocks
    WHERE symbol = 'XYZ';  -- might cause division-by-zero error
    INSERT INTO stats (symbol, ratio) VALUES ('XYZ', pe_ratio);
  COMMIT;
EXCEPTION  -- Exception handler
  WHEN ZERO_DIVIDE THEN  -- handles 'division by zero' error
    INSERT INTO stats (symbol, ratio) VALUES ('XYZ', NULL);
    COMMIT;
  ...
  WHEN OTHERS THEN  -- handles all other errors
    ROLLBACK;
END;   -- exception handlers and block end here



Výhody vyjímek

• Vyšší spolehlivost - odchytneme víceméně libovolnou vyjímku
• Lepší čitelnost - ošetření vyjímek odděleně od výkoné částí bloku
• Odstranění redundance - více příkazů múže potencionálně vyvolávat stejné vyjímky

Vyjímky

Předdefinované vyjímky

• Předdefinované vyjímky jsou deklarovány globálně v balíčku STANDARD.
• Vyjímky jsou jednoznačně identifikovány čísly.
• Pojmenované vyjímky je možné zachytávat za pomoci jména (např. WHEN <JMENO_VYJIMKY> THEN ...).
• Nepojmenované lze odchytit pouze za pomoci speciálního handleru OTHERS (WHEN OTHERS THEN ...).

Dále je možné využít funkce:

• SQLCODE - sloužící k navrácení čísla chyby
• SQLERRM - sloužící k zobrazování chybové zprávy

Tabulku často používaných pojmenovaných vyjímek najdete v příloze.

Uživatelské vyjímky

Deklarace

DECLARE
   past_due EXCEPTION;



Rozsah platnosti

• Nelze deklarovat jednu vyjímku vícekrát v jednom bloku.
• Vyjímka deklarovaná v určitém bloku je považována za lokální pro tento blok a globální pro všechny jeho případné podbloky.
• Blok se smí odkazovat pouze na lokální a globální vyjímky.
• V podbloku lze předeklarovat globální vyjímku vyjímkou lokální.
• V podbloku se lze odkazovat na předefinovanou globální vyjímku pouze tehdy, když byla původní vyjímka deklarována v označeném bloku (labeled block).

Následující příklad ilustruje rozsah platnosti:
DECLARE
  past_due EXCEPTION;
  acct_num NUMBER;
BEGIN
  ...
  DECLARE  ---------- sub-block begins
    past_due EXCEPTION;  -- this declaration prevails
    acct_num NUMBER;
  BEGIN
  ...
    IF ... THEN
      RAISE past_due;  -- this is not handled
    END IF;
    ...
  END;  ------------- sub-block ends
EXCEPTION
  WHEN past_due THEN  -- does not handle RAISEd exception
    ...
END;


Poznámka: Přilehlý blok neošetří vyvolanou vyjímku, protože deklarace vyjímky past_due v podbloku převáží. Ačkoli tyto dvě vyjímky sdílejí stejné jméno, jedná se o dvě různé vyjímky, stejně jako dvě proměnné s názvem acct_num jsou dvě rozdílné proměnné. Proto se tedy příkaz RAISE a klauzule WHEN odkazují na rozdílné vyjímky. Aby přilehlý blok mohl ošetřit tuto vyjímku, musela by být odstraněna její deklarace v podbloku, nebo přidán handler OTHERS.

Práce s vyjímkami

Použití EXCEPTION_INIT

• handleru OTHERS
• pragma (direktiva překladače) EXCEPTION_INIT

EXCEPTION_INIT spojuje jméno vyjímky s příslušným číslem chyby v Oraclu. Lze se pak odkazovat jménem na libovolnou vnitřní vyjímku a napsat pro ni specifický handler.

Syntaxe:
PRAGMA EXCEPTION_INIT(exception_name, Oracle_error_number);
  Kde exception_name je předem deklarovaná vyjímka.

Použití raise_application_error

Syntax:
raise_application_error(error_number, message[, {TRUE | FALSE}]);


  Kde error_number je záporné celé číslo (integer) v rozsahu -20000 .. -20999 a message je řetězec maximální délky 2048 bytů. Jestliže je třetí nepovinný parameter TRUE, chyba je uložena na zásobník, pokud je FALSE (default), chyba nahradí všechny dosud uložené chyby. Volání procedury ukončí podprogram a vrátí chybu a zprávu aplikaci.

Informace o vyjímce

• SQLCODE - číslo chyby (pro vnitřní chyby až na vyjímky číslo záporné, pro uživatelské vrací 1)
• SQLERRM - chybová zpráva (pro uživatelsky definované chyby vrací text "User-Defined Exception")

Maximální délka chybové zprávy je 512 znaků včetně kódu chyby, vnořených zpráv a vložených informací jako jsou jména tabulek a řádků.
Pokud nebyla vyvolána žádná vyjímka vrací SQLCODE nulu a SQLERRM zprávu "ORA-0000: normal, successful completion".

Funkci SQLERRM lze také předat (záporné) číslo chyby. V takovém případě vrací chybovou zprávu příslušící tomuto číslu.

Předeklarování předdefinovaných vyjímek

Vyvolávání a šíření vyjímek

Příkaz RAISE

Následující příklad ukazuje jak vyvolání uživatelské (out_of_stock) tak vyjímky předdefinované (INVALID_NUMBER):
DECLARE
  out_of_stock   EXCEPTION;
  number_on_hand NUMBER(4);
  acct_type INTEGER;
  ...
BEGIN
  ...
  IF number_on_hand < 1 THEN
    RAISE out_of_stock;
  END IF;
  ...
  IF acct_type NOT IN (1, 2, 3) THEN
    RAISE INVALID_NUMBER;  -- raise predefined exception
  END IF;
  ...
EXCEPTION
  WHEN INVALID_NUMBER THEN
    ROLLBACK;
  WHEN out_of_stock THEN
    ... -- handle the error
END;



Šíření vyjímky

Základní pravidla pro šíření:

© Oracle

© Oracle

© Oracle

Vyjímka se šíří dokonce i za svůj rozsah platnosti, tj. i za blok, v němž byla nadeklarována.
Mimo svůj rozsah platnosti však smí být zachycena pouze pomocí handleru OTHERS.

Opětovné vyvolání vyjímky

Ošetření vyvolaných vyjímek

Poznámka: Podle platnosti běžných pravidel rozsahu PL/SQL proměnných, lze i v handlerech používat jak lokální tak globální proměnné. Avšak pokud je vyjímka vyvolána uvnitř kurzorového FOR cyklu, je nejdřív kurzor uzavřen.
Také nelze provádět skoky do a z handleru (příkazem GOTO). Nicméně příkaz GOTO lze použít ke skoku z handleru do přilehlého bloku.

Vyjímky vyvolané v deklaracích

Příklad (do limit nelze uložit číslo větší než 999):
DECLARE
   limit CONSTANT NUMBER(3) := 5000;  -- raises an exception
BEGIN
   ...
EXCEPTION
   WHEN OTHERS THEN ...  -- cannot catch the exception


Neošetřené vyjímky

Užitečné techniky

• Pokračování po vyvolání vyjímky
• Opakování transakce
• Použití vyhledávací proměnné

Pokračování po vyvolání vyjímky

Příklad:
DECLARE
  pe_ratio NUMBER(3,1);
BEGIN
  DELETE FROM stats WHERE symbol = 'XYZ';
  BEGIN  ---------- sub-block begins
    SELECT price / NVL(earnings, 0) INTO pe_ratio FROM stocks
      WHERE symbol = 'XYZ';
  EXCEPTION
    WHEN ZERO_DIVIDE THEN
      pe_ratio := 0;
  END;  ---------- sub-block ends
  INSERT INTO stats (symbol, ratio) VALUES ('XYZ', pe_ratio);
EXCEPTION 
  ...



Opakování transakce

Příklad:
DECLARE
   name   CHAR(20);
   ans1   CHAR(3);
   ans2   CHAR(3);
   ans3   CHAR(3);
   suffix NUMBER := 1;
BEGIN
   ...
   LOOP  -- could be FOR i IN 1..10 LOOP to allow ten tries
      BEGIN  -- sub-block begins
         SAVEPOINT start_transaction;  -- mark a savepoint
         /* Remove rows from a table of survey results. */
         DELETE FROM results WHERE answer1 = 'NO';
         /* Add a survey respondent's name and answers. */
         INSERT INTO results VALUES (name, ans1, ans2, ans3);
            -- raises DUP_VAL_ON_INDEX if two respondents
            -- have the same name (because there is a unique
            -- index on the name column)
         COMMIT;
         EXIT;
      EXCEPTION
         WHEN DUP_VAL_ON_INDEX THEN
            ROLLBACK TO start_transaction;  -- undo changes
            suffix := suffix + 1;             -- try to fix
            name := name || TO_CHAR(suffix);  -- problem
         ...
      END;  -- sub-block ends
   END LOOP;
END;





Použití vyhledávací proměnné

Příklad:
DECLARE
   stmt INTEGER := 1;  -- designates 1st SELECT statement
BEGIN
   SELECT ...
   stmt := 2;  -- designates 2nd SELECT statement
   SELECT ...
   stmt := 3;  -- designates 3rd SELECT statement
   SELECT ...
   ...
EXCEPTION
   WHEN NO_DATA_FOUND THEN
      INSERT INTO errors VALUES ('Error in statement ' || stmt);
      ...
END;




Přílohy

Nejčastěji používané vyjímky

Stručný popis výše uvedených vyjímek: