library dynamic_check; | |
import "expect.dart"; | |
checkTypeError(f()) { | |
Expect.throws(f, (e) => e is TypeError || e is CastError, | |
"Type 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"); | |
} |