blob: 1f299e4834e57b50aaba3e2b84b5654f28379150 (
plain)
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
58
59
60
61
62
63
64
65
66
67
68
69
70
71
|
import org.aspectj.testing.Tester;
import org.aspectj.testing.Tester;
/**
* @testcase PR#528 10rc1 error in return type (verify error if -usejavac, compile error (missing return value) otherwise)
* @testcase PR#528 10a1 unimplemented method if around advice/cflow on methods introduced by interface
*
* The !cflow(within(B)) winds up being the best test case so far for
* the ExceptionInInitializer bug with null fields for cflow state
*
*/
public class PR528 {
public static void main(String[] args) {
C c = new C();
c.trigger(); // toggled to true, do callback
c.trigger(); // toggled to false, do trigger
Tester.checkAllEvents();
}
static {
Tester.expectEvent("test");
Tester.expectEvent("test"); // called for each trigger
Tester.expectEvent("callback");
Tester.expectEvent("trigger");
Tester.expectEvent("around 0");
Tester.expectEvent("around 1");
}
}
class C {
}
abstract aspect A {
static boolean toggle;
static int originalIndex;
static int callbackIndex;
static int aroundIndex;
interface I {
}
public boolean I.test() {
Tester.event("test");
return (toggle = !toggle);
}
public void I.trigger() {
Tester.event("trigger");
Tester.check(0==originalIndex, "trigger called again: ");
originalIndex++;
}
public void I.callback() {
Tester.event("callback");
Tester.check(0==callbackIndex, "callback called again: ");
callbackIndex++;
}
declare parents: C implements I;
}
aspect B extends A {
void around(I i)
: target(i)
&& execution(public void I.trigger())
&& !cflow(within(B)) {
Tester.event("around " + aroundIndex++);
if(i.test()) {
i.callback();
} else {
proceed(i);
}
}
}
|