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