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


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

public aspect AJ3 {

    class X{}
    interface Y {}
    interface Z {}

    declare parents : X implements Y;
    declare warning: execution(* x(..)): "";
    declare error: execution(* x(..)): "";
    declare soft : Exception : execution(void x());
    declare parents : X implements Z;
    declare warning: execution(* x(..)): "";
    declare error: execution(* x(..)): "";

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