tests/new/binaryWarnings/src/aspects/MainExecStartLinesErrors.java


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

package aspects;

import app.MainExecStartLines;

// WARNING: do not change message text without changing test specification
public privileged aspect MainExecStartLinesErrors {

    declare error : execution(void MainExecStartLines.main(String[]))
        : "execution(void MainExecStartLines.main(String[]))";

    declare error : handler(RuntimeException)
        && within(MainExecStartLines)
        : "handler(RuntimeException) && within(MainExecStartLines)";

}