Index: client/dom/generated/src/interface/WorkerContext.dart |
diff --git a/client/dom/generated/src/interface/WorkerContext.dart b/client/dom/generated/src/interface/WorkerContext.dart |
index a59f8c6e92601f71220d8dbe852c1da0534043db..8b4713ad044e5e9ab0acc811abef505eee09a8a4 100644 |
--- a/client/dom/generated/src/interface/WorkerContext.dart |
+++ b/client/dom/generated/src/interface/WorkerContext.dart |
@@ -6,27 +6,19 @@ |
interface WorkerGlobalScope { |
- WorkerLocation get location(); |
+ WorkerLocation location; |
- void set location(WorkerLocation value); |
+ WorkerNavigator navigator; |
- WorkerNavigator get navigator(); |
+ EventListener onerror; |
- void set navigator(WorkerNavigator value); |
+ WorkerContext self; |
- EventListener get onerror(); |
+ final IDBFactory webkitIndexedDB; |
- void set onerror(EventListener value); |
+ final NotificationCenter webkitNotifications; |
- WorkerContext get self(); |
- |
- void set self(WorkerContext value); |
- |
- IDBFactory get webkitIndexedDB(); |
- |
- NotificationCenter get webkitNotifications(); |
- |
- DOMURL get webkitURL(); |
+ final DOMURL webkitURL; |
void addEventListener(String type, EventListener listener, [bool useCapture]); |