Bug 488813

Description Melina Mongiovi 2016-03-01 18:51:27 EST

Behavior Preserving Transformation is rejected.

Reproducible: Always

Steps to Reproduce:
1. Create the following classes

package p1;
import p2.B;
public class A {
  public class Inner {
    public void m( B b){
      System.out.println(A.this);
    }
  }
}

package p2;
public class B {}


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

3. The tool does not apply the transformation and warn the following message:
The method cannot be moved, since it has references to enclosing instances.

4. Another refactoring tool applies the same transformation and the resulting program (the program below) preserves the program behavior.

package p1;
public class A {
  public class Inner {}
}

package p2;
import p1.A;
import p1.A.Inner;
public class B {
  public void m(Inner inner){
    System.out.println(inner);
  }
}