Bug 488812

Description Melina Mongiovi 2016-03-01 18:50:47 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 synchronized int m(B b){
    return 0;
  }
}

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 synchronized methods.

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

package p1;
public class A {}

package p2;
public class B {
  public synchronized int m(){
    return 0;
  }
}