floitsch@google.com
3c45bbcbe0
Unify the way the runtime throws errors. With this patch the VM goes through one location and always invokes the constructor of the errors. It also makes it easier to rename fields in the error classes. R=asiva@google.com Committed: https://code.google.com/p/dart/source/detail?r=24995 Reverted: https://code.google.com/p/dart/source/detail?r=24997 Review URL: https://codereview.chromium.org//18531003 git-svn-id: https://dart.googlecode.com/svn/branches/bleeding_edge/dart@25000 260f80e4-7a28-3924-810f-c04153c831b5
120 lines
3.5 KiB
Dart
120 lines
3.5 KiB
Dart
// Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file
|
|
// for details. All rights reserved. Use of this source code is governed by a
|
|
// BSD-style license that can be found in the LICENSE file.
|
|
// Errors are created and thrown by DartVM only.
|
|
// Changes here should also be reflected in corelib/error.dart as well
|
|
|
|
class _AssertionErrorImplementation extends AssertionError {
|
|
_AssertionErrorImplementation(
|
|
this.failedAssertion, this.url, this.line, this.column);
|
|
|
|
static _throwNew(int assertionStart, int assertionEnd)
|
|
native "AssertionError_throwNew";
|
|
|
|
String toString() {
|
|
return "'$url': Failed assertion: line $line pos $column: "
|
|
"'$failedAssertion' is not true.";
|
|
}
|
|
final String failedAssertion;
|
|
final String url;
|
|
final int line;
|
|
final int column;
|
|
}
|
|
|
|
class _TypeErrorImplementation
|
|
extends _AssertionErrorImplementation
|
|
implements TypeError {
|
|
|
|
_TypeErrorImplementation(
|
|
String failedAssertion, String url, int line, int column,
|
|
this.srcType, this.dstType, this.dstName, this._malformedError)
|
|
: super(failedAssertion, url, line, column);
|
|
|
|
static _throwNew(int location,
|
|
Object src_value,
|
|
String dst_type_name,
|
|
String dst_name,
|
|
String malformed_error)
|
|
native "TypeError_throwNew";
|
|
|
|
String toString() {
|
|
String str = (_malformedError != null) ? _malformedError : "";
|
|
if ((dstName != null) && (dstName.length > 0)) {
|
|
str = "${str}type '$srcType' is not a subtype of "
|
|
"type '$dstType' of '$dstName'.";
|
|
} else {
|
|
str = "${str}malformed type used.";
|
|
}
|
|
return str;
|
|
}
|
|
|
|
final String srcType;
|
|
final String dstType;
|
|
final String dstName;
|
|
final String _malformedError;
|
|
}
|
|
|
|
class _CastErrorImplementation
|
|
extends _TypeErrorImplementation
|
|
implements CastError {
|
|
|
|
_CastErrorImplementation(
|
|
String failedAssertion, String url, int line, int column,
|
|
String srcType, String dstType, String dstName, String malformedError)
|
|
: super(failedAssertion, url, line, column,
|
|
srcType, dstType, dstName, malformedError);
|
|
|
|
// A CastError is allocated by TypeError._throwNew() when dst_name equals
|
|
// Exceptions::kCastErrorDstName.
|
|
String toString() {
|
|
String str = (_malformedError != null) ? _malformedError : "";
|
|
if ((dstName != null) && (dstName.length > 0)) {
|
|
str = "${str}type '$srcType' is not a subtype of "
|
|
"type '$dstType' in type cast.";
|
|
} else {
|
|
str = "${str}malformed type used in type cast.";
|
|
}
|
|
return str;
|
|
}
|
|
}
|
|
|
|
class _FallThroughErrorImplementation extends FallThroughError {
|
|
|
|
_FallThroughErrorImplementation(this._url, this._line);
|
|
|
|
static _throwNew(int case_clause_pos) native "FallThroughError_throwNew";
|
|
|
|
String toString() {
|
|
return "'$_url': Switch case fall-through at line $_line.";
|
|
}
|
|
|
|
final String _url;
|
|
final int _line;
|
|
}
|
|
|
|
class _InternalError {
|
|
const _InternalError(this._msg);
|
|
String toString() => "InternalError: '${_msg}'";
|
|
final String _msg;
|
|
}
|
|
|
|
|
|
class _AbstractClassInstantiationErrorImplementation
|
|
extends AbstractClassInstantiationError {
|
|
|
|
_AbstractClassInstantiationErrorImplementation(
|
|
String className, this._url, this._line)
|
|
: super(className);
|
|
|
|
static _throwNew(int case_clause_pos, String className)
|
|
native "AbstractClassInstantiationError_throwNew";
|
|
|
|
String toString() {
|
|
return "Cannot instantiate abstract class $_className: "
|
|
"_url '$_url' line $_line";
|
|
}
|
|
|
|
final String _url;
|
|
final int _line;
|
|
}
|