Re: Ada code snippet help (array of arrays)

["Egil Høvik" <egilhovik@hotmail.com>]

On May 13, 4:11 pm, Vamp4L <vampir...@gmail.com> wrote:
> Trying to figure out why my code doesn't work
> This line in particular doesn't compile "if Theater(Seat)(reserved) =
> F then" :
>
> with Ada.Text_Io; use Ada.Text_Io;
> procedure Ch4Ex22 is
>    package Int_Io is new Integer_Io(Integer);
>    use Int_Io;
>    package Boolean_Io is new Enumeration_Io(Boolean);
>    use Boolean_Io;
>
>    T: constant Boolean := True;
>    F: constant Boolean := False;

No need to define your own constants... True and False are
already enumerated values (constants) of type Boolean.

>    type Seatattributes is (Reserved, Balcony);
>    type SeatType is array(SeatAttributes) of Boolean;

Attributes of a type are usually represented as a record:

type Seating is
record
   Reserved : Boolean;
   Balcony : Boolean;
end record;


>    type Theater is array (1..50) of SeatType;
>    A: Theater := (1=>(T,F),2..7=>(F,F),8=>(T,F),9..15=>(F,F),16=>
> (T,F),
>       17..23=>(F,F),24=>(T,F),25..29=>(F,F),30..31=>(F,T),32=>(T,T),
> 33..49=>(F,T),50=>(T,T));
>

How about:

A : Theater := (
   1 | 8 | 16 | 24 => (Reserved => True, Balcony => False),
   2..7 | 9..15 | 17..23 | 25..29 => (Reserved => False, Balcony =>
False),
   30..31 | 33..49 => (Reserved => False, Balcony => True),
   32 | 50 => (Reserved => True, Balcony => True ));

>    begin
>
>       for Seat in Theater'range loop
>          if Theater(Seat)(reserved) = F then
>             Put(Seat, 1); New_Line;
>          end if;
>       end loop;
>
> end Ch4Ex22;