File: queues_test_protected

```
-- 
```
```
-- Uwe R. Zimmer, Australia, 2013 
```
```
-- 
```
```
 
```

with Queues_Pack_Protected_GenericTo API doc
To spec
To body;

```
with Ada.Text_IO; use Ada.Text_IO; 
```
```
 
```

procedure Queues_Test_Protected_Generic is

```
 
```

   type Sequence      is (Ready, Set, Go);

   type Flight_States is (Take_Off, Cruising, Landing);

```
 
```
```
   package Avionics_Queue_Pack is 
```

     new Queues_Pack_Protected_GenericTo API doc
To spec
To body

       (ElementTo API doc
To spec => Sequence, Queue_EnumTo API doc
To spec => Flight_States, Queue_SizeTo API doc
To spec => 2);

```
   use Avionics_Queue_Pack; 
```
```
 
```

   Queue : Protected_QueueTo API doc
To spec;

```
 
```
```
   task type Avionics_Module is 
```

      entry Provide_State (State : Flight_States);

```
   end Avionics_ModuleTo spec
To body; 
```
```
 
```

   Avionics : array (Flight_States) of Avionics_ModuleTo spec
To body;

```
 
```
```
   task body Avionics_Module is 
```
```
 
```
```
      Local_State : Flight_States; 
```
```
      Item        : Sequence; 
```
```
 
```
```
   begin 
```

      accept Provide_State (State : Flight_States) do

```
         Local_State := State; 
```
```
      end Provide_StateTo spec
To body; 
```
```
      for Order in Sequence loop 
```

         Queue.DequeueTo API doc
To spec
To body (Local_State) (Item);

         Put_Line (Flight_States'Image (Local_State) & " says: " & Sequence'Image (Item));

```
      end loop; 
```

      Put_Line (Flight_States'Image (Local_State) & " queue is empty on exit: " & Boolean'Image (Queue.Is_EmptyTo API doc
To spec
To body (Local_State)));

```
   end Avionics_ModuleTo spec
To body; 
```
```
 
```
```
begin 
```
```
   for State in Flight_States loop 
```

      Avionics (State).Provide_StateTo spec
To body (State);

```
   end loop; 
```
```
   for Order in Sequence loop 
```

      Queue.EnqueueTo API doc
To spec
To body (Order);

      Put_Line ("Item added to queue: " & Sequence'Image (Order));

```
   end loop; 
```

end Queues_Test_Protected_GenericTo spec
To body;

Documentation