comp.lang.ada
 help / color / mirror / Atom feed
From: stt@ada-uts
Subject: Re: Propagation of exceptions raised wi
Date: Fri, 20-Jun-86 11:05:00 EDT	[thread overview]
Date: Fri Jun 20 11:05:00 1986
Message-ID: <4700040@ada-uts> (raw)
In-Reply-To: 325@cernvax.UUCP


Quoting from the Ada RM, 11.4.1:4,8 ...
"If an exception is raised in the sequence of statements of a frame
that does not have a handler for the exception [ e.g.
your "raise TASK_CRASHED" ], execution of this sequence
of statements is abandoned.  The next action depends on
the nature of the frame:

. . .
  (d)  For a task body, the task becomes completed."

In other words, exceptions are not propagated out of task bodies.
Even the "master" is unaware that a task completed due to
an unhandled exception.  It only knows that the task completed somehow.

Just to confuse things, exceptions ARE propagated out
of accept bodies, to both the caller and the called task.

      parent reply	other threads:[~1986-06-20 15:05 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1986-06-02 16:16 Propagation of exceptions raised within tasks frigo
1986-06-04 14:13 ` Propagation of exceptions raised wit emery
1986-06-06 13:41   ` Doug Bryan
1986-06-06 20:57 ` emery
1986-06-20 15:05 ` stt [this message]
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox