Enable SVG for dartc and frog

client/dom/generated/src/wrapping/_SVGPatternElementWrappingImplementation.dart

Index: client/dom/generated/src/wrapping/_SVGPatternElementWrappingImplementation.dart
diff --git a/client/dom/generated/src/wrapping/_SVGPatternElementWrappingImplementation.dart b/client/dom/generated/src/wrapping/_SVGPatternElementWrappingImplementation.dart
new file mode 100644
index 0000000000000000000000000000000000000000..06b4fa9070cb45fb82f62a32151d3a934c6ae8b3
--- /dev/null
+++ b/client/dom/generated/src/wrapping/_SVGPatternElementWrappingImplementation.dart
@@ -0,0 +1,97 @@
+// Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+// WARNING: Do not edit - generated code.
+
+class _SVGPatternElementWrappingImplementation extends _SVGElementWrappingImplementation implements SVGPatternElement {
+  _SVGPatternElementWrappingImplementation() : super() {}
+
+  static create__SVGPatternElementWrappingImplementation() native {
+    return new _SVGPatternElementWrappingImplementation();
+  }
+
+  SVGAnimatedLength get height() { return _get_height(this); }
+  static SVGAnimatedLength _get_height(var _this) native;
+
+  SVGAnimatedEnumeration get patternContentUnits() { return _get_patternContentUnits(this); }
+  static SVGAnimatedEnumeration _get_patternContentUnits(var _this) native;
+
+  SVGAnimatedTransformList get patternTransform() { return _get_patternTransform(this); }
+  static SVGAnimatedTransformList _get_patternTransform(var _this) native;
+
+  SVGAnimatedEnumeration get patternUnits() { return _get_patternUnits(this); }
+  static SVGAnimatedEnumeration _get_patternUnits(var _this) native;
+
+  SVGAnimatedLength get width() { return _get_width(this); }
+  static SVGAnimatedLength _get_width(var _this) native;
+
+  SVGAnimatedLength get x() { return _get_x(this); }
+  static SVGAnimatedLength _get_x(var _this) native;
+
+  SVGAnimatedLength get y() { return _get_y(this); }
+  static SVGAnimatedLength _get_y(var _this) native;
+
+  // From SVGURIReference
+
+  SVGAnimatedString get href() { return _get_href(this); }
+  static SVGAnimatedString _get_href(var _this) native;
+
+  // From SVGTests
+
+  SVGStringList get requiredExtensions() { return _get_requiredExtensions(this); }
+  static SVGStringList _get_requiredExtensions(var _this) native;
+
+  SVGStringList get requiredFeatures() { return _get_requiredFeatures(this); }
+  static SVGStringList _get_requiredFeatures(var _this) native;
+
+  SVGStringList get systemLanguage() { return _get_systemLanguage(this); }
+  static SVGStringList _get_systemLanguage(var _this) native;
+
+  bool hasExtension(String extension) {
+    return _hasExtension(this, extension);
+  }
+  static bool _hasExtension(receiver, extension) native;
+
+  // From SVGLangSpace
+
+  String get xmllang() { return _get_xmllang(this); }
+  static String _get_xmllang(var _this) native;
+
+  void set xmllang(String value) { _set_xmllang(this, value); }
+  static void _set_xmllang(var _this, String value) native;
+
+  String get xmlspace() { return _get_xmlspace(this); }
+  static String _get_xmlspace(var _this) native;
+
+  void set xmlspace(String value) { _set_xmlspace(this, value); }
+  static void _set_xmlspace(var _this, String value) native;
+
+  // From SVGExternalResourcesRequired
+
+  SVGAnimatedBoolean get externalResourcesRequired() { return _get_externalResourcesRequired(this); }
+  static SVGAnimatedBoolean _get_externalResourcesRequired(var _this) native;
+
+  // From SVGStylable
+
+  SVGAnimatedString get className() { return _get_className(this); }
+  static SVGAnimatedString _get_className(var _this) native;
+
+  CSSStyleDeclaration get style() { return _get_style_SVGPatternElement(this); }
+  static CSSStyleDeclaration _get_style_SVGPatternElement(var _this) native;
+
+  CSSValue getPresentationAttribute(String name) {
+    return _getPresentationAttribute(this, name);
+  }
+  static CSSValue _getPresentationAttribute(receiver, name) native;
+
+  // From SVGFitToViewBox
+
+  SVGAnimatedPreserveAspectRatio get preserveAspectRatio() { return _get_preserveAspectRatio(this); }
+  static SVGAnimatedPreserveAspectRatio _get_preserveAspectRatio(var _this) native;
+
+  SVGAnimatedRect get viewBox() { return _get_viewBox(this); }
+  static SVGAnimatedRect _get_viewBox(var _this) native;
+
+  String get typeName() { return "SVGPatternElement"; }
+}