Noam Raphael <[EMAIL PROTECTED]> writes:

> The answer is that a subclass is guaranteed to have the same
> *interface* as the base class. And that's what matters.

This is false. For instance:

class A(object):
 def method(self, a):
    print a

class B(A):
 def method(self, a, b):
   print a, b

B implements a different interface than A. Statically typed OO
languages either use multi-methods or disallow changing the signature
of an overridden method.

A tool to detect such cases would probably be almost as useful as the
tool you've proposed.

     <mike
-- 
Mike Meyer <[EMAIL PROTECTED]>                  http://www.mired.org/home/mwm/
Independent WWW/Perforce/FreeBSD/Unix consultant, email for more information.
-- 
http://mail.python.org/mailman/listinfo/python-list

Reply via email to