Bug 499316

Description Melina Mongiovi 2016-08-06 19:11:06 EDT

Behavior Preserving Transformation is rejected.

Reproducible: Always

Steps to Reproduce:
1. Create the following program
package p;
public class A {
  void m(String m){
    System.out.println("A");
  }
}
class B extends A {
  void k( Object m){
    System.out.println("B");
  }
}


2. Rename method A.m to k

3. The tool does not apply the transformation and warn the following message:
or a type in its hierarchy  defines a method with the  same number of parameters,  but different parameter type names.

4. However, the following possible resulting program compiles and the transformation preserves the program behavior, which indicates that some refactoring conditions may be overly strong. 

package p;
public class A {
  void k(String m){
    System.out.println("A");
  }
}
class B extends A {
  void k( Object m){
    System.out.println("B");
  }
}