Re: Ensuring postconditions in the face of exceptions

[Ludovic Brenta <ludovic@ludovic-brenta.org>]

Jeffrey R. Carter wrote on comp.lang.ada:
> Ludovic Brenta wrote:
>
> > That's an interesting suggestion but we've patched the run-time library
> > so that it dumps core on every exception; we use exceptions only for
> > exceptional situations and dumping core freezes the system for 30
> > seconds to produce a file roughly 300 MiB in size.  So I would rather
> > not raise exceptions that are do not detect a bug.
>
> Let me see if I understand this correctly: Visit raises an exception, which
> freezes the system for 30 s and writes a large file. Then you handle the
> exception, assign to Dirty, and re-raise the exception, again freezing the
> system and writing the file.
>
> Is that how this is expected to work?

Not exactly because we've taken this situation into account when
patching the run-time library. It dumps core on the first exception
but not on re-raises, so re-raises are OK.

--
Ludovic Brenta.