OLD | NEW |
1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 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 | 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 /** | 5 /** |
6 * This library contains an Expect class with static methods that can be used | 6 * This library contains an Expect class with static methods that can be used |
7 * for simple unit-tests. | 7 * for simple unit-tests. |
8 */ | 8 */ |
9 library expect; | 9 library expect; |
10 | 10 |
(...skipping 345 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
356 * | 356 * |
357 * Expect.throws(myThrowingFunction, (e) => e is MyException); | 357 * Expect.throws(myThrowingFunction, (e) => e is MyException); |
358 */ | 358 */ |
359 static void throws(void f(), | 359 static void throws(void f(), |
360 [_CheckExceptionFn check = null, | 360 [_CheckExceptionFn check = null, |
361 String reason = null]) { | 361 String reason = null]) { |
362 String msg = reason == null ? "" : "($reason)"; | 362 String msg = reason == null ? "" : "($reason)"; |
363 if (f is! _Nullary) { | 363 if (f is! _Nullary) { |
364 // Only throws from executing the funtion body should count as throwing. | 364 // Only throws from executing the funtion body should count as throwing. |
365 // The failure to even call `f` should throw outside the try/catch. | 365 // The failure to even call `f` should throw outside the try/catch. |
366 _fail("Expect.throws$msg: Funciton f not callable with zero arguments"); | 366 _fail("Expect.throws$msg: Function f not callable with zero arguments"); |
367 } | 367 } |
368 try { | 368 try { |
369 f(); | 369 f(); |
370 } catch (e, s) { | 370 } catch (e, s) { |
371 if (check != null) { | 371 if (check != null) { |
372 if (!check(e)) { | 372 if (!check(e)) { |
373 _fail("Expect.throws$msg: Unexpected '$e'\n$s"); | 373 _fail("Expect.throws$msg: Unexpected '$e'\n$s"); |
374 } | 374 } |
375 } | 375 } |
376 return; | 376 return; |
(...skipping 22 matching lines...) Expand all Loading... |
399 | 399 |
400 /// Annotation class for testing of dart2js. Use this as metadata on method | 400 /// Annotation class for testing of dart2js. Use this as metadata on method |
401 /// declarations to disable inlining of the annotated method. | 401 /// declarations to disable inlining of the annotated method. |
402 class NoInline { | 402 class NoInline { |
403 const NoInline(); | 403 const NoInline(); |
404 } | 404 } |
405 | 405 |
406 /// Annotation class for testing of dart2js. Use this as metadata on method | 406 /// Annotation class for testing of dart2js. Use this as metadata on method |
407 /// declarations to make the type inferrer trust the parameter and return types, | 407 /// declarations to make the type inferrer trust the parameter and return types, |
408 /// effectively asserting the runtime values will (at least) be subtypes of the | 408 /// effectively asserting the runtime values will (at least) be subtypes of the |
409 /// annotated types. | 409 /// annotated types. |
410 /// | 410 /// |
411 /// While the actually inferred type is guaranteed to be a subtype of the | 411 /// While the actually inferred type is guaranteed to be a subtype of the |
412 /// annotation, it often is more precise. In particular, if a method is only | 412 /// annotation, it often is more precise. In particular, if a method is only |
413 /// called with `null`, the inferrer will still infer null. To ensure that | 413 /// called with `null`, the inferrer will still infer null. To ensure that |
414 /// the annotated type is also the inferred type, additionally use | 414 /// the annotated type is also the inferred type, additionally use |
415 /// [AssumeDynamic]. | 415 /// [AssumeDynamic]. |
416 class TrustTypeAnnotations { | 416 class TrustTypeAnnotations { |
417 const TrustTypeAnnotations(); | 417 const TrustTypeAnnotations(); |
418 } | 418 } |
419 | 419 |
420 /// Annotation class for testing of dart2js. Use this as metadata on method | 420 /// Annotation class for testing of dart2js. Use this as metadata on method |
421 /// declarations to disable closed world assumptions on parameters, effectively | 421 /// declarations to disable closed world assumptions on parameters, effectively |
422 /// assuming that the runtime arguments could be any value. Note that the | 422 /// assuming that the runtime arguments could be any value. Note that the |
423 /// constraints due to [TrustTypeAnnotations] still apply. | 423 /// constraints due to [TrustTypeAnnotations] still apply. |
424 class AssumeDynamic { | 424 class AssumeDynamic { |
425 const AssumeDynamic(); | 425 const AssumeDynamic(); |
426 } | 426 } |
OLD | NEW |