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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57

package aspects;

import app.Main;

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

    declare warning : staticinitialization(Main)
        : "staticinitialization(Main)";
        
    declare warning : initialization(Main.new()) // 23
        : "initialization(Main.new())";

    declare warning : execution(void Main.go(String))
        : "execution(void Main.go(String))";

    declare warning : call(Main.new())
        : "call(Main.new())";

    declare warning : call(void Main.go(String))
        : "call(void Main.go(String))";

    declare warning : call(void app.D.go())  // 42 (bug missing)
        && withincode(void Main.stop())
        : "withincode(void Main.stop())";

    declare warning : call(void app.D.go()) // 32
    && withincode(void Main.go(String))
        : "D.go withincode(void Main.go(String))";

    declare warning : call(void Main.stop()) // 35
    && withincode(void Main.go(String))
        : "Main.stop withincode(void Main.go(String))";

    declare warning : get(String Main.s)
        : "get(String Main.s)";

    declare warning : set(String Main.s)
        : "set(String Main.s)";

    declare warning : get(String Main.staticString)
        : "get(String Main.staticString)";

    declare warning : set(String Main.staticString)
        : "set(String Main.staticString)";

    declare warning : handler(RuntimeException)
        && within(Main)
        : "handler(RuntimeException) && within(Main)";

    declare warning : preinitialization(app.C.new())
        : "preinitialization(app.C.new())";
    
//    declare warning : adviceexecution() && within(app.AdvisingAspect)
//        : "adviceexecution() && within(app.AdvisingAspect)";
}