Peter Haworth [mailto:[EMAIL PROTECTED]] wrote: > This is all very sensible, and I completely agree with it. > However, don't we > need some restrictions on what can go in PRE and POST blocks > to ensure that they are still valid in inherited methods?
There's another issue: sometimes we don't want to inherit PRE conditions. DBC allows a derived method to strengthen (add) post-conditions; but to weaken (remove) preconditions. I haven't (yet) seen how this weakening would be accomplished. Perhaps the mechanism that controls inheritance of preconditions may have a more general applicability? Dave.
