Index: client/dom/generated/src/frog/WorkerContext.dart |
diff --git a/client/dom/generated/src/frog/WorkerContext.dart b/client/dom/generated/src/frog/WorkerContext.dart |
index 9f5ea86a212dfe9e1fa53c7fe92fffe2ebf0cbdf..cfb7fcbf62ebcf919e6592c530d5dafc79cde142 100644 |
--- a/client/dom/generated/src/frog/WorkerContext.dart |
+++ b/client/dom/generated/src/frog/WorkerContext.dart |
@@ -5,19 +5,27 @@ class WorkerContext native "*WorkerContext" { |
static final int TEMPORARY = 0; |
- WorkerLocation location; |
+ WorkerLocation get location() native "return this.location;"; |
- WorkerNavigator navigator; |
+ void set location(WorkerLocation value) native "this.location = value;"; |
- EventListener onerror; |
+ WorkerNavigator get navigator() native "return this.navigator;"; |
- WorkerContext self; |
+ void set navigator(WorkerNavigator value) native "this.navigator = value;"; |
- IDBFactory webkitIndexedDB; |
+ EventListener get onerror() native "return this.onerror;"; |
- NotificationCenter webkitNotifications; |
+ void set onerror(EventListener value) native "this.onerror = value;"; |
- DOMURL webkitURL; |
+ WorkerContext get self() native "return this.self;"; |
+ |
+ void set self(WorkerContext value) native "this.self = value;"; |
+ |
+ IDBFactory get webkitIndexedDB() native "return this.webkitIndexedDB;"; |
+ |
+ NotificationCenter get webkitNotifications() native "return this.webkitNotifications;"; |
+ |
+ DOMURL get webkitURL() native "return this.webkitURL;"; |
void addEventListener(String type, EventListener listener, [bool useCapture = null]) native; |