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