Posted by N V Krishna on February 09, 2004 at 13:55:44:
In Reply to: P2 - method names posted by Martin on February 08, 2004 at 17:35:10:
:
: I was talking with Kevin, and he pointed out that the HW specification says:
: "An interface can now be represented as a partial function t : (Identifier {0,1})* -> S "
: Since the Identifier of the methods is listed in the representation of the interface, does that mean that for an interface X to be a subtype of interface Z, the methods in X _must_ have the same name as the methods in Z (as well as all the other stuff?).
Yes, method names cannot be ignored.
Krishna.