Lists Home |
Date Index |
David Megginson wrote:
>> Letting it go either way is the real problem.
> Noted. What does everyone else think?
As ERH said, letting users clean up after their own exceptions just makes sense.
> I see no text that indicates a user thrown exception should ever be passed to
> the ErrorHandler. Should endDocument be called even in the event of a
> user-thrown exception? I suspect not. The user threw it. Let them clean up
> after it.
And Karl's comment begs an answer, at least in my mind:
> I would phrase it this way:
> Case 1) There is no fatal error and no exceptions.
> Case 2) Fatal error, no exception.
> Case 3) Exception thrown.
> All three cases should have a defined, non-optional, behaviour,
> but only in case 1) does this seem clear at this point.
That is, are there defined behaviors for cases 2 and 3?