Frog dart:dom using interfaces and native implementation classes.

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

Index: client/dom/generated/src/frog/SVGCircleElement.dart
diff --git a/client/dom/generated/src/frog/SVGCircleElement.dart b/client/dom/generated/src/frog/SVGCircleElement.dart
index d598e8999fb599fb7714a89d580c72c57974a27b..8ddc942b8bca837ccc59c6808b45b808410be99e 100644
--- a/client/dom/generated/src/frog/SVGCircleElement.dart
+++ b/client/dom/generated/src/frog/SVGCircleElement.dart
@@ -1,19 +1,19 @@
 
-class SVGCircleElement extends SVGElement native "*SVGCircleElement" {
+class SVGCircleElementJS extends SVGElementJS implements SVGCircleElement native "*SVGCircleElement" {
 
-  SVGAnimatedLength get cx() native "return this.cx;";
+  SVGAnimatedLengthJS get cx() native "return this.cx;";
 
-  SVGAnimatedLength get cy() native "return this.cy;";
+  SVGAnimatedLengthJS get cy() native "return this.cy;";
 
-  SVGAnimatedLength get r() native "return this.r;";
+  SVGAnimatedLengthJS get r() native "return this.r;";
 
   // From SVGTests
 
-  SVGStringList get requiredExtensions() native "return this.requiredExtensions;";
+  SVGStringListJS get requiredExtensions() native "return this.requiredExtensions;";
 
-  SVGStringList get requiredFeatures() native "return this.requiredFeatures;";
+  SVGStringListJS get requiredFeatures() native "return this.requiredFeatures;";
 
-  SVGStringList get systemLanguage() native "return this.systemLanguage;";
+  SVGStringListJS get systemLanguage() native "return this.systemLanguage;";
 
   bool hasExtension(String extension) native;
 
@@ -29,31 +29,31 @@ class SVGCircleElement extends SVGElement native "*SVGCircleElement" {
 
   // 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;
 
   // From SVGTransformable
 
-  SVGAnimatedTransformList get transform() native "return this.transform;";
+  SVGAnimatedTransformListJS get transform() native "return this.transform;";
 
   // From SVGLocatable
 
-  SVGElement get farthestViewportElement() native "return this.farthestViewportElement;";
+  SVGElementJS get farthestViewportElement() native "return this.farthestViewportElement;";
 
-  SVGElement get nearestViewportElement() native "return this.nearestViewportElement;";
+  SVGElementJS get nearestViewportElement() native "return this.nearestViewportElement;";
 
-  SVGRect getBBox() native;
+  SVGRectJS getBBox() native;
 
-  SVGMatrix getCTM() native;
+  SVGMatrixJS getCTM() native;
 
-  SVGMatrix getScreenCTM() native;
+  SVGMatrixJS getScreenCTM() native;
 
-  SVGMatrix getTransformToElement(SVGElement element) native;
+  SVGMatrixJS getTransformToElement(SVGElementJS element) native;
 }