diff options
Diffstat (limited to 'tests/new/binaryWarnings/src/aspects/MainWarnings.java')
-rw-r--r-- | tests/new/binaryWarnings/src/aspects/MainWarnings.java | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/tests/new/binaryWarnings/src/aspects/MainWarnings.java b/tests/new/binaryWarnings/src/aspects/MainWarnings.java index 4debf1f3b..218968f94 100644 --- a/tests/new/binaryWarnings/src/aspects/MainWarnings.java +++ b/tests/new/binaryWarnings/src/aspects/MainWarnings.java @@ -7,14 +7,11 @@ import app.Main; public privileged aspect MainWarnings { declare warning : staticinitialization(Main) - : "staticinitializtion(Main)"; + : "staticinitialization(Main)"; - declare warning : initialization(Main.new()) + declare warning : initialization(Main.new()) // 23 : "initialization(Main.new())"; - declare warning : execution(Main.new()) - : "execution(Main.new())"; - declare warning : execution(void Main.go(String)) : "execution(void Main.go(String))"; @@ -24,13 +21,17 @@ public privileged aspect MainWarnings { declare warning : call(void Main.go(String)) : "call(void Main.go(String))"; - declare warning : call(Main.new()) + declare warning : call(void app.D.go()) // 42 (bug missing) && withincode(void Main.stop()) - : "call(Main.new()) && 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()) + declare warning : call(void Main.stop()) // 35 && withincode(void Main.go(String)) - : "call(void Main.stop()) && withincode(void Main.go(String))"; + : "Main.stop withincode(void Main.go(String))"; declare warning : get(String Main.s) : "get(String Main.s)"; |