Index: client/dom/generated/src/frog/SVGAnimationElement.dart |
diff --git a/client/dom/generated/src/frog/SVGAnimationElement.dart b/client/dom/generated/src/frog/SVGAnimationElement.dart |
index 13335f50fb88463c429938c40ae5b28da186c4f6..87c474d7011592e0388e63eb1183c353d2beb42b 100644 |
--- a/client/dom/generated/src/frog/SVGAnimationElement.dart |
+++ b/client/dom/generated/src/frog/SVGAnimationElement.dart |
@@ -1,7 +1,7 @@ |
class SVGAnimationElement extends SVGElement native "*SVGAnimationElement" { |
- SVGElement targetElement; |
+ SVGElement get targetElement() native "return this.targetElement;"; |
num getCurrentTime() native; |
@@ -11,17 +11,17 @@ class SVGAnimationElement extends SVGElement native "*SVGAnimationElement" { |
// From SVGTests |
- SVGStringList requiredExtensions; |
+ SVGStringList get requiredExtensions() native "return this.requiredExtensions;"; |
- SVGStringList requiredFeatures; |
+ SVGStringList get requiredFeatures() native "return this.requiredFeatures;"; |
- SVGStringList systemLanguage; |
+ SVGStringList get systemLanguage() native "return this.systemLanguage;"; |
bool hasExtension(String extension) native; |
// From SVGExternalResourcesRequired |
- SVGAnimatedBoolean externalResourcesRequired; |
+ SVGAnimatedBoolean get externalResourcesRequired() native "return this.externalResourcesRequired;"; |
// From ElementTimeControl |