blob: 9571b221859023f9fcdd40cd436ad449efdc5402 (
plain)
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
|
// should give *no* errors....
class Parent {
// declared in Parent, overridden in Child
public void parent_child() {} // AAA
// declared in Parent, overridden in Injector
public void parent_injector() {} // BBB
}
class Child extends Parent {
// works
@Override public void parent_child() {} // AAA
// must override a superclass method
@Override public void injector_child() {} // CCC
}
aspect Injector {
public void Parent.injector_child() {} // CCC
public void Parent.injector_injector() {} // DDD
// must override a superclass method
@Override public void Child.parent_injector() {} // BBB
// must override a superclass method
@Override public void Child.injector_injector() {} // DDD
}
|
