Index: client/dom/generated/src/interface/WebSocket.dart |
diff --git a/client/dom/generated/src/interface/WebSocket.dart b/client/dom/generated/src/interface/WebSocket.dart |
deleted file mode 100644 |
index 62ee8324b6dedee5010c345fa34f208ba6790874..0000000000000000000000000000000000000000 |
--- a/client/dom/generated/src/interface/WebSocket.dart |
+++ /dev/null |
@@ -1,42 +0,0 @@ |
-// Copyright (c) 2012, 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. |
- |
-// WARNING: Do not edit - generated code. |
- |
-interface WebSocket extends EventTarget default _WebSocketFactoryProvider { |
- |
- WebSocket(String url); |
- |
- static final int CLOSED = 3; |
- |
- static final int CLOSING = 2; |
- |
- static final int CONNECTING = 0; |
- |
- static final int OPEN = 1; |
- |
- final String URL; |
- |
- String binaryType; |
- |
- final int bufferedAmount; |
- |
- final String extensions; |
- |
- final String protocol; |
- |
- final int readyState; |
- |
- final String url; |
- |
- void addEventListener(String type, EventListener listener, [bool useCapture]); |
- |
- void close([int code, String reason]); |
- |
- bool dispatchEvent(Event evt); |
- |
- void removeEventListener(String type, EventListener listener, [bool useCapture]); |
- |
- bool send(String data); |
-} |