Skip to main content

Why isn't my exception section catching my error?

I got an interesting email today from a reader of one of my PL/SQL 101" articles for Oracle Magazine, Building with Blocks.

Q. had taken the code from the article, made some changes, tried to run them, and got very confused. He wrote:

When I run this code, I see "Hello World".
DECLARE
  l_message VARCHAR2(100) := 'Hello World!';
BEGIN
  DBMS_OUTPUT.put_line (l_message);
EXCEPTION
  WHEN OTHERS
  THEN
    DBMS_OUTPUT.put_line ('Error='||SQLERRM);
END;
/

Hello World!
When I change the block to make the l_message variable too small for its string, I see the VALUE_ERROR error message.
DECLARE
  l_message VARCHAR2(10);
BEGIN
  l_message := 'Hello World!';
  DBMS_OUTPUT.put_line (l_message);
EXCEPTION
  WHEN OTHERS
  THEN
    DBMS_OUTPUT.put_line ('Error='||SQLERRM);
END;
/

Error=ORA-06502: PL/SQL: numeric or value error: character string buffer too small 
But when I change the name of the variables inside the call to DBMS_OUTPUT.PUT_LINE to "l_message1", the exception handler is not displaying the error message, instead I see the following:
When I change the block to make the l_message variable too small for its string, I see the VALUE_ERROR error message.
DECLARE
  l_message VARCHAR2(10) := 'Hello World!';
BEGIN
  DBMS_OUTPUT.put_line (l_message1);
EXCEPTION
  WHEN OTHERS
  THEN
    DBMS_OUTPUT.put_line ('Error='||SQLERRM);
END;
/

ORA-06550: line 5, column 25:
PLS-00201: identifier 'L_MESSAGE1' must be declared 
Why am I seeing this inconsistent behavior?  

I was confused about the source of his confusion, but after a couple of back-and-forth emails (what you read above is the cleaned-up version of that back-and-forth), the light bulb lit in my brain. Which enabled me to clear up his confusion, and inspire me to write a blog post, in case the same confusion was confusing anyone else.

Here's the most important thing to remember:
Exception sections handle exceptions raised when the block is executed. But first that block must be compiled!
When you are writing code within stored program units, like procedures and functions, this is clearly a two stage process:
  1. Compile
  2. Execute
But when you are working with an anonymous block, all you do is execute the block. So you can certainly be forgiven for thinking that anything that goes wrong will be caught in the exception handler.

The reality is different however. When you run an anonymous block, the PL/SQL engine will first of all parse and compile the block. If all goes well, then the PL/SQL runtime engine will execute the compiled code.

If, however, your code fails to compile, well....you will get a compile error, rather than an runtime exception.

How do you know you've gotten a compile error? Check the prefix. If it is "PLS", something went kablooey at compile time. Your code cannot be executed. If the prefix is "PLW", that's a compile-time warning, which means that the code compiled, but the PL/SQL engine has suggestions for improving it. And if the prefix is "ORA", ah, then you've got a runtime error - an exception.

Only in that last case with the exception handler, if present, be able to trap the exception.

I hope that makes thing nice and clear. Any comments or questions? :-)


Comments

  1. „Error=Hello World„ Shoudn‘t this be „Hello World!“? :-)
    Trank you for all the great and inspiring blog posts. They are a great help!

    ReplyDelete
    Replies
    1. Jan, thanks for your kind words and for catching that mistake in my output. I have fixed it!

      Delete
  2. Whilst I understand the point you're trying to make, unfortunately the examples don't seem to do that. In particular, whilst the compiler could (in this case) detect that a VARCHAR2(10) is too small, it doesn't, so you get a runtime error. But an error in a declaration isn't handled within the exception handler for that block, but in the calling block. So you won't see the Error= prefix. I've been caught by this on several occasions where an error message misleadingly comes from the error handler of the calling block, not of the block where the error actually is because it's in the declaration section.

    ReplyDelete
  3. Thanks for pointing that out, M P.

    That was sloppy of me. I have changed the code in that block to move the assignment to the executable section.

    Which reminds me of a rule I tell myself to follow but then at least sometimes do not follow:

    TEST ALL YOUR CODE BEFORE PUBLISHING IT!

    :-)

    Regards, Steven

    ReplyDelete

Post a Comment

Popular posts from this blog

Quick Guide to User-Defined Types in Oracle PL/SQL

A Twitter follower recently asked for more information on user-defined types in the PL/SQL language, and I figured the best way to answer is to offer up this blog post. PL/SQL is a strongly-typed language . Before you can work with a variable or constant, it must be declared with a type (yes, PL/SQL also supports lots of implicit conversions from one type to another, but still, everything must be declared with a type). PL/SQL offers a wide array of pre-defined data types , both in the language natively (such as VARCHAR2, PLS_INTEGER, BOOLEAN, etc.) and in a variety of supplied packages (e.g., the NUMBER_TABLE collection type in the DBMS_SQL package). Data types in PL/SQL can be scalars, such as strings and numbers, or composite (consisting of one or more scalars), such as record types, collection types and object types. You can't really declare your own "user-defined" scalars, though you can define subtypes  from those scalars, which can be very helpful from the p

The differences between deterministic and result cache features

 EVERY once in a while, a developer gets in touch with a question like this: I am confused about the exact difference between deterministic and result_cache. Do they have different application use cases? I have used deterministic feature in many functions which retrieve data from some lookup tables. Is it essential to replace these 'deterministic' key words with 'result_cache'?  So I thought I'd write a post about the differences between these two features. But first, let's make sure we all understand what it means for a function to be  deterministic. From Wikipedia : In computer science, a deterministic algorithm is an algorithm which, given a particular input, will always produce the same output, with the underlying machine always passing through the same sequence of states.  Another way of putting this is that a deterministic subprogram (procedure or function) has no side-effects. If you pass a certain set of arguments for the parameters, you will always get

My two favorite APEX 5 features: Regional Display Selector and Cards

We (the over-sized development team for the PL/SQL Challenge - myself and my son, Eli) have been busy creating a new website on top of the PLCH platform (tables and packages): The Oracle Dev Gym! In a few short months (and just a part time involvement by yours truly), we have leveraged Oracle Application Express 5 to create what I think is an elegant, easy-to-use site that our users will absolutely love.  We plan to initially make the Dev Gym available only for current users of PL/SQL Challenge, so we can get feedback from our loyal user base. We will make the necessary adjustments and then offer it for general availability later this year. Anyway, more on that as the date approaches (the date being June 27, the APEX Open Mic Night at Kscope16 , where I will present it to a packed room of APEX experts). What I want to talk about today are two features of APEX that are making me so happy these days: Regional Display Selector and Cards. Regional Display Sel