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
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
|
/* *******************************************************************
* Copyright (c) 2002 Palo Alto Research Center, Incorporated (PARC).
* All rights reserved.
* This program and the accompanying materials are made available
* under the terms of the Eclipse Public License v1.0
* which accompanies this distribution and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* PARC initial implementation
* ******************************************************************/
package org.aspectj.weaver.patterns;
import org.aspectj.bridge.AbortException;
import org.aspectj.weaver.World;
import org.aspectj.weaver.patterns.BindingTypePattern;
import org.aspectj.weaver.patterns.Bindings;
import org.aspectj.weaver.patterns.PatternParser;
import org.aspectj.weaver.patterns.Pointcut;
import org.aspectj.weaver.patterns.TestScope;
import org.aspectj.weaver.reflect.ReflectionWorld;
public class BindingTestCase extends PatternsTestCase {
public World getWorld() {
return new ReflectionWorld(true, this.getClass().getClassLoader());
}
public void testResolveBindings() {
BindingTypePattern at = new BindingTypePattern(world.resolve("java.lang.Object"), 0, false);
BindingTypePattern bt = new BindingTypePattern(world.resolve("java.lang.Object"), 1, false);
BindingTypePattern[] all = new BindingTypePattern[] { at, bt };
BindingTypePattern[] none = new BindingTypePattern[] { null, null };
BindingTypePattern[] a = new BindingTypePattern[] { at, null };
BindingTypePattern[] b = new BindingTypePattern[] { null, bt };
checkBindings("this(b)", b);
checkBindings("this(java.lang.String)", none);
checkBindings("this(*)", none);
checkBindings("this(a)", a);
try {
checkBindings("args(.., a,..,b)", all);
// checkBindings("args(a,..,b, ..)", all);
fail("shouldn't be implemented yet");
} catch (Throwable ae) {
// // diff world implementations may exit by different means
// } catch (Exception e) {
// // diff world implementations may exit by different means
}
checkBindings("args(a,..,b)", all);
checkBindings("args(b)", b);
checkBindings("args()", none);
checkBindings("this(a) && this(b)", all);
checkBindingFailure("this(a) && this(a)", "multiple");
// checkBindingFailure("this(a) && this(b)");
checkBindingFailure("this(a) || this(b)", "inconsistent");
checkBindingFailure("this(java.lang.String) || this(b)", "inconsistent");
checkBindingFailure("this(a) || this(java.lang.String)", "inconsistent");
checkBindings("this(a) || this(a)", a);
checkBindings("!this(java.lang.String)", none);
checkBindings("!this(java.lang.String) && this(a)", a);
checkBindingFailure("!this(a)", "negation");
// checkBindingFailure("this(a)");
checkBindings("cflow(this(a))", a);
checkBindings("cflow(this(a)) && this(b)", all);
checkBindingFailure("cflow(this(a)) || this(b)", "inconsistent");
checkBindingFailure("cflow(this(a)) && this(a)", "multiple");
checkBindingFailure("!cflow(this(a))", "negation");
// todo
// this should fail since a isn't visible to if
// checkBindingFailure("cflow(if(a != null)) && this(a)");
// checkBinding("cflow(if(a != null) && this(a))", a);
}
/**
* Method checkBindingFailure. (assumes an env where "a" and "b" are formals).
*
* @param string
*/
private void checkBindingFailure(String pattern, String prefix) {
PatternParser parser = new PatternParser(pattern);
Pointcut p = parser.parsePointcut();
Bindings actualBindings = new Bindings(2);
try {
p.resolveBindings(makeSimpleScope(), actualBindings);
} catch (AbortException re) {
assertEquals(prefix, re.getIMessage().getMessage().substring(0, prefix.length()));
// System.out.println("expected exception: " + re);
return;
} catch (Throwable t) {
assertTrue(prefix, t.getMessage().indexOf(prefix) != -1);
return;
}
assertTrue("should have failed", false);
}
/**
* Method checkBindings.
*
* @param string
* @param i
*/
private void checkBindings(String pattern, BindingTypePattern[] expectedBindings) {
PatternParser parser = new PatternParser(pattern);
Pointcut p = parser.parsePointcut();
Bindings actualBindings = new Bindings(expectedBindings.length);
TestScope simpleScope = makeSimpleScope();
p.resolveBindings(simpleScope, actualBindings);
// System.out.println(actualBindings);
new Bindings(expectedBindings).checkEquals(actualBindings, simpleScope);
}
public TestScope makeSimpleScope() {
return new TestScope(new String[] { "int", "java.lang.String" }, new String[] { "a", "b" }, world);
}
}
|