Frog dart:dom using interfaces and native implementation classes.

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

Index: client/dom/generated/src/frog/SVGFETurbulenceElement.dart
diff --git a/client/dom/generated/src/frog/SVGFETurbulenceElement.dart b/client/dom/generated/src/frog/SVGFETurbulenceElement.dart
index 2a3195d89756f371881a6393c7fec77216cf65d2..326fbebe501d5c722e01246d886a2649e61a71fe 100644
--- a/client/dom/generated/src/frog/SVGFETurbulenceElement.dart
+++ b/client/dom/generated/src/frog/SVGFETurbulenceElement.dart
@@ -1,5 +1,5 @@
 
-class SVGFETurbulenceElement extends SVGElement native "*SVGFETurbulenceElement" {
+class SVGFETurbulenceElementJS extends SVGElementJS implements SVGFETurbulenceElement native "*SVGFETurbulenceElement" {
 
   static final int SVG_STITCHTYPE_NOSTITCH = 2;
 
@@ -13,35 +13,35 @@ class SVGFETurbulenceElement extends SVGElement native "*SVGFETurbulenceElement"
 
   static final int SVG_TURBULENCE_TYPE_UNKNOWN = 0;
 
-  SVGAnimatedNumber get baseFrequencyX() native "return this.baseFrequencyX;";
+  SVGAnimatedNumberJS get baseFrequencyX() native "return this.baseFrequencyX;";
 
-  SVGAnimatedNumber get baseFrequencyY() native "return this.baseFrequencyY;";
+  SVGAnimatedNumberJS get baseFrequencyY() native "return this.baseFrequencyY;";
 
-  SVGAnimatedInteger get numOctaves() native "return this.numOctaves;";
+  SVGAnimatedIntegerJS get numOctaves() native "return this.numOctaves;";
 
-  SVGAnimatedNumber get seed() native "return this.seed;";
+  SVGAnimatedNumberJS get seed() native "return this.seed;";
 
-  SVGAnimatedEnumeration get stitchTiles() native "return this.stitchTiles;";
+  SVGAnimatedEnumerationJS get stitchTiles() native "return this.stitchTiles;";
 
-  SVGAnimatedEnumeration get type() native "return this.type;";
+  SVGAnimatedEnumerationJS get type() native "return this.type;";
 
   // 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;
 }