| OLD | NEW |
| 1 // Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2016, 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 part of models; | 5 part of models; |
| 6 | 6 |
| 7 enum ErrorKind { | 7 enum ErrorKind { |
| 8 /// The isolate has encountered an unhandled Dart exception. | 8 /// The isolate has encountered an unhandled Dart exception. |
| 9 UnhandledException, | 9 UnhandledException, |
| 10 /// The isolate has encountered a Dart language error in the program. | 10 /// The isolate has encountered a Dart language error in the program. |
| 11 LanguageError, | 11 LanguageError, |
| 12 /// The isolate has encounted an internal error. These errors should be | 12 /// The isolate has encounted an internal error. These errors should be |
| 13 /// reported as bugs. | 13 /// reported as bugs. |
| 14 InternalError, | 14 InternalError, |
| 15 /// The isolate has been terminated by an external source. | 15 /// The isolate has been terminated by an external source. |
| 16 TerminationError | 16 TerminationError |
| 17 } | 17 } |
| 18 | 18 |
| 19 abstract class ErrorRef extends ObjectRef { | 19 abstract class ErrorRef extends ObjectRef { |
| 20 String get id; | 20 String get id; |
| 21 ErrorKind get kind; | 21 ErrorKind get kind; |
| 22 String get message; | 22 String get message; |
| 23 } | 23 } |
| 24 | 24 |
| 25 abstract class Error extends Object implements ErrorRef { | 25 abstract class Error extends Object implements ErrorRef { |
| 26 | 26 |
| 27 } | 27 } |
| OLD | NEW |