Re: Protected type defined in the procedure

["Martin Dowie" <martin.dowie@baesystems.com>]

Yes, you can, e.g.:

with Ada.Text_IO; use Ada.Text_IO;

procedure Test_Prot_Task_Comms is
   protected type A_Resource is
      entry Seize;
      procedure Release;
   private
      Busy : Boolean := False;
   end A_Resource;
   protected body A_Resource is
      entry Seize when not Busy is
      begin
         Busy := True;
      end Seize;
      procedure Release is
      begin
         Busy := False;
      end Release;
   end A_Resource;
   This_Resource : A_Resource;
   task Foo;
   task body Foo is
   begin
      loop
         This_Resource.Seize;
         Put_Line ("Task");
         This_Resource.Release;
         delay 1.0;
      end loop;
   end Foo;
begin
   delay 1.0;
   loop
      This_Resource.Seize;
      Put_Line ("Main");
      This_Resource.Release;
      delay 3.0;
   end loop;
end Test_Prot_Task_Comms;