Re: Case statement and Integers.

[Anatoly Chernyshev <rhezusfactor@yahoo.com>]

Well, he was probably trying to say approximately the following:
-------This is the compilable and working example---------------------
with text_io;
use text_io;
procedure af is
numbers: array (1..100) of integer;
pivot:constant integer:=30;
begin
for j in 1..100 loop
numbers(j):=j;
case Numbers(J) is
    when 1..Pivot - 1 =>
put_line (integer'image (j) & " is smaller than " & integer'image(pivot));
    when Pivot + 1 .. 100 =>
put_line (integer'image (j) & " is larger than " & integer'image(pivot));
    when others =>
put_line (integer'image (j) & " is equal to " & integer'image(pivot));
 end case;
 end loop;
end af;
---------------------------------------------------------------------------------------------------



"Grein, Christoph" wrote:

> > Sorry, this is my mistake. The correct expamle:
> >
> > case Numbers (J) is
> >    when Numbers_Array_Element_Type'First .. Pivot - 1 =>
> >       ...
> >    when Pivot + 1 .. Numbers_Array_Element_Type'Last =>
> >       ...
> >    when others =>
> >       null;
> > end case;
> >
> > and, Pivot must be constant.
>
> No, it must be static! Non-static choices are allowed only if there is just one
> choice with this value (except for an additional others choice).