| 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;
|
|
|
|
|