blob: de99c1905aef1e13c525e920601bbaf64b73d2f3 (
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
|
/**
*
*
*/
aspect A dominates Foo persingleton() { }
//aspect B perthis(foo()) {
//XXX don't forget an error test for foo() not found}
aspect C {
pointcut w(int x): args(x) && if(x < 10);
pointcut x(): cflow(y());
pointcut y(): withincode(int m());
pointcut z(): execution(void m()) a b c;
declare error: execution(void m()): "hi" ac;
pointcut p(): handler(Foo);
pointcut p2(): initialization(Object.new(..));
declare dominates: A, B;
}
aspect D a b c {}
|