Re: Test for > 'last

[Jeffrey Carter <jrcarter@acm.org>]

Peter Richtmyer wrote:
> 
>     ---------------------------------------
>     if enum_input < enum_type'first or 
>        enum_input > enum_type'last then 
>        -- handle the input error
>     ---------------------------------------

Without knowing the type of Enum_Input, it's impossible to tell. This is 
simply an awkward way to say

if Enum_Input not in Enum_Type then

So it appears the coder did not have a lot of Ada experience and 
probably didn't understand what he was doing.

If Enum_Input is of type Enum_Type, then the compiler probably optimized 
the condition to False and reduced the statement to the else part; if 
there's no else part, then it would optimize the entire if away.

-- 
Jeff Carter
"That was the most fun I've ever had without laughing."
Annie Hall