Re: contracted exceptions

[Pascal Obry <pascal@obry.net>]

Stefan Lucks a �crit :
> If a task fails to handle an exception raised somewhere inside, the task
> silently dies -- without notifying anyone. Enforcing the subprograms
> used by the task to precisely specify "this subprogram might raise these
> exceptions and none else" would help a lot ...

That's really different. And think about it, since a task is mapped to a
thread which comes with its own stack... who could possibly handle this
exception ?

And note that in Ada 2005 you can use Ada.Task_Termination to register
termination notifications.

Pascal.

-- 

--|------------------------------------------------------
--| Pascal Obry                           Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--|              http://www.obry.net
--| "The best way to travel is by means of imagination"
--|
--| gpg --keyserver wwwkeys.pgp.net --recv-key C1082595