Path: news.cs.au.dk!news.net.uni-c.dk!howland.erols.net!portc.blue.aol.com.MISMATCH!portc03.blue.aol.com!portc01.blue.aol.com!skynet.be!poster!not-for-mail
From: Atle <trollet@skynet.be>
Newsgroups: comp.lang.beta
Subject: Re: exceptions: (atle // confused (# again #) atle)
Date: Mon, 19 Jun 2000 23:08:54 -0100
Organization: Belgacom Skynet SA/NV
Lines: 22
Message-ID: <394EB616.EB35CCE1@skynet.be>
References: <20000619173848.8485.qmail@noatun.mjolner.dk> <8im02p$8s5j$1@xinwen.cs.au.dk>
NNTP-Posting-Host: dialup139.charleroi.skynet.be
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Trace: news1.skynet.be 961448649 32479 195.238.7.139 (19 Jun 2000 21:04:09 GMT)
X-Complaints-To: abuse@skynet.be
NNTP-Posting-Date: 19 Jun 2000 21:04:09 GMT
X-Mailer: Mozilla 4.51 [en] (X11; I; Linux 2.2.5-15 i686)
X-Accept-Language: en
Xref: news.cs.au.dk comp.lang.beta:12448

Jorgen Lindskov Knudsen wrote:
>
> The third model is 'static exception handling': This is the model used in
> BETA.  Raising exception is similar to the dymnamic model.  The difference
> is, that is is _not_ the runtime system, that makes a traversal of the
> runtime stack to find some appropriate exception handler.  However, the
> static definition of the exception implied the definition of the handler,
> being associated with the exception, implying that the handler is statically
> specified in the program text.  The virtual mechanism of the language is
> used to make it possible to associate different handlers to an exception.
Could you give me a reference to some pseudocode that just traces the program execution?
I will read the chp on static exceptions again, though :-)
> 
> Which of these model, one prefer is partly a matter of taste, and background
I intuitively felt that this third model was the 'right' one, at least when I read about it the first time.

I have a Y/N question that would help me to get answered:

Is all program flow explicit in the code dealing with the exception (Y/N)?
(Meaning: Does it 'work like' checking return values?

Thanks, Atle