Index: client/dom/generated/src/frog/WebSocket.dart |
diff --git a/client/dom/generated/src/frog/WebSocket.dart b/client/dom/generated/src/frog/WebSocket.dart |
deleted file mode 100644 |
index f61be5f14ada48c70bb852455c01622ca6ae9e21..0000000000000000000000000000000000000000 |
--- a/client/dom/generated/src/frog/WebSocket.dart |
+++ /dev/null |
@@ -1,35 +0,0 @@ |
- |
-class _WebSocketJs extends _EventTargetJs implements WebSocket native "*WebSocket" { |
- |
- 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 = null]) native; |
- |
- void close([int code = null, String reason = null]) native; |
- |
- bool dispatchEvent(_EventJs evt) native; |
- |
- void removeEventListener(String type, EventListener listener, [bool useCapture = null]) native; |
- |
- bool send(String data) native; |
-} |