tests/bugs185/451966/Code2.java


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
28
29
30
31

public class Code2 {
  public static void main(String []argv) {
    new Bar().foo();
  }
}
interface Common { }

interface Allergies extends Common { 
  default public void foo() {
  }
}

class Bar implements Allergies { }

aspect Y {
  private boolean Common.instancesInvariant() {
    return false;
  }
}

privileged aspect AspectJMLRac_allergies_Allergies {
  before(final Allergies object$rac): execution(* Allergies+.*(..)) && this(object$rac) {
    Runnable r = new Runnable() {
      public void run() {
        boolean b = object$rac.instancesInvariant();
      }
    };
    boolean b = object$rac.instancesInvariant();
  }
}