tests/multiIncremental/pr329111/base/src/AJ2.java


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

public aspect AJ2 {

    class X{}
    interface Y {}

    declare soft : Exception : execution(void x());
    declare parents : X implements Y;
    declare soft : Exception : execution(void y());
    declare soft : Exception : execution(void z());

    void x() {
        throw new Exception();
    }
    void y() {
        throw new Exception();
    }
    void z() {
        throw new Exception();
    }
}