Bug 491073

Description Melina Mongiovi 2016-04-05 07:37:18 EDT

Behavior Preserving Transformation is rejected.

Reproducible: Always

Steps to Reproduce:
1. Create the following classes

package p1;
import p2.B;
public class A {
  public int m(  B b){
    return m(b);
  }
}

package p2;
public class B {}




2. Apply the move method refactoring to move method m() from class A to class B.

3. The tool does not apply the transformation and warn the following message:
This refactoring cannot be used to move potentially recursive methods.

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 p1;
import p2.B;
public class A  {}

package p2;
public class B  {
  public int m(p1.A a) {
    B b = this;
    return b.m(a);
  }
}