Frog dart:dom using interfaces and native implementation classes.

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

Index: client/dom/generated/src/frog/HTMLInputElement.dart
diff --git a/client/dom/generated/src/frog/HTMLInputElement.dart b/client/dom/generated/src/frog/HTMLInputElement.dart
index 3ad3de12771d9b86cf16e77c05f68e2698b5f9b7..1bcf03b1eda78df7d61b81ab0a6b3928cfb5021c 100644
--- a/client/dom/generated/src/frog/HTMLInputElement.dart
+++ b/client/dom/generated/src/frog/HTMLInputElement.dart
@@ -1,5 +1,5 @@
 
-class HTMLInputElement extends HTMLElement native "*HTMLInputElement" {
+class HTMLInputElementJS extends HTMLElementJS implements HTMLInputElement native "*HTMLInputElement" {
 
   String get accept() native "return this.accept;";
 
@@ -41,9 +41,9 @@ class HTMLInputElement extends HTMLElement native "*HTMLInputElement" {
 
   void set disabled(bool value) native "this.disabled = value;";
 
-  FileList get files() native "return this.files;";
+  FileListJS get files() native "return this.files;";
 
-  HTMLFormElement get form() native "return this.form;";
+  HTMLFormElementJS get form() native "return this.form;";
 
   String get formAction() native "return this.formAction;";
 
@@ -73,9 +73,9 @@ class HTMLInputElement extends HTMLElement native "*HTMLInputElement" {
 
   void set indeterminate(bool value) native "this.indeterminate = value;";
 
-  NodeList get labels() native "return this.labels;";
+  NodeListJS get labels() native "return this.labels;";
 
-  HTMLElement get list() native "return this.list;";
+  HTMLElementJS get list() native "return this.list;";
 
   String get max() native "return this.max;";
 
@@ -113,7 +113,7 @@ class HTMLInputElement extends HTMLElement native "*HTMLInputElement" {
 
   void set required(bool value) native "this.required = value;";
 
-  HTMLOptionElement get selectedOption() native "return this.selectedOption;";
+  HTMLOptionElementJS get selectedOption() native "return this.selectedOption;";
 
   String get selectionDirection() native "return this.selectionDirection;";
 
@@ -149,7 +149,7 @@ class HTMLInputElement extends HTMLElement native "*HTMLInputElement" {
 
   String get validationMessage() native "return this.validationMessage;";
 
-  ValidityState get validity() native "return this.validity;";
+  ValidityStateJS get validity() native "return this.validity;";
 
   String get value() native "return this.value;";