| library dynamic_check; |
| import "expect.dart"; |
| |
| checkTypeError(f()) { |
| Expect.throws(f, (e) => e is TypeError, "Type error should be thrown"); |
| } |
| |
| checkAssertionError(f(), [message]) { |
| Expect.throws(f, (e) { |
| if (e is AssertionError) { |
| Expect.equals(message, e.message); |
| return true; |
| } |
| return false; |
| }, "Assertion error should be thrown"); |
| } |
| |
| /** |
| * Check that dynamic error occurs. Dart specification (3rd Edition/June 12015) |
| * does not specify what is 'dynamic erros' |
| * (see https://github.com/dart-lang/sdk/issues/24394 ). So, for now, |
| * this is a stub that checks that Error is thrown |
| */ |
| checkDynamicError(f()) { |
| Expect.throws(f, (e) => e is Error, "Dynamic Error should be thrown"); |
| } |