Frog dart:dom using interfaces and native implementation classes.

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

Index: client/dom/generated/src/frog/SVGTextContentElement.dart
diff --git a/client/dom/generated/src/frog/SVGTextContentElement.dart b/client/dom/generated/src/frog/SVGTextContentElement.dart
index 6cf2d8125d644073aa5629fc1b10bedfaa474d7a..1b2d4cae82c9a427b23f53be28c13db20be46430 100644
--- a/client/dom/generated/src/frog/SVGTextContentElement.dart
+++ b/client/dom/generated/src/frog/SVGTextContentElement.dart
@@ -1,5 +1,5 @@
 
-class SVGTextContentElement extends SVGElement native "*SVGTextContentElement" {
+class SVGTextContentElementJS extends SVGElementJS implements SVGTextContentElement native "*SVGTextContentElement" {
 
   static final int LENGTHADJUST_SPACING = 1;
 
@@ -7,23 +7,23 @@ class SVGTextContentElement extends SVGElement native "*SVGTextContentElement" {
 
   static final int LENGTHADJUST_UNKNOWN = 0;
 
-  SVGAnimatedEnumeration get lengthAdjust() native "return this.lengthAdjust;";
+  SVGAnimatedEnumerationJS get lengthAdjust() native "return this.lengthAdjust;";
 
-  SVGAnimatedLength get textLength() native "return this.textLength;";
+  SVGAnimatedLengthJS get textLength() native "return this.textLength;";
 
-  int getCharNumAtPosition(SVGPoint point) native;
+  int getCharNumAtPosition(SVGPointJS point) native;
 
   num getComputedTextLength() native;
 
-  SVGPoint getEndPositionOfChar(int offset) native;
+  SVGPointJS getEndPositionOfChar(int offset) native;
 
-  SVGRect getExtentOfChar(int offset) native;
+  SVGRectJS getExtentOfChar(int offset) native;
 
   int getNumberOfChars() native;
 
   num getRotationOfChar(int offset) native;
 
-  SVGPoint getStartPositionOfChar(int offset) native;
+  SVGPointJS getStartPositionOfChar(int offset) native;
 
   num getSubStringLength(int offset, int length) native;
 
@@ -31,11 +31,11 @@ class SVGTextContentElement extends SVGElement native "*SVGTextContentElement" {
 
   // 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;
 
@@ -51,13 +51,13 @@ class SVGTextContentElement extends SVGElement native "*SVGTextContentElement" {
 
   // 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;
 }