java/typeMigration/testData/refactoring/typeMigration/t133/before/test.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

interface I {
  void f();
}

interface J extends I {
  void g();
}

public interface Test {
  void h(J i);
}

class B implements Test {
  @Override
  public void h(J i) {
    i.f();
  }
} 

class C extends B {
  @Override
  public void h(J i) {
    i.f();
  }
}

abstract class F implements Test {}

class FF extends F {
  @Override
  public void h(J i) {
  }
}