Re: Q: Profiles

[Georg Bauhaus <rm.dash-bauhaus@futureapps.de>]

On 09.11.10 12:04, Matteo Bordin wrote:

>> What if I just want the lean and efficient Ravenscar run-time
>> but do want my tasks to terminate?
> 
> Why don't you just let your task suspend forever on an entry whose
> barrier is never opened?

The program is supposed to terminate (and I cannot change
that setup).

Did I understand correctly?  Would there be a difference if
the line Never.Enter_Castle were commented out?

pragma Profile (Ravenscar);

package Demo is
   pragma Elaborate_Body(Demo);
   task Ending;
end Demo;

package body Demo is

   protected Never is
      entry Enter_Castle;
   end Never;

   protected body Never is
      entry Enter_Castle when False is begin null;
      end Enter_Castle;
   end Never;

   task body Ending is
   begin
      -- ...
      Never.Enter_Castle;
   end Ending;

begin
   null;
end Demo;