blob: aa15a12d54790b0ec32d031e56e11d99c8c98d47 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
import java.lang.annotation.*;
aspect X {
declare warning: I+ && !hasmethod(* foo(..)): "Missing foo() method in I subtype";
}
interface I {}
class C implements I {
void foo() {}
}
class D implements I {
}
|