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 import 'channel.dart'; | 5 import 'channel.dart'; |
6 | 6 |
7 /// An exception thrown by a [WebSocketChannel]. | 7 /// An exception thrown by a [WebSocketChannel]. |
8 class WebSocketChannelException implements Exception { | 8 class WebSocketChannelException implements Exception { |
9 final String message; | 9 final String message; |
10 | 10 |
11 /// The exception that caused this one, if available. | 11 /// The exception that caused this one, if available. |
12 final inner; | 12 final inner; |
13 | 13 |
14 WebSocketChannelException([this.message, this.inner]); | 14 WebSocketChannelException([this.message]) : inner = null; |
| 15 |
| 16 WebSocketChannelException.from(inner) |
| 17 : message = inner.toString(), |
| 18 inner = inner; |
15 | 19 |
16 String toString() => message == null | 20 String toString() => message == null |
17 ? "WebSocketChannelException" : | 21 ? "WebSocketChannelException" : |
18 "WebSocketChannelException: $message"; | 22 "WebSocketChannelException: $message"; |
19 } | 23 } |
OLD | NEW |