Re: beginner array question

[Jeffrey Carter <spam@spam.com>]

lolo27 wrote:

> generic
>    ---------general parameters-----------
>    type Someting is(<>);
>    type something_array is Array (integer range<>) of Someting ;   
> 
> ---------------------------------------------------
> in the adb file i want to ask the following 
>  function is_final(current_state:Someting ;final:something_array )
 >  return boolean is
>    begin
>       if current_state in final'First..final'Last then
>          return true;
>       else
>          return false;
>       end if;  
>    end is_final;

There are a couple of problems here. "in" tests for subtype membership.
Final'First .. Final'Last (equivalent to Final'range) is a subtype of
Integer, because the index type of Something_Array is Integer. Within
the generic, Something is not an integer type, so this test should 
always return False.

Presumably you want to check if Current_State is equal to one of the
components of Final. To do that, you'll have to search Final. If Final
is sorted, you can use a binary search; otherwise, you'll have to use a
linear search.

Your construct indicates that you do not understand booleans. If you
could use the test you coded, you should have written

return Current_State in Final'range;

-- 
Jeff Carter
"I blow my nose on you."
Monty Python & the Holy Grail
03