tests/decs/VerifyError.aj


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

import java.io.IOException;
import org.aspectj.lang.SoftException;

public class VerifyError {

    static void foo() throws IOException {
        throw new IOException();
    }

    public static void main(String[] args) throws Exception{
		try {
            foo();
		} catch (SoftException sEx) {
			//
		}
    }
}


aspect Soften {

    declare soft : IOException : call(* foo());
}