tests/java5/generics/itds/AtOverride4.aj


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

// 4. parent and child placed by ITD, @override on child (no error)

class Parent {
}

class Child extends Parent {
}

aspect Injector { 

  public void Parent.method() {}  
  @Override public void Child.method() {}  // OK, parent ITD'd

  public Object Parent.method2() {return null;}  
  @Override public String Child.method2() {return null;}  // OK, parent ITD'd, covariance

}