Re: Zoo question

[Ted Dennison <dennison@escmail.orl.mmc.com>]

Ken Garlington wrote:
> 
> Ted Dennison wrote:
> >
> > isn't guaranteed to work (assuming "work" means raise an execption within
> > this block when Animal_ID'Succ(Next_Animal) > Animal_ID'last).
> 
> Now, the question is: Even though the call to Animal_ID'Succ(Animal_ID'Last)
> won't cause an exception (which I find very counter-intuitive, by the way),
> will an exception be raised on the line that contains that call?

Maybe, maybe not. I see three valid possibilities -

   1 - It raises an exception at the assignment. (This is what the code
       seems to be assuming)

   2 - No exception is ever raised (Constraint checking could be disabled 
       for any number of reasons).

   3 - A CONSTRAINT_ERROR is raised OUTSIDE the block, upon the next attempt
       to use the value of Animal_ID. (That's is what I meant by "within this
       block" above).

-- 
T.E.D.          
                |  Work - mailto:dennison@escmail.orl.mmc.com  |
                |  Home - mailto:dennison@iag.net              |
                |  URL  - http://www.iag.net/~dennison         |