tests/bugs154/pr86818/Two.java


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

// Two.m() is ITD from another aspect
public class Two {
//  public void m() {} --> gone to aspect
  public static void main(String []argv) {
   if (!(new Two() instanceof java.io.Serializable)) System.err.println("declare parents failed");
  }
}


aspect X {
  declare parents: hasmethod(public void m()) implements java.io.Serializable;
}
aspect Y {
  public void Two.m() {}
}