Frog dart:dom using interfaces and native implementation classes.

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

Index: client/dom/generated/src/frog/SVGViewSpec.dart
diff --git a/client/dom/generated/src/frog/SVGViewSpec.dart b/client/dom/generated/src/frog/SVGViewSpec.dart
index 1354897f4f972e01b66dd60d1decf8c0d467f908..229bdf401c85d31cebfb3d7e3d08dc934d8939f6 100644
--- a/client/dom/generated/src/frog/SVGViewSpec.dart
+++ b/client/dom/generated/src/frog/SVGViewSpec.dart
@@ -1,21 +1,21 @@
 
-class SVGViewSpec extends SVGZoomAndPan native "*SVGViewSpec" {
+class SVGViewSpecJS extends SVGZoomAndPanJS implements SVGViewSpec native "*SVGViewSpec" {
 
   String get preserveAspectRatioString() native "return this.preserveAspectRatioString;";
 
-  SVGTransformList get transform() native "return this.transform;";
+  SVGTransformListJS get transform() native "return this.transform;";
 
   String get transformString() native "return this.transformString;";
 
   String get viewBoxString() native "return this.viewBoxString;";
 
-  SVGElement get viewTarget() native "return this.viewTarget;";
+  SVGElementJS get viewTarget() native "return this.viewTarget;";
 
   String get viewTargetString() native "return this.viewTargetString;";
 
   // 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;";
 }