Re: Zoo question

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

Ted Dennison wrote:
> 
> OK. I'll bite. It looks like it would probably perform as advertised, with
> no optimization set on the compiler. The following constraint check code -
> 
> >
> >       Get_Next_Animal: begin -- look carefully at this code!
> >         Next_Animal := Animal_ID'Succ(Next_Animal);
> >       exception
> >         when others => Next_Animal := Animal_ID'First;
> >       end Get_Next_Animal;
> 
> isn't guaranteed to work (assuming "work" means raise an execption within
> this block when Animal_ID'Succ(Next_Animal) > Animal_ID'last).

You're getting warm (and doing much better than I did on my first look)!

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?

(You might want to read that statement more than once... :)

-- 
LMTAS - "Our Brand Means Quality"