tests/new/PR590.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

import org.aspectj.testing.Tester;

public class PR590 {
    public static void main (String args []) {
        staticMethod ();
        new PR590().instanceMethod("bar");
    }

    public static String staticMethod () {
        return null;
    }

    public String instanceMethod(String a) {
        return "foo";
    }
} 

aspect A {
    after () returning (String s):
        execution(static String PR590.staticMethod()) && if(s == null) { } //ERR

    after () throwing (Error e):
        execution(static String PR590.staticMethod()) && if(e != null) { } //ERR
}