Frog dart:dom using interfaces and native implementation classes.

client/dom/generated/src/frog/WorkerContext.dart

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 cfb7fcbf62ebcf919e6592c530d5dafc79cde142..72d4d950a6e3f0c47c02f98b6a192bb32aa9017e 100644
--- a/client/dom/generated/src/frog/WorkerContext.dart
+++ b/client/dom/generated/src/frog/WorkerContext.dart
@@ -1,31 +1,31 @@
 
-class WorkerContext native "*WorkerContext" {
+class WorkerContextJS implements WorkerContext native "*WorkerContext" {
 
   static final int PERSISTENT = 1;
 
   static final int TEMPORARY = 0;
 
-  WorkerLocation get location() native "return this.location;";
+  WorkerLocationJS get location() native "return this.location;";
 
-  void set location(WorkerLocation value) native "this.location = value;";
+  void set location(WorkerLocationJS value) native "this.location = value;";
 
-  WorkerNavigator get navigator() native "return this.navigator;";
+  WorkerNavigatorJS get navigator() native "return this.navigator;";
 
-  void set navigator(WorkerNavigator value) native "this.navigator = value;";
+  void set navigator(WorkerNavigatorJS value) native "this.navigator = value;";
 
   EventListener get onerror() native "return this.onerror;";
 
   void set onerror(EventListener value) native "this.onerror = value;";
 
-  WorkerContext get self() native "return this.self;";
+  WorkerContextJS get self() native "return this.self;";
 
-  void set self(WorkerContext value) native "this.self = value;";
+  void set self(WorkerContextJS value) native "this.self = value;";
 
-  IDBFactory get webkitIndexedDB() native "return this.webkitIndexedDB;";
+  IDBFactoryJS get webkitIndexedDB() native "return this.webkitIndexedDB;";
 
-  NotificationCenter get webkitNotifications() native "return this.webkitNotifications;";
+  NotificationCenterJS get webkitNotifications() native "return this.webkitNotifications;";
 
-  DOMURL get webkitURL() native "return this.webkitURL;";
+  DOMURLJS get webkitURL() native "return this.webkitURL;";
 
   void addEventListener(String type, EventListener listener, [bool useCapture = null]) native;
 
@@ -35,13 +35,13 @@ class WorkerContext native "*WorkerContext" {
 
   void close() native;
 
-  bool dispatchEvent(Event evt) native;
+  bool dispatchEvent(EventJS evt) native;
 
   void importScripts() native;
 
-  Database openDatabase(String name, String version, String displayName, int estimatedSize, [DatabaseCallback creationCallback = null]) native;
+  DatabaseJS openDatabase(String name, String version, String displayName, int estimatedSize, [DatabaseCallback creationCallback = null]) native;
 
-  DatabaseSync openDatabaseSync(String name, String version, String displayName, int estimatedSize, [DatabaseCallback creationCallback = null]) native;
+  DatabaseSyncJS openDatabaseSync(String name, String version, String displayName, int estimatedSize, [DatabaseCallback creationCallback = null]) native;
 
   void removeEventListener(String type, EventListener listener, [bool useCapture = null]) native;
 
@@ -51,9 +51,9 @@ class WorkerContext native "*WorkerContext" {
 
   void webkitRequestFileSystem(int type, int size, [FileSystemCallback successCallback = null, ErrorCallback errorCallback = null]) native;
 
-  DOMFileSystemSync webkitRequestFileSystemSync(int type, int size) native;
+  DOMFileSystemSyncJS webkitRequestFileSystemSync(int type, int size) native;
 
-  EntrySync webkitResolveLocalFileSystemSyncURL(String url) native;
+  EntrySyncJS webkitResolveLocalFileSystemSyncURL(String url) native;
 
   void webkitResolveLocalFileSystemURL(String url, [EntryCallback successCallback = null, ErrorCallback errorCallback = null]) native;