Bug 499320

Description Melina Mongiovi 2016-08-06 19:26:45 EDT

Behavior Preserving Transformation is rejected.

Reproducible: Always

Steps to Reproduce:
1. Create the following classes

package p;
class X {
  void k(){
  }
}
class A {
  private void m(){
    System.out.println("a");
  }
class B extends X {
    void f(){
      m();
    }
    public void foo(){
    }
  }
}



2. Rename method A.m to k

3. The tool does not apply the transformation and warn the following messages:
Problem in 'A.java'. Another name will shadow  access to the renamed element

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;
class X {
  void k(){
  }
}
class A {
  private void k(){
    System.out.println("a");
  }
class B extends X {
    void f(){
      A.this.k();
    }
    public void foo(){
    }
  }
}