OLD | NEW |
| (Empty) |
1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | |
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. | |
4 | |
5 part of unittest.matcher; | |
6 | |
7 /** | |
8 * Returns a matcher that matches empty strings, maps or iterables | |
9 * (including collections). | |
10 */ | |
11 const Matcher isEmpty = const _Empty(); | |
12 | |
13 class _Empty extends Matcher { | |
14 const _Empty(); | |
15 bool matches(item, Map matchState) { | |
16 if (item is Map || item is Iterable) { | |
17 return item.isEmpty; | |
18 } else if (item is String) { | |
19 return item.length == 0; | |
20 } else { | |
21 return false; | |
22 } | |
23 } | |
24 Description describe(Description description) => description.add('empty'); | |
25 } | |
26 | |
27 /** A matcher that matches any null value. */ | |
28 const Matcher isNull = const _IsNull(); | |
29 | |
30 /** A matcher that matches any non-null value. */ | |
31 const Matcher isNotNull = const _IsNotNull(); | |
32 | |
33 class _IsNull extends Matcher { | |
34 const _IsNull(); | |
35 bool matches(item, Map matchState) => item == null; | |
36 Description describe(Description description) => description.add('null'); | |
37 } | |
38 | |
39 class _IsNotNull extends Matcher { | |
40 const _IsNotNull(); | |
41 bool matches(item, Map matchState) => item != null; | |
42 Description describe(Description description) => description.add('not null'); | |
43 } | |
44 | |
45 /** A matcher that matches the Boolean value true. */ | |
46 const Matcher isTrue = const _IsTrue(); | |
47 | |
48 /** A matcher that matches anything except the Boolean value true. */ | |
49 const Matcher isFalse = const _IsFalse(); | |
50 | |
51 class _IsTrue extends Matcher { | |
52 const _IsTrue(); | |
53 bool matches(item, Map matchState) => item == true; | |
54 Description describe(Description description) => description.add('true'); | |
55 } | |
56 | |
57 class _IsFalse extends Matcher { | |
58 const _IsFalse(); | |
59 bool matches(item, Map matchState) => item == false; | |
60 Description describe(Description description) => description.add('false'); | |
61 } | |
62 | |
63 /** | |
64 * Returns a matches that matches if the value is the same instance | |
65 * as [expected], using [identical]. | |
66 */ | |
67 Matcher same(expected) => new _IsSameAs(expected); | |
68 | |
69 class _IsSameAs extends Matcher { | |
70 final _expected; | |
71 const _IsSameAs(this._expected); | |
72 bool matches(item, Map matchState) => identical(item, _expected); | |
73 // If all types were hashable we could show a hash here. | |
74 Description describe(Description description) => | |
75 description.add('same instance as ').addDescriptionOf(_expected); | |
76 } | |
77 | |
78 /** | |
79 * Returns a matcher that matches if the value is structurally equal to | |
80 * [expected]. | |
81 * | |
82 * If [expected] is a [Matcher], then it matches using that. Otherwise it tests | |
83 * for equality using `==` on the expected value. | |
84 * | |
85 * For [Iterable]s and [Map]s, this will recursively match the elements. To | |
86 * handle cyclic structures a recursion depth [limit] can be provided. The | |
87 * default limit is 100. | |
88 */ | |
89 Matcher equals(expected, [limit=100]) => | |
90 expected is String | |
91 ? new _StringEqualsMatcher(expected) | |
92 : new _DeepMatcher(expected, limit); | |
93 | |
94 class _DeepMatcher extends Matcher { | |
95 final _expected; | |
96 final int _limit; | |
97 var count; | |
98 | |
99 _DeepMatcher(this._expected, [limit = 1000]): this._limit = limit; | |
100 | |
101 // Returns a pair (reason, location) | |
102 List _compareIterables(expected, actual, matcher, depth, location) { | |
103 if (actual is! Iterable) return ['is not Iterable', location]; | |
104 | |
105 var expectedIterator = expected.iterator; | |
106 var actualIterator = actual.iterator; | |
107 for (var index = 0; ; index++) { | |
108 // Advance in lockstep. | |
109 var expectedNext = expectedIterator.moveNext(); | |
110 var actualNext = actualIterator.moveNext(); | |
111 | |
112 // If we reached the end of both, we succeeded. | |
113 if (!expectedNext && !actualNext) return null; | |
114 | |
115 // Fail if their lengths are different. | |
116 var newLocation = '${location}[${index}]'; | |
117 if (!expectedNext) return ['longer than expected', newLocation]; | |
118 if (!actualNext) return ['shorter than expected', newLocation]; | |
119 | |
120 // Match the elements. | |
121 var rp = matcher(expectedIterator.current, actualIterator.current, | |
122 newLocation, depth); | |
123 if (rp != null) return rp; | |
124 } | |
125 } | |
126 | |
127 List _recursiveMatch(expected, actual, String location, int depth) { | |
128 // If the expected value is a matcher, try to match it. | |
129 if (expected is Matcher) { | |
130 var matchState = {}; | |
131 if (expected.matches(actual, matchState)) return null; | |
132 | |
133 var description = new StringDescription(); | |
134 expected.describe(description); | |
135 return ['does not match $description', location]; | |
136 } else { | |
137 // Otherwise, test for equality. | |
138 try { | |
139 if (expected == actual) return null; | |
140 } catch (e, s) { | |
141 // TODO(gram): Add a test for this case. | |
142 return ['== threw "$e"', location]; | |
143 } | |
144 } | |
145 | |
146 if (depth > _limit) return ['recursion depth limit exceeded', location]; | |
147 | |
148 // If _limit is 1 we can only recurse one level into object. | |
149 bool canRecurse = depth == 0 || _limit > 1; | |
150 | |
151 if (expected is Iterable && canRecurse) { | |
152 return _compareIterables(expected, actual, _recursiveMatch, depth + 1, | |
153 location); | |
154 } | |
155 | |
156 if (expected is Map && canRecurse) { | |
157 if (actual is! Map) return ['expected a map', location]; | |
158 | |
159 var err = (expected.length == actual.length) ? '' : | |
160 'has different length and '; | |
161 for (var key in expected.keys) { | |
162 if (!actual.containsKey(key)) { | |
163 return ["${err}is missing map key '$key'", location]; | |
164 } | |
165 } | |
166 | |
167 for (var key in actual.keys) { | |
168 if (!expected.containsKey(key)) { | |
169 return ["${err}has extra map key '$key'", location]; | |
170 } | |
171 } | |
172 | |
173 for (var key in expected.keys) { | |
174 var rp = _recursiveMatch(expected[key], actual[key], | |
175 "${location}['${key}']", depth + 1); | |
176 if (rp != null) return rp; | |
177 } | |
178 | |
179 return null; | |
180 } | |
181 | |
182 var description = new StringDescription(); | |
183 | |
184 // If we have recursed, show the expected value too; if not, expect() will | |
185 // show it for us. | |
186 if (depth > 0) { | |
187 description.add('was '). | |
188 addDescriptionOf(actual). | |
189 add(' instead of '). | |
190 addDescriptionOf(expected); | |
191 return [description.toString(), location]; | |
192 } | |
193 | |
194 // We're not adding any value to the actual value. | |
195 return ["", location]; | |
196 } | |
197 | |
198 String _match(expected, actual, Map matchState) { | |
199 var rp = _recursiveMatch(expected, actual, '', 0); | |
200 if (rp == null) return null; | |
201 var reason; | |
202 if (rp[0].length > 0) { | |
203 if (rp[1].length > 0) { | |
204 reason = "${rp[0]} at location ${rp[1]}"; | |
205 } else { | |
206 reason = rp[0]; | |
207 } | |
208 } else { | |
209 reason = ''; | |
210 } | |
211 // Cache the failure reason in the matchState. | |
212 addStateInfo(matchState, {'reason': reason}); | |
213 return reason; | |
214 } | |
215 | |
216 bool matches(item, Map matchState) => | |
217 _match(_expected, item, matchState) == null; | |
218 | |
219 Description describe(Description description) => | |
220 description.addDescriptionOf(_expected); | |
221 | |
222 Description describeMismatch(item, Description mismatchDescription, | |
223 Map matchState, bool verbose) { | |
224 var reason = matchState['reason']; | |
225 // If we didn't get a good reason, that would normally be a | |
226 // simple 'is <value>' message. We only add that if the mismatch | |
227 // description is non empty (so we are supplementing the mismatch | |
228 // description). | |
229 if (reason.length == 0 && mismatchDescription.length > 0) { | |
230 mismatchDescription.add('is ').addDescriptionOf(item); | |
231 } else { | |
232 mismatchDescription.add(reason); | |
233 } | |
234 return mismatchDescription; | |
235 } | |
236 } | |
237 | |
238 /** A special equality matcher for strings. */ | |
239 class _StringEqualsMatcher extends Matcher { | |
240 final String _value; | |
241 | |
242 _StringEqualsMatcher(this._value); | |
243 | |
244 bool get showActualValue => true; | |
245 | |
246 bool matches(item, Map matchState) => _value == item; | |
247 | |
248 Description describe(Description description) => | |
249 description.addDescriptionOf(_value); | |
250 | |
251 Description describeMismatch(item, Description mismatchDescription, | |
252 Map matchState, bool verbose) { | |
253 if (item is! String) { | |
254 return mismatchDescription.addDescriptionOf(item).add('is not a string'); | |
255 } else { | |
256 var buff = new StringBuffer(); | |
257 buff.write('is different.'); | |
258 var escapedItem = _escape(item); | |
259 var escapedValue = _escape(_value); | |
260 int minLength = escapedItem.length < escapedValue.length ? | |
261 escapedItem.length : escapedValue.length; | |
262 int start; | |
263 for (start = 0; start < minLength; start++) { | |
264 if (escapedValue.codeUnitAt(start) != escapedItem.codeUnitAt(start)) { | |
265 break; | |
266 } | |
267 } | |
268 if (start == minLength) { | |
269 if (escapedValue.length < escapedItem.length) { | |
270 buff.write(' Both strings start the same, but the given value also' | |
271 ' has the following trailing characters: '); | |
272 _writeTrailing(buff, escapedItem, escapedValue.length); | |
273 } else { | |
274 buff.write(' Both strings start the same, but the given value is' | |
275 ' missing the following trailing characters: '); | |
276 _writeTrailing(buff, escapedValue, escapedItem.length); | |
277 } | |
278 } else { | |
279 buff.write('\nExpected: '); | |
280 _writeLeading(buff, escapedValue, start); | |
281 _writeTrailing(buff, escapedValue, start); | |
282 buff.write('\n Actual: '); | |
283 _writeLeading(buff, escapedItem, start); | |
284 _writeTrailing(buff, escapedItem, start); | |
285 buff.write('\n '); | |
286 for (int i = (start > 10 ? 14 : start); i > 0; i--) buff.write(' '); | |
287 buff.write('^\n Differ at offset $start'); | |
288 } | |
289 | |
290 return mismatchDescription.replace(buff.toString()); | |
291 } | |
292 } | |
293 | |
294 static String _escape(String s) => | |
295 s.replaceAll('\n', '\\n').replaceAll('\r', '\\r').replaceAll('\t', '\\t'); | |
296 | |
297 static void _writeLeading(StringBuffer buff, String s, int start) { | |
298 if (start > 10) { | |
299 buff.write('... '); | |
300 buff.write(s.substring(start - 10, start)); | |
301 } else { | |
302 buff.write(s.substring(0, start)); | |
303 } | |
304 } | |
305 | |
306 static void _writeTrailing(StringBuffer buff, String s, int start) { | |
307 if (start + 10 > s.length) { | |
308 buff.write(s.substring(start)); | |
309 } else { | |
310 buff.write(s.substring(start, start + 10)); | |
311 buff.write(' ...'); | |
312 } | |
313 } | |
314 } | |
315 | |
316 /** A matcher that matches any value. */ | |
317 const Matcher anything = const _IsAnything(); | |
318 | |
319 class _IsAnything extends Matcher { | |
320 const _IsAnything(); | |
321 bool matches(item, Map matchState) => true; | |
322 Description describe(Description description) => description.add('anything'); | |
323 } | |
324 | |
325 /** | |
326 * Returns a matcher that matches if an object is an instance | |
327 * of [type] (or a subtype). | |
328 * | |
329 * As types are not first class objects in Dart we can only | |
330 * approximate this test by using a generic wrapper class. | |
331 * | |
332 * For example, to test whether 'bar' is an instance of type | |
333 * 'Foo', we would write: | |
334 * | |
335 * expect(bar, new isInstanceOf<Foo>()); | |
336 * | |
337 * To get better error message, supply a name when creating the | |
338 * Type wrapper; e.g.: | |
339 * | |
340 * expect(bar, new isInstanceOf<Foo>('Foo')); | |
341 * | |
342 * Note that this does not currently work in dart2js; it will | |
343 * match any type, and isNot(new isInstanceof<T>()) will always | |
344 * fail. This is because dart2js currently ignores template type | |
345 * parameters. | |
346 */ | |
347 class isInstanceOf<T> extends Matcher { | |
348 final String _name; | |
349 const isInstanceOf([name = 'specified type']): this._name = name; | |
350 bool matches(obj, Map matchState) => obj is T; | |
351 // The description here is lame :-( | |
352 Description describe(Description description) => | |
353 description.add('an instance of ${_name}'); | |
354 } | |
355 | |
356 /** | |
357 * This can be used to match two kinds of objects: | |
358 * | |
359 * * A [Function] that throws an exception when called. The function cannot | |
360 * take any arguments. If you want to test that a function expecting | |
361 * arguments throws, wrap it in another zero-argument function that calls | |
362 * the one you want to test. | |
363 * | |
364 * * A [Future] that completes with an exception. Note that this creates an | |
365 * asynchronous expectation. The call to `expect()` that includes this will | |
366 * return immediately and execution will continue. Later, when the future | |
367 * completes, the actual expectation will run. | |
368 */ | |
369 const Matcher throws = const Throws(); | |
370 | |
371 /** | |
372 * This can be used to match two kinds of objects: | |
373 * | |
374 * * A [Function] that throws an exception when called. The function cannot | |
375 * take any arguments. If you want to test that a function expecting | |
376 * arguments throws, wrap it in another zero-argument function that calls | |
377 * the one you want to test. | |
378 * | |
379 * * A [Future] that completes with an exception. Note that this creates an | |
380 * asynchronous expectation. The call to `expect()` that includes this will | |
381 * return immediately and execution will continue. Later, when the future | |
382 * completes, the actual expectation will run. | |
383 * | |
384 * In both cases, when an exception is thrown, this will test that the exception | |
385 * object matches [matcher]. If [matcher] is not an instance of [Matcher], it | |
386 * will implicitly be treated as `equals(matcher)`. | |
387 */ | |
388 Matcher throwsA(matcher) => new Throws(wrapMatcher(matcher)); | |
389 | |
390 /** | |
391 * A matcher that matches a function call against no exception. | |
392 * The function will be called once. Any exceptions will be silently swallowed. | |
393 * The value passed to expect() should be a reference to the function. | |
394 * Note that the function cannot take arguments; to handle this | |
395 * a wrapper will have to be created. | |
396 */ | |
397 const Matcher returnsNormally = const _ReturnsNormally(); | |
398 | |
399 class Throws extends Matcher { | |
400 final Matcher _matcher; | |
401 | |
402 const Throws([Matcher matcher]): this._matcher = matcher; | |
403 | |
404 bool matches(item, Map matchState) { | |
405 if (item is! Function && item is! Future) return false; | |
406 if (item is Future) { | |
407 var done = wrapAsync((fn) => fn()); | |
408 | |
409 // Queue up an asynchronous expectation that validates when the future | |
410 // completes. | |
411 item.then((value) { | |
412 done(() => fail("Expected future to fail, but succeeded with '$value'.")
); | |
413 }, onError: (error, trace) { | |
414 done(() { | |
415 if (_matcher == null) return; | |
416 var reason; | |
417 if (trace != null) { | |
418 var stackTrace = trace.toString(); | |
419 stackTrace = " ${stackTrace.replaceAll("\n", "\n ")}"; | |
420 reason = "Actual exception trace:\n$stackTrace"; | |
421 } | |
422 expect(error, _matcher, reason: reason); | |
423 }); | |
424 }); | |
425 // It hasn't failed yet. | |
426 return true; | |
427 } | |
428 | |
429 try { | |
430 item(); | |
431 return false; | |
432 } catch (e, s) { | |
433 if (_matcher == null || _matcher.matches(e, matchState)) { | |
434 return true; | |
435 } else { | |
436 addStateInfo(matchState, {'exception': e, 'stack': s}); | |
437 return false; | |
438 } | |
439 } | |
440 } | |
441 | |
442 Description describe(Description description) { | |
443 if (_matcher == null) { | |
444 return description.add("throws"); | |
445 } else { | |
446 return description.add('throws ').addDescriptionOf(_matcher); | |
447 } | |
448 } | |
449 | |
450 Description describeMismatch(item, Description mismatchDescription, | |
451 Map matchState, | |
452 bool verbose) { | |
453 if (item is! Function && item is! Future) { | |
454 return mismatchDescription.add('is not a Function or Future'); | |
455 } else if (_matcher == null || matchState['exception'] == null) { | |
456 return mismatchDescription.add('did not throw'); | |
457 } else { | |
458 mismatchDescription. add('threw '). | |
459 addDescriptionOf(matchState['exception']); | |
460 if (verbose) { | |
461 mismatchDescription.add(' at ').add(matchState['stack'].toString()); | |
462 } | |
463 return mismatchDescription; | |
464 } | |
465 } | |
466 } | |
467 | |
468 class _ReturnsNormally extends Matcher { | |
469 const _ReturnsNormally(); | |
470 | |
471 bool matches(f, Map matchState) { | |
472 try { | |
473 f(); | |
474 return true; | |
475 } catch (e, s) { | |
476 addStateInfo(matchState, {'exception': e, 'stack': s}); | |
477 return false; | |
478 } | |
479 } | |
480 | |
481 Description describe(Description description) => | |
482 description.add("return normally"); | |
483 | |
484 Description describeMismatch(item, Description mismatchDescription, | |
485 Map matchState, | |
486 bool verbose) { | |
487 mismatchDescription.add('threw ').addDescriptionOf(matchState['exception']); | |
488 if (verbose) { | |
489 mismatchDescription.add(' at ').add(matchState['stack'].toString()); | |
490 } | |
491 return mismatchDescription; | |
492 } | |
493 } | |
494 | |
495 /* | |
496 * Matchers for different exception types. Ideally we should just be able to | |
497 * use something like: | |
498 * | |
499 * final Matcher throwsException = | |
500 * const _Throws(const isInstanceOf<Exception>()); | |
501 * | |
502 * Unfortunately instanceOf is not working with dart2js. | |
503 * | |
504 * Alternatively, if static functions could be used in const expressions, | |
505 * we could use: | |
506 * | |
507 * bool _isException(x) => x is Exception; | |
508 * final Matcher isException = const _Predicate(_isException, "Exception"); | |
509 * final Matcher throwsException = const _Throws(isException); | |
510 * | |
511 * But currently using static functions in const expressions is not supported. | |
512 * For now the only solution for all platforms seems to be separate classes | |
513 * for each exception type. | |
514 */ | |
515 | |
516 abstract class TypeMatcher extends Matcher { | |
517 final String _name; | |
518 const TypeMatcher(this._name); | |
519 Description describe(Description description) => description.add(_name); | |
520 } | |
521 | |
522 /** A matcher for FormatExceptions. */ | |
523 const isFormatException = const _FormatException(); | |
524 | |
525 /** A matcher for functions that throw FormatException. */ | |
526 const Matcher throwsFormatException = const Throws(isFormatException); | |
527 | |
528 class _FormatException extends TypeMatcher { | |
529 const _FormatException(): super("FormatException"); | |
530 bool matches(item, Map matchState) => item is FormatException; | |
531 } | |
532 | |
533 /** A matcher for Exceptions. */ | |
534 const isException = const _Exception(); | |
535 | |
536 /** A matcher for functions that throw Exception. */ | |
537 const Matcher throwsException = const Throws(isException); | |
538 | |
539 class _Exception extends TypeMatcher { | |
540 const _Exception(): super("Exception"); | |
541 bool matches(item, Map matchState) => item is Exception; | |
542 } | |
543 | |
544 /** A matcher for ArgumentErrors. */ | |
545 const isArgumentError = const _ArgumentError(); | |
546 | |
547 /** A matcher for functions that throw ArgumentError. */ | |
548 const Matcher throwsArgumentError = const Throws(isArgumentError); | |
549 | |
550 class _ArgumentError extends TypeMatcher { | |
551 const _ArgumentError(): super("ArgumentError"); | |
552 bool matches(item, Map matchState) => item is ArgumentError; | |
553 } | |
554 | |
555 /** A matcher for RangeErrors. */ | |
556 const isRangeError = const _RangeError(); | |
557 | |
558 /** A matcher for functions that throw RangeError. */ | |
559 const Matcher throwsRangeError = const Throws(isRangeError); | |
560 | |
561 class _RangeError extends TypeMatcher { | |
562 const _RangeError(): super("RangeError"); | |
563 bool matches(item, Map matchState) => item is RangeError; | |
564 } | |
565 | |
566 /** A matcher for NoSuchMethodErrors. */ | |
567 const isNoSuchMethodError = const _NoSuchMethodError(); | |
568 | |
569 /** A matcher for functions that throw NoSuchMethodError. */ | |
570 const Matcher throwsNoSuchMethodError = const Throws(isNoSuchMethodError); | |
571 | |
572 class _NoSuchMethodError extends TypeMatcher { | |
573 const _NoSuchMethodError(): super("NoSuchMethodError"); | |
574 bool matches(item, Map matchState) => item is NoSuchMethodError; | |
575 } | |
576 | |
577 /** A matcher for UnimplementedErrors. */ | |
578 const isUnimplementedError = const _UnimplementedError(); | |
579 | |
580 /** A matcher for functions that throw Exception. */ | |
581 const Matcher throwsUnimplementedError = const Throws(isUnimplementedError); | |
582 | |
583 class _UnimplementedError extends TypeMatcher { | |
584 const _UnimplementedError(): super("UnimplementedError"); | |
585 bool matches(item, Map matchState) => item is UnimplementedError; | |
586 } | |
587 | |
588 /** A matcher for UnsupportedError. */ | |
589 const isUnsupportedError = const _UnsupportedError(); | |
590 | |
591 /** A matcher for functions that throw UnsupportedError. */ | |
592 const Matcher throwsUnsupportedError = const Throws(isUnsupportedError); | |
593 | |
594 class _UnsupportedError extends TypeMatcher { | |
595 const _UnsupportedError(): super("UnsupportedError"); | |
596 bool matches(item, Map matchState) => item is UnsupportedError; | |
597 } | |
598 | |
599 /** A matcher for StateErrors. */ | |
600 const isStateError = const _StateError(); | |
601 | |
602 /** A matcher for functions that throw StateError. */ | |
603 const Matcher throwsStateError = const Throws(isStateError); | |
604 | |
605 class _StateError extends TypeMatcher { | |
606 const _StateError(): super("StateError"); | |
607 bool matches(item, Map matchState) => item is StateError; | |
608 } | |
609 | |
610 /** A matcher for FallThroughError. */ | |
611 const isFallThroughError = const _FallThroughError(); | |
612 | |
613 /** A matcher for functions that throw FallThroughError. */ | |
614 const Matcher throwsFallThroughError = const Throws(isFallThroughError); | |
615 | |
616 class _FallThroughError extends TypeMatcher { | |
617 const _FallThroughError(): super("FallThroughError"); | |
618 bool matches(item, Map matchState) => item is FallThroughError; | |
619 } | |
620 | |
621 /** A matcher for NullThrownError. */ | |
622 const isNullThrownError = const _NullThrownError(); | |
623 | |
624 /** A matcher for functions that throw NullThrownError. */ | |
625 const Matcher throwsNullThrownError = const Throws(isNullThrownError); | |
626 | |
627 class _NullThrownError extends TypeMatcher { | |
628 const _NullThrownError(): super("NullThrownError"); | |
629 bool matches(item, Map matchState) => item is NullThrownError; | |
630 } | |
631 | |
632 /** A matcher for ConcurrentModificationError. */ | |
633 const isConcurrentModificationError = const _ConcurrentModificationError(); | |
634 | |
635 /** A matcher for functions that throw ConcurrentModificationError. */ | |
636 const Matcher throwsConcurrentModificationError = | |
637 const Throws(isConcurrentModificationError); | |
638 | |
639 class _ConcurrentModificationError extends TypeMatcher { | |
640 const _ConcurrentModificationError(): super("ConcurrentModificationError"); | |
641 bool matches(item, Map matchState) => item is ConcurrentModificationError; | |
642 } | |
643 | |
644 /** A matcher for AbstractClassInstantiationError. */ | |
645 const isAbstractClassInstantiationError = | |
646 const _AbstractClassInstantiationError(); | |
647 | |
648 /** A matcher for functions that throw AbstractClassInstantiationError. */ | |
649 const Matcher throwsAbstractClassInstantiationError = | |
650 const Throws(isAbstractClassInstantiationError); | |
651 | |
652 class _AbstractClassInstantiationError extends TypeMatcher { | |
653 const _AbstractClassInstantiationError() : | |
654 super("AbstractClassInstantiationError"); | |
655 bool matches(item, Map matchState) => item is AbstractClassInstantiationError; | |
656 } | |
657 | |
658 /** A matcher for CyclicInitializationError. */ | |
659 const isCyclicInitializationError = const _CyclicInitializationError(); | |
660 | |
661 /** A matcher for functions that throw CyclicInitializationError. */ | |
662 const Matcher throwsCyclicInitializationError = | |
663 const Throws(isCyclicInitializationError); | |
664 | |
665 class _CyclicInitializationError extends TypeMatcher { | |
666 const _CyclicInitializationError(): super("CyclicInitializationError"); | |
667 bool matches(item, Map matchState) => item is CyclicInitializationError; | |
668 } | |
669 | |
670 /** A matcher for Map types. */ | |
671 const isMap = const _IsMap(); | |
672 | |
673 class _IsMap extends TypeMatcher { | |
674 const _IsMap(): super("Map"); | |
675 bool matches(item, Map matchState) => item is Map; | |
676 } | |
677 | |
678 /** A matcher for List types. */ | |
679 const isList = const _IsList(); | |
680 | |
681 class _IsList extends TypeMatcher { | |
682 const _IsList(): super("List"); | |
683 bool matches(item, Map matchState) => item is List; | |
684 } | |
685 | |
686 /** | |
687 * Returns a matcher that matches if an object has a length property | |
688 * that matches [matcher]. | |
689 */ | |
690 Matcher hasLength(matcher) => new _HasLength(wrapMatcher(matcher)); | |
691 | |
692 class _HasLength extends Matcher { | |
693 final Matcher _matcher; | |
694 const _HasLength([Matcher matcher = null]): this._matcher = matcher; | |
695 | |
696 bool matches(item, Map matchState) { | |
697 try { | |
698 // This is harmless code that will throw if no length property | |
699 // but subtle enough that an optimizer shouldn't strip it out. | |
700 if (item.length * item.length >= 0) { | |
701 return _matcher.matches(item.length, matchState); | |
702 } | |
703 } catch (e) { | |
704 return false; | |
705 } | |
706 } | |
707 | |
708 Description describe(Description description) => | |
709 description.add('an object with length of '). | |
710 addDescriptionOf(_matcher); | |
711 | |
712 Description describeMismatch(item, Description mismatchDescription, | |
713 Map matchState, bool verbose) { | |
714 try { | |
715 // We want to generate a different description if there is no length | |
716 // property; we use the same trick as in matches(). | |
717 if (item.length * item.length >= 0) { | |
718 return mismatchDescription.add('has length of '). | |
719 addDescriptionOf(item.length); | |
720 } | |
721 } catch (e) { | |
722 return mismatchDescription.add('has no length property'); | |
723 } | |
724 } | |
725 } | |
726 | |
727 /** | |
728 * Returns a matcher that matches if the match argument contains | |
729 * the expected value. For [String]s this means substring matching; | |
730 * for [Map]s it means the map has the key, and for [Iterable]s | |
731 * (including [Iterable]s) it means the iterable has a matching | |
732 * element. In the case of iterables, [expected] can itself be a | |
733 * matcher. | |
734 */ | |
735 Matcher contains(expected) => new _Contains(expected); | |
736 | |
737 class _Contains extends Matcher { | |
738 | |
739 final _expected; | |
740 | |
741 const _Contains(this._expected); | |
742 | |
743 bool matches(item, Map matchState) { | |
744 if (item is String) { | |
745 return item.indexOf(_expected) >= 0; | |
746 } else if (item is Iterable) { | |
747 if (_expected is Matcher) { | |
748 return item.any((e) => _expected.matches(e, matchState)); | |
749 } else { | |
750 return item.contains(_expected); | |
751 } | |
752 } else if (item is Map) { | |
753 return item.containsKey(_expected); | |
754 } | |
755 return false; | |
756 } | |
757 | |
758 Description describe(Description description) => | |
759 description.add('contains ').addDescriptionOf(_expected); | |
760 | |
761 Description describeMismatch(item, Description mismatchDescription, | |
762 Map matchState, bool verbose) { | |
763 if (item is String || item is Iterable || item is Map) { | |
764 return super.describeMismatch(item, mismatchDescription, matchState, | |
765 verbose); | |
766 } else { | |
767 return mismatchDescription.add('is not a string, map or iterable'); | |
768 } | |
769 } | |
770 } | |
771 | |
772 /** | |
773 * Returns a matcher that matches if the match argument is in | |
774 * the expected value. This is the converse of [contains]. | |
775 */ | |
776 Matcher isIn(expected) => new _In(expected); | |
777 | |
778 class _In extends Matcher { | |
779 | |
780 final _expected; | |
781 | |
782 const _In(this._expected); | |
783 | |
784 bool matches(item, Map matchState) { | |
785 if (_expected is String) { | |
786 return _expected.indexOf(item) >= 0; | |
787 } else if (_expected is Iterable) { | |
788 return _expected.any((e) => e == item); | |
789 } else if (_expected is Map) { | |
790 return _expected.containsKey(item); | |
791 } | |
792 return false; | |
793 } | |
794 | |
795 Description describe(Description description) => | |
796 description.add('is in ').addDescriptionOf(_expected); | |
797 } | |
798 | |
799 /** | |
800 * Returns a matcher that uses an arbitrary function that returns | |
801 * true or false for the actual value. For example: | |
802 * | |
803 * expect(v, predicate((x) => ((x % 2) == 0), "is even")) | |
804 */ | |
805 Matcher predicate(Function f, [description = 'satisfies function']) => | |
806 new _Predicate(f, description); | |
807 | |
808 class _Predicate extends Matcher { | |
809 | |
810 final Function _matcher; | |
811 final String _description; | |
812 | |
813 const _Predicate(this._matcher, this._description); | |
814 | |
815 bool matches(item, Map matchState) => _matcher(item); | |
816 | |
817 Description describe(Description description) => | |
818 description.add(_description); | |
819 } | |
820 | |
821 /** | |
822 * A useful utility class for implementing other matchers through inheritance. | |
823 * Derived classes should call the base constructor with a feature name and | |
824 * description, and an instance matcher, and should implement the | |
825 * [featureValueOf] abstract method. | |
826 * | |
827 * The feature description will typically describe the item and the feature, | |
828 * while the feature name will just name the feature. For example, we may | |
829 * have a Widget class where each Widget has a price; we could make a | |
830 * [CustomMatcher] that can make assertions about prices with: | |
831 * | |
832 * class HasPrice extends CustomMatcher { | |
833 * const HasPrice(matcher) : | |
834 * super("Widget with price that is", "price", matcher); | |
835 * featureValueOf(actual) => actual.price; | |
836 * } | |
837 * | |
838 * and then use this for example like: | |
839 * | |
840 * expect(inventoryItem, new HasPrice(greaterThan(0))); | |
841 */ | |
842 class CustomMatcher extends Matcher { | |
843 final String _featureDescription; | |
844 final String _featureName; | |
845 final Matcher _matcher; | |
846 | |
847 CustomMatcher(this._featureDescription, this._featureName, matcher) | |
848 : this._matcher = wrapMatcher(matcher); | |
849 | |
850 /** Override this to extract the interesting feature.*/ | |
851 featureValueOf(actual) => actual; | |
852 | |
853 bool matches(item, Map matchState) { | |
854 var f = featureValueOf(item); | |
855 if (_matcher.matches(f, matchState)) return true; | |
856 addStateInfo(matchState, {'feature': f}); | |
857 return false; | |
858 } | |
859 | |
860 Description describe(Description description) => | |
861 description.add(_featureDescription).add(' ').addDescriptionOf(_matcher); | |
862 | |
863 Description describeMismatch(item, Description mismatchDescription, | |
864 Map matchState, bool verbose) { | |
865 mismatchDescription.add('has ').add(_featureName).add(' with value '). | |
866 addDescriptionOf(matchState['feature']); | |
867 var innerDescription = new StringDescription(); | |
868 _matcher.describeMismatch(matchState['feature'], innerDescription, | |
869 matchState['state'], verbose); | |
870 if (innerDescription.length > 0) { | |
871 mismatchDescription.add(' which ').add(innerDescription.toString()); | |
872 } | |
873 return mismatchDescription; | |
874 } | |
875 } | |
OLD | NEW |