OLD | NEW |
(Empty) | |
| 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 |
| 3 // BSD-style license that can be found in the LICENSE file. |
| 4 |
| 5 import 'channel.dart'; |
| 6 |
| 7 /// An exception thrown by a [WebSocketChannel]. |
| 8 class WebSocketChannelException implements Exception { |
| 9 final String message; |
| 10 |
| 11 /// The exception that caused this one, if available. |
| 12 final inner; |
| 13 |
| 14 WebSocketChannelException([this.message, this.inner]); |
| 15 |
| 16 String toString() => message == null |
| 17 ? "WebSocketChannelException" : |
| 18 "WebSocketChannelException: $message"; |
| 19 } |
OLD | NEW |