| 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 | 10 | 
| 11   /// The isolate has encountered a Dart language error in the program. | 11   /// The isolate has encountered a Dart language error in the program. | 
| 12   languageError, | 12   languageError, | 
| 13 | 13 | 
| 14   /// The isolate has encounted an internal error. These errors should be | 14   /// The isolate has encountered an internal error. These errors should be | 
| 15   /// reported as bugs. | 15   /// reported as bugs. | 
| 16   internalError, | 16   internalError, | 
| 17 | 17 | 
| 18   /// The isolate has been terminated by an external source. | 18   /// The isolate has been terminated by an external source. | 
| 19   terminationError | 19   terminationError | 
| 20 } | 20 } | 
| 21 | 21 | 
| 22 abstract class ErrorRef extends ObjectRef { | 22 abstract class ErrorRef extends ObjectRef { | 
| 23   ErrorKind get kind; | 23   ErrorKind get kind; | 
| 24   String get message; | 24   String get message; | 
| 25 } | 25 } | 
| 26 | 26 | 
| 27 abstract class Error extends Object implements ErrorRef {} | 27 abstract class Error extends Object implements ErrorRef {} | 
| OLD | NEW | 
|---|