Re: Zoo question

[Ken Garlington <garlingtonke@lmtas.lmco.com>]

Ted Dennison wrote:
> 
> 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)

That certainly seems to be one of the options...

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

A valid point; for this example, assume that there's no pragma Suppress,
compiler switches, or other use actions applied that would disable checking.

> 
>    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).

Assuming no supresses, would there be a case where #1 would not apply (no
exception on assignment)?

-- 
LMTAS - "Our Brand Means Quality"