OLD | NEW |
1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 | 4 |
5 library status_expression; | 5 library status_expression; |
6 | 6 |
7 /** | 7 /** |
8 * Parse and evaluate expressions in a .status file for Dart and V8. | 8 * Parse and evaluate expressions in a .status file for Dart and V8. |
9 * There are set expressions and Boolean expressions in a .status file. | 9 * There are set expressions and Boolean expressions in a .status file. |
10 * The grammar is: | 10 * The grammar is: |
(...skipping 31 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
42 static const String LEFT_PAREN = "("; | 42 static const String LEFT_PAREN = "("; |
43 static const String RIGHT_PAREN = ")"; | 43 static const String RIGHT_PAREN = ")"; |
44 static const String DOLLAR_SYMBOL = r"$"; | 44 static const String DOLLAR_SYMBOL = r"$"; |
45 static const String UNION = ","; | 45 static const String UNION = ","; |
46 static const String EQUALS = "=="; | 46 static const String EQUALS = "=="; |
47 static const String NOT_EQUALS = "!="; | 47 static const String NOT_EQUALS = "!="; |
48 static const String AND = "&&"; | 48 static const String AND = "&&"; |
49 static const String OR = "||"; | 49 static const String OR = "||"; |
50 } | 50 } |
51 | 51 |
52 | |
53 class Tokenizer { | 52 class Tokenizer { |
54 String expression; | 53 String expression; |
55 List<String> tokens; | 54 List<String> tokens; |
56 | 55 |
57 Tokenizer(String this.expression) | 56 Tokenizer(String this.expression) : tokens = new List<String>(); |
58 : tokens = new List<String>(); | |
59 | 57 |
60 // Tokens are : "(", ")", "$", ",", "&&", "||", "==", "!=", and (maximal) \w+. | 58 // Tokens are : "(", ")", "$", ",", "&&", "||", "==", "!=", and (maximal) \w+. |
61 static final testRegexp = | 59 static final testRegexp = |
62 new RegExp(r"^([()$\w\s,]|(\&\&)|(\|\|)|(\=\=)|(\!\=))+$"); | 60 new RegExp(r"^([()$\w\s,]|(\&\&)|(\|\|)|(\=\=)|(\!\=))+$"); |
63 static final regexp = new RegExp(r"[()$,]|(\&\&)|(\|\|)|(\=\=)|(\!\=)|\w+"); | 61 static final regexp = new RegExp(r"[()$,]|(\&\&)|(\|\|)|(\=\=)|(\!\=)|\w+"); |
64 | 62 |
65 List<String> tokenize() { | 63 List<String> tokenize() { |
66 if (!testRegexp.hasMatch(expression)) { | 64 if (!testRegexp.hasMatch(expression)) { |
67 throw new FormatException("Syntax error in '$expression'"); | 65 throw new FormatException("Syntax error in '$expression'"); |
68 } | 66 } |
69 for (Match match in regexp.allMatches(expression)) tokens.add(match[0]); | 67 for (Match match in regexp.allMatches(expression)) tokens.add(match[0]); |
70 return tokens; | 68 return tokens; |
71 } | 69 } |
72 } | 70 } |
73 | 71 |
74 | |
75 abstract class BooleanExpression { | 72 abstract class BooleanExpression { |
76 bool evaluate(Map<String, String> environment); | 73 bool evaluate(Map<String, String> environment); |
77 } | 74 } |
78 | 75 |
79 | |
80 abstract class SetExpression { | 76 abstract class SetExpression { |
81 Set<String> evaluate(Map<String, String> environment); | 77 Set<String> evaluate(Map<String, String> environment); |
82 } | 78 } |
83 | 79 |
84 | |
85 class Comparison implements BooleanExpression { | 80 class Comparison implements BooleanExpression { |
86 TermVariable left; | 81 TermVariable left; |
87 TermConstant right; | 82 TermConstant right; |
88 bool negate; | 83 bool negate; |
89 | 84 |
90 Comparison(this.left, this.right, this.negate); | 85 Comparison(this.left, this.right, this.negate); |
91 | 86 |
92 bool evaluate(environment) { | 87 bool evaluate(environment) { |
93 return | 88 return negate != |
94 negate != (left.termValue(environment) == right.termValue(environment)); | 89 (left.termValue(environment) == right.termValue(environment)); |
95 } | 90 } |
96 | 91 |
97 String toString() => | 92 String toString() => |
98 "(\$${left.name} ${negate ? '!=' : '=='} ${right.value})"; | 93 "(\$${left.name} ${negate ? '!=' : '=='} ${right.value})"; |
99 } | 94 } |
100 | 95 |
101 | |
102 class TermVariable { | 96 class TermVariable { |
103 String name; | 97 String name; |
104 | 98 |
105 TermVariable(this.name); | 99 TermVariable(this.name); |
106 | 100 |
107 String termValue(environment) { | 101 String termValue(environment) { |
108 var value = environment[name]; | 102 var value = environment[name]; |
109 if (value == null) { | 103 if (value == null) { |
110 throw new ExprEvaluationException( | 104 throw new ExprEvaluationException("Could not find '$name' in environment " |
111 "Could not find '$name' in environment " | |
112 "while evaluating status file expression."); | 105 "while evaluating status file expression."); |
113 } | 106 } |
114 return value.toString(); | 107 return value.toString(); |
115 } | 108 } |
116 } | 109 } |
117 | 110 |
118 | |
119 class TermConstant { | 111 class TermConstant { |
120 String value; | 112 String value; |
121 | 113 |
122 TermConstant(String this.value); | 114 TermConstant(String this.value); |
123 | 115 |
124 String termValue(environment) => value; | 116 String termValue(environment) => value; |
125 } | 117 } |
126 | 118 |
127 | |
128 class BooleanVariable implements BooleanExpression { | 119 class BooleanVariable implements BooleanExpression { |
129 TermVariable variable; | 120 TermVariable variable; |
130 | 121 |
131 BooleanVariable(this.variable); | 122 BooleanVariable(this.variable); |
132 | 123 |
133 bool evaluate(environment) => variable.termValue(environment) == 'true'; | 124 bool evaluate(environment) => variable.termValue(environment) == 'true'; |
134 String toString() => "(bool \$${variable.name})"; | 125 String toString() => "(bool \$${variable.name})"; |
135 } | 126 } |
136 | 127 |
137 | |
138 class BooleanOperation implements BooleanExpression { | 128 class BooleanOperation implements BooleanExpression { |
139 String op; | 129 String op; |
140 BooleanExpression left; | 130 BooleanExpression left; |
141 BooleanExpression right; | 131 BooleanExpression right; |
142 | 132 |
143 BooleanOperation(this.op, this.left, this.right); | 133 BooleanOperation(this.op, this.left, this.right); |
144 | 134 |
145 bool evaluate(environment) => (op == Token.AND) ? | 135 bool evaluate(environment) => (op == Token.AND) |
146 left.evaluate(environment) && right.evaluate(environment) : | 136 ? left.evaluate(environment) && right.evaluate(environment) |
147 left.evaluate(environment) || right.evaluate(environment); | 137 : left.evaluate(environment) || right.evaluate(environment); |
148 String toString() => "($left $op $right)"; | 138 String toString() => "($left $op $right)"; |
149 } | 139 } |
150 | 140 |
151 | |
152 class SetUnion implements SetExpression { | 141 class SetUnion implements SetExpression { |
153 SetExpression left; | 142 SetExpression left; |
154 SetExpression right; | 143 SetExpression right; |
155 | 144 |
156 SetUnion(this.left, this.right); | 145 SetUnion(this.left, this.right); |
157 | 146 |
158 // Overwrites left.evaluate(env). | 147 // Overwrites left.evaluate(env). |
159 // Set.addAll does not return this. | 148 // Set.addAll does not return this. |
160 Set<String> evaluate(environment) { | 149 Set<String> evaluate(environment) { |
161 Set<String> result = left.evaluate(environment); | 150 Set<String> result = left.evaluate(environment); |
162 result.addAll(right.evaluate(environment)); | 151 result.addAll(right.evaluate(environment)); |
163 return result; | 152 return result; |
164 } | 153 } |
165 | 154 |
166 String toString() => "($left || $right)"; | 155 String toString() => "($left || $right)"; |
167 } | 156 } |
168 | 157 |
169 | |
170 class SetIf implements SetExpression { | 158 class SetIf implements SetExpression { |
171 SetExpression left; | 159 SetExpression left; |
172 BooleanExpression right; | 160 BooleanExpression right; |
173 | 161 |
174 SetIf(this.left, this.right); | 162 SetIf(this.left, this.right); |
175 | 163 |
176 Set<String> evaluate(environment) => right.evaluate(environment) ? | 164 Set<String> evaluate(environment) => right.evaluate(environment) |
177 left.evaluate(environment) : new Set<String>(); | 165 ? left.evaluate(environment) |
| 166 : new Set<String>(); |
178 String toString() => "($left if $right)"; | 167 String toString() => "($left if $right)"; |
179 } | 168 } |
180 | 169 |
181 | |
182 class SetConstant implements SetExpression { | 170 class SetConstant implements SetExpression { |
183 String value; | 171 String value; |
184 | 172 |
185 SetConstant(String v) : value = v.toLowerCase(); | 173 SetConstant(String v) : value = v.toLowerCase(); |
186 | 174 |
187 Set<String> evaluate(environment) => new Set<String>.from([value]); | 175 Set<String> evaluate(environment) => new Set<String>.from([value]); |
188 String toString() => value; | 176 String toString() => value; |
189 } | 177 } |
190 | 178 |
191 | |
192 // An iterator that allows peeking at the current token. | 179 // An iterator that allows peeking at the current token. |
193 class Scanner { | 180 class Scanner { |
194 List<String> tokens; | 181 List<String> tokens; |
195 Iterator tokenIterator; | 182 Iterator tokenIterator; |
196 String current; | 183 String current; |
197 | 184 |
198 Scanner(this.tokens) { | 185 Scanner(this.tokens) { |
199 tokenIterator = tokens.iterator; | 186 tokenIterator = tokens.iterator; |
200 advance(); | 187 advance(); |
201 } | 188 } |
202 | 189 |
203 bool hasMore() => current != null; | 190 bool hasMore() => current != null; |
204 | 191 |
205 void advance() { | 192 void advance() { |
206 current = tokenIterator.moveNext() ? tokenIterator.current : null; | 193 current = tokenIterator.moveNext() ? tokenIterator.current : null; |
207 } | 194 } |
208 } | 195 } |
209 | 196 |
210 | |
211 class ExpressionParser { | 197 class ExpressionParser { |
212 Scanner scanner; | 198 Scanner scanner; |
213 | 199 |
214 ExpressionParser(this.scanner); | 200 ExpressionParser(this.scanner); |
215 | 201 |
216 SetExpression parseSetExpression() => parseSetUnion(); | 202 SetExpression parseSetExpression() => parseSetUnion(); |
217 | 203 |
218 SetExpression parseSetUnion() { | 204 SetExpression parseSetUnion() { |
219 SetExpression left = parseSetIf(); | 205 SetExpression left = parseSetIf(); |
220 while (scanner.hasMore() && scanner.current == Token.UNION){ | 206 while (scanner.hasMore() && scanner.current == Token.UNION) { |
221 scanner.advance(); | 207 scanner.advance(); |
222 SetExpression right = parseSetIf(); | 208 SetExpression right = parseSetIf(); |
223 left = new SetUnion(left, right); | 209 left = new SetUnion(left, right); |
224 } | 210 } |
225 return left; | 211 return left; |
226 } | 212 } |
227 | 213 |
228 SetExpression parseSetIf() { | 214 SetExpression parseSetIf() { |
229 SetExpression left = parseSetOr(); | 215 SetExpression left = parseSetOr(); |
230 while (scanner.hasMore() && scanner.current == "if") { | 216 while (scanner.hasMore() && scanner.current == "if") { |
231 scanner.advance(); | 217 scanner.advance(); |
232 BooleanExpression right = parseBooleanExpression(); | 218 BooleanExpression right = parseBooleanExpression(); |
233 left = new SetIf(left, right); | 219 left = new SetIf(left, right); |
234 } | 220 } |
235 return left; | 221 return left; |
236 } | 222 } |
237 | 223 |
238 SetExpression parseSetOr() { | 224 SetExpression parseSetOr() { |
239 SetExpression left = parseSetAtomic(); | 225 SetExpression left = parseSetAtomic(); |
240 while (scanner.hasMore() && scanner.current == Token.OR){ | 226 while (scanner.hasMore() && scanner.current == Token.OR) { |
241 scanner.advance(); | 227 scanner.advance(); |
242 SetExpression right = parseSetAtomic(); | 228 SetExpression right = parseSetAtomic(); |
243 left = new SetUnion(left, right); | 229 left = new SetUnion(left, right); |
244 } | 230 } |
245 return left; | 231 return left; |
246 } | 232 } |
247 | 233 |
248 | |
249 SetExpression parseSetAtomic() { | 234 SetExpression parseSetAtomic() { |
250 if (scanner.current == Token.LEFT_PAREN) { | 235 if (scanner.current == Token.LEFT_PAREN) { |
251 scanner.advance(); | 236 scanner.advance(); |
252 SetExpression value = parseSetExpression(); | 237 SetExpression value = parseSetExpression(); |
253 if (scanner.current != Token.RIGHT_PAREN) { | 238 if (scanner.current != Token.RIGHT_PAREN) { |
254 throw new FormatException("Missing right parenthesis in expression"); | 239 throw new FormatException("Missing right parenthesis in expression"); |
255 } | 240 } |
256 scanner.advance(); | 241 scanner.advance(); |
257 return value; | 242 return value; |
258 } | 243 } |
(...skipping 61 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
320 "Expected value in expression, got ${scanner.current}"); | 305 "Expected value in expression, got ${scanner.current}"); |
321 } | 306 } |
322 TermConstant right = new TermConstant(scanner.current); | 307 TermConstant right = new TermConstant(scanner.current); |
323 scanner.advance(); | 308 scanner.advance(); |
324 return new Comparison(left, right, negate); | 309 return new Comparison(left, right, negate); |
325 } else { | 310 } else { |
326 return new BooleanVariable(left); | 311 return new BooleanVariable(left); |
327 } | 312 } |
328 } | 313 } |
329 } | 314 } |
330 | |
OLD | NEW |