Frog dart:dom using interfaces and native implementation classes.

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

Index: client/dom/generated/src/frog/SVGFEDisplacementMapElement.dart
diff --git a/client/dom/generated/src/frog/SVGFEDisplacementMapElement.dart b/client/dom/generated/src/frog/SVGFEDisplacementMapElement.dart
index a7a9f084b632e26b36503660b2135075b17ef889..91e33f185e482277965b63f7a0f580203570d99f 100644
--- a/client/dom/generated/src/frog/SVGFEDisplacementMapElement.dart
+++ b/client/dom/generated/src/frog/SVGFEDisplacementMapElement.dart
@@ -1,5 +1,5 @@
 
-class SVGFEDisplacementMapElement extends SVGElement native "*SVGFEDisplacementMapElement" {
+class SVGFEDisplacementMapElementJS extends SVGElementJS implements SVGFEDisplacementMapElement native "*SVGFEDisplacementMapElement" {
 
   static final int SVG_CHANNEL_A = 4;
 
@@ -11,33 +11,33 @@ class SVGFEDisplacementMapElement extends SVGElement native "*SVGFEDisplacementM
 
   static final int SVG_CHANNEL_UNKNOWN = 0;
 
-  SVGAnimatedString get in1() native "return this.in1;";
+  SVGAnimatedStringJS get in1() native "return this.in1;";
 
-  SVGAnimatedString get in2() native "return this.in2;";
+  SVGAnimatedStringJS get in2() native "return this.in2;";
 
-  SVGAnimatedNumber get scale() native "return this.scale;";
+  SVGAnimatedNumberJS get scale() native "return this.scale;";
 
-  SVGAnimatedEnumeration get xChannelSelector() native "return this.xChannelSelector;";
+  SVGAnimatedEnumerationJS get xChannelSelector() native "return this.xChannelSelector;";
 
-  SVGAnimatedEnumeration get yChannelSelector() native "return this.yChannelSelector;";
+  SVGAnimatedEnumerationJS get yChannelSelector() native "return this.yChannelSelector;";
 
   // From SVGFilterPrimitiveStandardAttributes
 
-  SVGAnimatedLength get height() native "return this.height;";
+  SVGAnimatedLengthJS get height() native "return this.height;";
 
-  SVGAnimatedString get result() native "return this.result;";
+  SVGAnimatedStringJS get result() native "return this.result;";
 
-  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;";
 
   // 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;
 }