Frog dart:dom using interfaces and native implementation classes.

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

Index: client/dom/generated/src/frog/SVGViewElement.dart
diff --git a/client/dom/generated/src/frog/SVGViewElement.dart b/client/dom/generated/src/frog/SVGViewElement.dart
index 84565b850badc09305ea0580b22e6457494e98e4..51db4edbfd9bc41540f7c2d049611fa8a1a32ef7 100644
--- a/client/dom/generated/src/frog/SVGViewElement.dart
+++ b/client/dom/generated/src/frog/SVGViewElement.dart
@@ -1,17 +1,17 @@
 
-class SVGViewElement extends SVGElement native "*SVGViewElement" {
+class SVGViewElementJS extends SVGElementJS implements SVGViewElement native "*SVGViewElement" {
 
-  SVGStringList get viewTarget() native "return this.viewTarget;";
+  SVGStringListJS get viewTarget() native "return this.viewTarget;";
 
   // From SVGExternalResourcesRequired
 
-  SVGAnimatedBoolean get externalResourcesRequired() native "return this.externalResourcesRequired;";
+  SVGAnimatedBooleanJS get externalResourcesRequired() native "return this.externalResourcesRequired;";
 
   // From SVGFitToViewBox
 
-  SVGAnimatedPreserveAspectRatio get preserveAspectRatio() native "return this.preserveAspectRatio;";
+  SVGAnimatedPreserveAspectRatioJS get preserveAspectRatio() native "return this.preserveAspectRatio;";
 
-  SVGAnimatedRect get viewBox() native "return this.viewBox;";
+  SVGAnimatedRectJS get viewBox() native "return this.viewBox;";
 
   // From SVGZoomAndPan