| Index: client/html/src/WebSocketWrappingImplementation.dart
|
| diff --git a/client/html/src/WebSocketWrappingImplementation.dart b/client/html/src/WebSocketWrappingImplementation.dart
|
| deleted file mode 100644
|
| index fa883d2b0f47a70e5dafbcde340795b03c9113a7..0000000000000000000000000000000000000000
|
| --- a/client/html/src/WebSocketWrappingImplementation.dart
|
| +++ /dev/null
|
| @@ -1,47 +0,0 @@
|
| -// Copyright (c) 2011, 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.
|
| -
|
| -// TODO(jacobr) add events.
|
| -class WebSocketWrappingImplementation extends EventTargetWrappingImplementation implements WebSocket {
|
| - WebSocketWrappingImplementation._wrap(ptr) : super._wrap(ptr) {}
|
| -
|
| - String get URL() { return _ptr.URL; }
|
| -
|
| - String get binaryType() { return _ptr.binaryType; }
|
| -
|
| - void set binaryType(String value) { _ptr.binaryType = value; }
|
| -
|
| - int get bufferedAmount() { return _ptr.bufferedAmount; }
|
| -
|
| - EventListener get onclose() { return LevelDom.wrapEventListener(_ptr.onclose); }
|
| -
|
| - void set onclose(EventListener value) { _ptr.onclose = LevelDom.unwrap(value); }
|
| -
|
| - EventListener get onerror() { return LevelDom.wrapEventListener(_ptr.onerror); }
|
| -
|
| - void set onerror(EventListener value) { _ptr.onerror = LevelDom.unwrap(value); }
|
| -
|
| - EventListener get onmessage() { return LevelDom.wrapEventListener(_ptr.onmessage); }
|
| -
|
| - void set onmessage(EventListener value) { _ptr.onmessage = LevelDom.unwrap(value); }
|
| -
|
| - EventListener get onopen() { return LevelDom.wrapEventListener(_ptr.onopen); }
|
| -
|
| - void set onopen(EventListener value) { _ptr.onopen = LevelDom.unwrap(value); }
|
| -
|
| - String get protocol() { return _ptr.protocol; }
|
| -
|
| - int get readyState() { return _ptr.readyState; }
|
| -
|
| - void close() {
|
| - _ptr.close();
|
| - return;
|
| - }
|
| -
|
| - bool send(String data) {
|
| - return _ptr.send(data);
|
| - }
|
| -
|
| - String get typeName() { return "WebSocket"; }
|
| -}
|
|
|