Description Philipe Mulet 2006-01-18 06:03:26 EST

3.2m4

Simple testcase:
public class X {
	void foo(){}
}
class Y extends X {
	void foo(){}
}
class Z {
	void bar(X x) {
		x.foo();
	}
}

Select Y#foo() and change its signature to add an extra parameter (int newParam),
it will alter Z, though Z shouldn't be altered as only Y#foo() got selected.

public class X {
	void foo(int newParam){}
}
class Y extends X {
	void foo(int newParam){}
}
class Z {
	void bar(X x) {
		x.foo(0);
	}
}

Ideally, to preserve semantics, refactoring should have created a bridge method on Y:
public class X {
	void foo(){}
}
class Y extends X {
        void foo() { foo(0); }
	void foo(int newParam){}
}
class Z {
	void bar(X x) {
		x.foo();
	}
}