| Index: client/html/generated/html/dartium/WebSocket.dart
|
| diff --git a/client/html/generated/html/dartium/WebSocket.dart b/client/html/generated/html/dartium/WebSocket.dart
|
| deleted file mode 100644
|
| index 76746e397c1bb3542deb8057ba00a32369992eb5..0000000000000000000000000000000000000000
|
| --- a/client/html/generated/html/dartium/WebSocket.dart
|
| +++ /dev/null
|
| @@ -1,83 +0,0 @@
|
| -
|
| -class _WebSocketImpl extends _EventTargetImpl implements WebSocket {
|
| - _WebSocketImpl._wrap(ptr) : super._wrap(ptr);
|
| -
|
| - _WebSocketEventsImpl get on() {
|
| - if (_on == null) _on = new _WebSocketEventsImpl(this);
|
| - return _on;
|
| - }
|
| -
|
| - String get URL() => _wrap(_ptr.URL);
|
| -
|
| - String get binaryType() => _wrap(_ptr.binaryType);
|
| -
|
| - void set binaryType(String value) { _ptr.binaryType = _unwrap(value); }
|
| -
|
| - int get bufferedAmount() => _wrap(_ptr.bufferedAmount);
|
| -
|
| - String get extensions() => _wrap(_ptr.extensions);
|
| -
|
| - String get protocol() => _wrap(_ptr.protocol);
|
| -
|
| - int get readyState() => _wrap(_ptr.readyState);
|
| -
|
| - String get url() => _wrap(_ptr.url);
|
| -
|
| - void _addEventListener(String type, EventListener listener, [bool useCapture = null]) {
|
| - if (useCapture === null) {
|
| - _ptr.addEventListener(_unwrap(type), _unwrap(listener));
|
| - return;
|
| - } else {
|
| - _ptr.addEventListener(_unwrap(type), _unwrap(listener), _unwrap(useCapture));
|
| - return;
|
| - }
|
| - }
|
| -
|
| - void close([int code = null, String reason = null]) {
|
| - if (code === null) {
|
| - if (reason === null) {
|
| - _ptr.close();
|
| - return;
|
| - }
|
| - } else {
|
| - if (reason === null) {
|
| - _ptr.close(_unwrap(code));
|
| - return;
|
| - } else {
|
| - _ptr.close(_unwrap(code), _unwrap(reason));
|
| - return;
|
| - }
|
| - }
|
| - throw "Incorrect number or type of arguments";
|
| - }
|
| -
|
| - bool _dispatchEvent(Event evt) {
|
| - return _wrap(_ptr.dispatchEvent(_unwrap(evt)));
|
| - }
|
| -
|
| - void _removeEventListener(String type, EventListener listener, [bool useCapture = null]) {
|
| - if (useCapture === null) {
|
| - _ptr.removeEventListener(_unwrap(type), _unwrap(listener));
|
| - return;
|
| - } else {
|
| - _ptr.removeEventListener(_unwrap(type), _unwrap(listener), _unwrap(useCapture));
|
| - return;
|
| - }
|
| - }
|
| -
|
| - bool send(String data) {
|
| - return _wrap(_ptr.send(_unwrap(data)));
|
| - }
|
| -}
|
| -
|
| -class _WebSocketEventsImpl extends _EventsImpl implements WebSocketEvents {
|
| - _WebSocketEventsImpl(_ptr) : super(_ptr);
|
| -
|
| - EventListenerList get close() => _get('close');
|
| -
|
| - EventListenerList get error() => _get('error');
|
| -
|
| - EventListenerList get message() => _get('message');
|
| -
|
| - EventListenerList get open() => _get('open');
|
| -}
|
|
|