Frog dart:dom using interfaces and native implementation classes.

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

Index: client/dom/generated/src/frog/SVGFilterElement.dart
diff --git a/client/dom/generated/src/frog/SVGFilterElement.dart b/client/dom/generated/src/frog/SVGFilterElement.dart
index 7e52d795d9bc8ffda90e3d9eeab0c931b74d4f82..621425b6bbbb8e797fd37c803d60d55379223303 100644
--- a/client/dom/generated/src/frog/SVGFilterElement.dart
+++ b/client/dom/generated/src/frog/SVGFilterElement.dart
@@ -1,27 +1,27 @@
 
-class SVGFilterElement extends SVGElement native "*SVGFilterElement" {
+class SVGFilterElementJS extends SVGElementJS implements SVGFilterElement native "*SVGFilterElement" {
 
-  SVGAnimatedInteger get filterResX() native "return this.filterResX;";
+  SVGAnimatedIntegerJS get filterResX() native "return this.filterResX;";
 
-  SVGAnimatedInteger get filterResY() native "return this.filterResY;";
+  SVGAnimatedIntegerJS get filterResY() native "return this.filterResY;";
 
-  SVGAnimatedEnumeration get filterUnits() native "return this.filterUnits;";
+  SVGAnimatedEnumerationJS get filterUnits() native "return this.filterUnits;";
 
-  SVGAnimatedLength get height() native "return this.height;";
+  SVGAnimatedLengthJS get height() native "return this.height;";
 
-  SVGAnimatedEnumeration get primitiveUnits() native "return this.primitiveUnits;";
+  SVGAnimatedEnumerationJS get primitiveUnits() native "return this.primitiveUnits;";
 
-  SVGAnimatedLength get width() native "return this.width;";
+  SVGAnimatedLengthJS get width() native "return this.width;";
 
-  SVGAnimatedLength get x() native "return this.x;";
+  SVGAnimatedLengthJS get x() native "return this.x;";
 
-  SVGAnimatedLength get y() native "return this.y;";
+  SVGAnimatedLengthJS get y() native "return this.y;";
 
   void setFilterRes(int filterResX, int filterResY) native;
 
   // From SVGURIReference
 
-  SVGAnimatedString get href() native "return this.href;";
+  SVGAnimatedStringJS get href() native "return this.href;";
 
   // From SVGLangSpace
 
@@ -35,13 +35,13 @@ class SVGFilterElement extends SVGElement native "*SVGFilterElement" {
 
   // From SVGExternalResourcesRequired
 
-  SVGAnimatedBoolean get externalResourcesRequired() native "return this.externalResourcesRequired;";
+  SVGAnimatedBooleanJS get externalResourcesRequired() native "return this.externalResourcesRequired;";
 
   // From SVGStylable
 
-  SVGAnimatedString get className() native "return this.className;";
+  SVGAnimatedStringJS get className() native "return this.className;";
 
-  CSSStyleDeclaration get style() native "return this.style;";
+  CSSStyleDeclarationJS get style() native "return this.style;";
 
-  CSSValue getPresentationAttribute(String name) native;
+  CSSValueJS getPresentationAttribute(String name) native;
 }