Re: should postconditions be evaluated even if Exception is thrown?

[Walter Bright]

Rory McGuire wrote:

I would think that if a method in a class throws then at least the class' invariant should be run? does it?

No.