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 |
index 2c7593b79b4ff0ca3fc0b1fe78aa834820e46910..0f284e1b6f8e741676d006dc9ac62fbb2d0a138f 100644 |
--- a/client/dom/generated/src/frog/WebSocket.dart |
+++ b/client/dom/generated/src/frog/WebSocket.dart |
@@ -11,21 +11,19 @@ class _WebSocketJs extends _DOMTypeJs implements WebSocket native "*WebSocket" { |
static final int OPEN = 1; |
- String get URL() native "return this.URL;"; |
+ final String URL; |
- String get binaryType() native "return this.binaryType;"; |
+ String binaryType; |
- void set binaryType(String value) native "this.binaryType = value;"; |
+ final int bufferedAmount; |
- int get bufferedAmount() native "return this.bufferedAmount;"; |
+ final String extensions; |
- String get extensions() native "return this.extensions;"; |
+ final String protocol; |
- String get protocol() native "return this.protocol;"; |
+ final int readyState; |
- int get readyState() native "return this.readyState;"; |
- |
- String get url() native "return this.url;"; |
+ final String url; |
void addEventListener(String type, EventListener listener, [bool useCapture = null]) native; |