tests/new/DeclareSoft2.java


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

import java.io.IOException;

class DeclareSoft2 {
    public static void main(String[] x) {
	foo();
    }

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

}

aspect A  {

    void around(): call(void foo()) {
	try { proceed(); }
	catch (IOException e) {}
    }
    declare soft: IOException: call(void foo());
}