On 01/03/2015 09:29 PM, Peter Firmstone wrote:
----- Original message -----
>
> As Brian points out, this scheme can only validate intra-class
> invariants. It can't validate class-against-subclass state.

Sorry, I meant it can't validate class -against-superclass state.


Did he say that?

Not directly - his example was pointing that out.


Regards, Peter

Reply via email to