On Fri, Oct 04, 2002 at 08:21:55PM -0400, Trey Harris wrote:
> > I can see too many problems with that technique, I think one was
> > already mentioned where subclasses can unintentionally weaken
> > preconditions to the point of eliminating them.  I'm sort of casting
> > about looking for another way.
> 
> Could you illustrate a case?  I don't know what you're talking about.
> It's completely valid to eliminate a precondition, because "true" is the
> weakest possible precondition.

I thought someone had posted an example, but now I can't find it and I can't
remember what it was.


-- 

Michael G. Schwern   <[EMAIL PROTECTED]>    http://www.pobox.com/~schwern/
Perl Quality Assurance      <[EMAIL PROTECTED]>         Kwalitee Is Job One
It sure is fun masturbating.
        http://www.unamerican.com/

Reply via email to