blob: 30775a593f69694b2ca441740bbe99c6b88b9c22 (
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
|
// Decp an interface with an ITD field
abstract aspect GenericAspect<A> {
interface SimpleI {}
declare parents: A implements SimpleI;
public int SimpleI.n;
}
aspect GenericAspectD extends GenericAspect<Base> {
public static void main(String []argv) {
Base b = new Base();
if (!(b instanceof SimpleI))
throw new RuntimeException("Base should implement SimpleI!");
b.n=42;
}
}
class Base {}
|
