Re: Zoo question

[dewar@cs.nyu.edu (Robert Dewar)]

John Herro said

"     I realize that the point of this thread is to discuss the raising and
handling of Constraint_Error, but I think for the sake of any beginners
reading comp.lang.ada, we should point out the general rule not to use an
exception handler where a simple "if" will do.  Thus, I think most people
will agree that the above could better be written

if Next_Animal = Animal_ID'Last then
   Next_Animal := Animal_ID'First;
else
   Next_Animal := Animal_ID'Succ(Next_Animal);
end if;"

Actually this is nice application for a modular type, just make the
type be mod 5, then you just do the Succ call and it works fine.
No if needed, no test needed.