Add constructors for SVG elements and remove static factory providers for html elements.

sdk/lib/svg/dart2js/svg_dart2js.dart

Index: sdk/lib/svg/dart2js/svg_dart2js.dart
===================================================================
--- sdk/lib/svg/dart2js/svg_dart2js.dart	(revision 14920)
+++ sdk/lib/svg/dart2js/svg_dart2js.dart	(working copy)
@@ -56,6 +56,8 @@
 /// @domName SVGAElement
 class SVGAElement extends SVGElement implements SVGLangSpace, SVGTests, SVGStylable, SVGURIReference, SVGExternalResourcesRequired, SVGTransformable native "*SVGAElement" {
 
+  factory SVGAElement() => _SvgElementFactoryProvider.createSVGElement_tag("a");
+
   /** @domName SVGAElement.target */
   final SVGAnimatedString target;
 
@@ -205,6 +207,8 @@
 
 /// @domName SVGAnimateColorElement
 class SVGAnimateColorElement extends SVGAnimationElement native "*SVGAnimateColorElement" {
+
+  factory SVGAnimateColorElement() => _SvgElementFactoryProvider.createSVGElement_tag("animateColor");
 }
 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
@@ -213,6 +217,8 @@
 
 /// @domName SVGAnimateElement
 class SVGAnimateElement extends SVGAnimationElement native "*SVGAnimateElement" {
+
+  factory SVGAnimateElement() => _SvgElementFactoryProvider.createSVGElement_tag("animate");
 }
 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
@@ -221,6 +227,8 @@
 
 /// @domName SVGAnimateMotionElement
 class SVGAnimateMotionElement extends SVGAnimationElement native "*SVGAnimateMotionElement" {
+
+  factory SVGAnimateMotionElement() => _SvgElementFactoryProvider.createSVGElement_tag("animateMotion");
 }
 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
@@ -229,6 +237,8 @@
 
 /// @domName SVGAnimateTransformElement
 class SVGAnimateTransformElement extends SVGAnimationElement native "*SVGAnimateTransformElement" {
+
+  factory SVGAnimateTransformElement() => _SvgElementFactoryProvider.createSVGElement_tag("animateTransform");
 }
 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
@@ -655,6 +665,8 @@
 /// @domName SVGAnimationElement
 class SVGAnimationElement extends SVGElement implements ElementTimeControl, SVGTests, SVGExternalResourcesRequired native "*SVGAnimationElement" {
 
+  factory SVGAnimationElement() => _SvgElementFactoryProvider.createSVGElement_tag("animation");
+
   /** @domName SVGAnimationElement.targetElement */
   final SVGElement targetElement;
 
@@ -708,6 +720,8 @@
 /// @domName SVGCircleElement
 class SVGCircleElement extends SVGElement implements SVGLangSpace, SVGStylable, SVGTests, SVGTransformable, SVGExternalResourcesRequired native "*SVGCircleElement" {
 
+  factory SVGCircleElement() => _SvgElementFactoryProvider.createSVGElement_tag("circle");
+
   /** @domName SVGCircleElement.cx */
   final SVGAnimatedLength cx;
 
@@ -788,6 +802,8 @@
 /// @domName SVGClipPathElement
 class SVGClipPathElement extends SVGElement implements SVGLangSpace, SVGStylable, SVGTests, SVGTransformable, SVGExternalResourcesRequired native "*SVGClipPathElement" {
 
+  factory SVGClipPathElement() => _SvgElementFactoryProvider.createSVGElement_tag("clipPath");
+
   /** @domName SVGClipPathElement.clipPathUnits */
   final SVGAnimatedEnumeration clipPathUnits;
 
@@ -934,6 +950,8 @@
 /// @domName SVGCursorElement
 class SVGCursorElement extends SVGElement implements SVGURIReference, SVGTests, SVGExternalResourcesRequired native "*SVGCursorElement" {
 
+  factory SVGCursorElement() => _SvgElementFactoryProvider.createSVGElement_tag("cursor");
+
   /** @domName SVGCursorElement.x */
   final SVGAnimatedLength x;
 
@@ -972,6 +990,8 @@
 /// @domName SVGDefsElement
 class SVGDefsElement extends SVGElement implements SVGLangSpace, SVGStylable, SVGTests, SVGTransformable, SVGExternalResourcesRequired native "*SVGDefsElement" {
 
+  factory SVGDefsElement() => _SvgElementFactoryProvider.createSVGElement_tag("defs");
+
   // From SVGExternalResourcesRequired
 
   /** @domName SVGExternalResourcesRequired.externalResourcesRequired */
@@ -1043,6 +1063,8 @@
 /// @domName SVGDescElement
 class SVGDescElement extends SVGElement implements SVGLangSpace, SVGStylable native "*SVGDescElement" {
 
+  factory SVGDescElement() => _SvgElementFactoryProvider.createSVGElement_tag("desc");
+
   // From SVGLangSpace
 
   /** @domName SVGLangSpace.xmllang */
@@ -1297,6 +1319,8 @@
 /// @domName SVGEllipseElement
 class SVGEllipseElement extends SVGElement implements SVGLangSpace, SVGStylable, SVGTests, SVGTransformable, SVGExternalResourcesRequired native "*SVGEllipseElement" {
 
+  factory SVGEllipseElement() => _SvgElementFactoryProvider.createSVGElement_tag("ellipse");
+
   /** @domName SVGEllipseElement.cx */
   final SVGAnimatedLength cx;
 
@@ -2422,6 +2446,8 @@
 /// @domName SVGFilterElement
 class SVGFilterElement extends SVGElement implements SVGURIReference, SVGLangSpace, SVGExternalResourcesRequired, SVGStylable native "*SVGFilterElement" {
 
+  factory SVGFilterElement() => _SvgElementFactoryProvider.createSVGElement_tag("filter");
+
   /** @domName SVGFilterElement.filterResX */
   final SVGAnimatedInteger filterResX;
 
@@ -2524,6 +2550,8 @@
 
 /// @domName SVGFontElement
 class SVGFontElement extends SVGElement native "*SVGFontElement" {
+
+  factory SVGFontElement() => _SvgElementFactoryProvider.createSVGElement_tag("font");
 }
 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
@@ -2532,6 +2560,8 @@
 
 /// @domName SVGFontFaceElement
 class SVGFontFaceElement extends SVGElement native "*SVGFontFaceElement" {
+
+  factory SVGFontFaceElement() => _SvgElementFactoryProvider.createSVGElement_tag("font-face");
 }
 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
@@ -2540,6 +2570,8 @@
 
 /// @domName SVGFontFaceFormatElement
 class SVGFontFaceFormatElement extends SVGElement native "*SVGFontFaceFormatElement" {
+
+  factory SVGFontFaceFormatElement() => _SvgElementFactoryProvider.createSVGElement_tag("font-face-format");
 }
 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
@@ -2548,6 +2580,8 @@
 
 /// @domName SVGFontFaceNameElement
 class SVGFontFaceNameElement extends SVGElement native "*SVGFontFaceNameElement" {
+
+  factory SVGFontFaceNameElement() => _SvgElementFactoryProvider.createSVGElement_tag("font-face-name");
 }
 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
@@ -2556,6 +2590,8 @@
 
 /// @domName SVGFontFaceSrcElement
 class SVGFontFaceSrcElement extends SVGElement native "*SVGFontFaceSrcElement" {
+
+  factory SVGFontFaceSrcElement() => _SvgElementFactoryProvider.createSVGElement_tag("font-face-src");
 }
 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
@@ -2564,6 +2600,8 @@
 
 /// @domName SVGFontFaceUriElement
 class SVGFontFaceUriElement extends SVGElement native "*SVGFontFaceUriElement" {
+
+  factory SVGFontFaceUriElement() => _SvgElementFactoryProvider.createSVGElement_tag("font-face-uri");
 }
 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
@@ -2573,6 +2611,8 @@
 /// @domName SVGForeignObjectElement
 class SVGForeignObjectElement extends SVGElement implements SVGLangSpace, SVGStylable, SVGTests, SVGTransformable, SVGExternalResourcesRequired native "*SVGForeignObjectElement" {
 
+  factory SVGForeignObjectElement() => _SvgElementFactoryProvider.createSVGElement_tag("foreignObject");
+
   /** @domName SVGForeignObjectElement.height */
   final SVGAnimatedLength height;
 
@@ -2656,6 +2696,8 @@
 /// @domName SVGGElement
 class SVGGElement extends SVGElement implements SVGLangSpace, SVGStylable, SVGTests, SVGTransformable, SVGExternalResourcesRequired native "*SVGGElement" {
 
+  factory SVGGElement() => _SvgElementFactoryProvider.createSVGElement_tag("g");
+
   // From SVGExternalResourcesRequired
 
   /** @domName SVGExternalResourcesRequired.externalResourcesRequired */
@@ -2726,6 +2768,8 @@
 
 /// @domName SVGGlyphElement
 class SVGGlyphElement extends SVGElement native "*SVGGlyphElement" {
+
+  factory SVGGlyphElement() => _SvgElementFactoryProvider.createSVGElement_tag("glyph");
 }
 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
@@ -2822,6 +2866,8 @@
 
 /// @domName SVGHKernElement
 class SVGHKernElement extends SVGElement native "*SVGHKernElement" {
+
+  factory SVGHKernElement() => _SvgElementFactoryProvider.createSVGElement_tag("hkern");
 }
 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
@@ -2831,6 +2877,8 @@
 /// @domName SVGImageElement
 class SVGImageElement extends SVGElement implements SVGLangSpace, SVGTests, SVGStylable, SVGURIReference, SVGExternalResourcesRequired, SVGTransformable native "*SVGImageElement" {
 
+  factory SVGImageElement() => _SvgElementFactoryProvider.createSVGElement_tag("image");
+
   /** @domName SVGImageElement.height */
   final SVGAnimatedLength height;
 
@@ -3097,6 +3145,8 @@
 /// @domName SVGLineElement
 class SVGLineElement extends SVGElement implements SVGLangSpace, SVGStylable, SVGTests, SVGTransformable, SVGExternalResourcesRequired native "*SVGLineElement" {
 
+  factory SVGLineElement() => _SvgElementFactoryProvider.createSVGElement_tag("line");
+
   /** @domName SVGLineElement.x1 */
   final SVGAnimatedLength x1;
 
@@ -3180,6 +3230,8 @@
 /// @domName SVGLinearGradientElement
 class SVGLinearGradientElement extends SVGGradientElement native "*SVGLinearGradientElement" {
 
+  factory SVGLinearGradientElement() => _SvgElementFactoryProvider.createSVGElement_tag("linearGradient");
+
   /** @domName SVGLinearGradientElement.x1 */
   final SVGAnimatedLength x1;
 
@@ -3224,6 +3276,8 @@
 /// @domName SVGMPathElement
 class SVGMPathElement extends SVGElement implements SVGURIReference, SVGExternalResourcesRequired native "*SVGMPathElement" {
 
+  factory SVGMPathElement() => _SvgElementFactoryProvider.createSVGElement_tag("mpath");
+
   // From SVGExternalResourcesRequired
 
   /** @domName SVGExternalResourcesRequired.externalResourcesRequired */
@@ -3242,6 +3296,8 @@
 /// @domName SVGMarkerElement
 class SVGMarkerElement extends SVGElement implements SVGLangSpace, SVGFitToViewBox, SVGExternalResourcesRequired, SVGStylable native "*SVGMarkerElement" {
 
+  factory SVGMarkerElement() => _SvgElementFactoryProvider.createSVGElement_tag("marker");
+
   static const int SVG_MARKERUNITS_STROKEWIDTH = 2;
 
   static const int SVG_MARKERUNITS_UNKNOWN = 0;
@@ -3321,6 +3377,8 @@
 /// @domName SVGMaskElement
 class SVGMaskElement extends SVGElement implements SVGLangSpace, SVGStylable, SVGTests, SVGExternalResourcesRequired native "*SVGMaskElement" {
 
+  factory SVGMaskElement() => _SvgElementFactoryProvider.createSVGElement_tag("mask");
+
   /** @domName SVGMaskElement.height */
   final SVGAnimatedLength height;
 
@@ -3626,6 +3684,8 @@
 /// @domName SVGPathElement
 class SVGPathElement extends SVGElement implements SVGLangSpace, SVGStylable, SVGTests, SVGTransformable, SVGExternalResourcesRequired native "*SVGPathElement" {
 
+  factory SVGPathElement() => _SvgElementFactoryProvider.createSVGElement_tag("path");
+
   /** @domName SVGPathElement.animatedNormalizedPathSegList */
   final SVGPathSegList animatedNormalizedPathSegList;
 
@@ -4273,6 +4333,8 @@
 /// @domName SVGPatternElement
 class SVGPatternElement extends SVGElement implements SVGLangSpace, SVGTests, SVGStylable, SVGURIReference, SVGFitToViewBox, SVGExternalResourcesRequired native "*SVGPatternElement" {
 
+  factory SVGPatternElement() => _SvgElementFactoryProvider.createSVGElement_tag("pattern");
+
   /** @domName SVGPatternElement.height */
   final SVGAnimatedLength height;
 
@@ -4402,6 +4464,8 @@
 /// @domName SVGPolygonElement
 class SVGPolygonElement extends SVGElement implements SVGLangSpace, SVGStylable, SVGTests, SVGTransformable, SVGExternalResourcesRequired native "*SVGPolygonElement" {
 
+  factory SVGPolygonElement() => _SvgElementFactoryProvider.createSVGElement_tag("polygon");
+
   /** @domName SVGPolygonElement.animatedPoints */
   final SVGPointList animatedPoints;
 
@@ -4479,6 +4543,8 @@
 /// @domName SVGPolylineElement
 class SVGPolylineElement extends SVGElement implements SVGLangSpace, SVGStylable, SVGTests, SVGTransformable, SVGExternalResourcesRequired native "*SVGPolylineElement" {
 
+  factory SVGPolylineElement() => _SvgElementFactoryProvider.createSVGElement_tag("polyline");
+
   /** @domName SVGPolylineElement.animatedPoints */
   final SVGPointList animatedPoints;
 
@@ -4598,6 +4664,8 @@
 /// @domName SVGRadialGradientElement
 class SVGRadialGradientElement extends SVGGradientElement native "*SVGRadialGradientElement" {
 
+  factory SVGRadialGradientElement() => _SvgElementFactoryProvider.createSVGElement_tag("radialGradient");
+
   /** @domName SVGRadialGradientElement.cx */
   final SVGAnimatedLength cx;
 
@@ -4644,6 +4712,8 @@
 /// @domName SVGRectElement
 class SVGRectElement extends SVGElement implements SVGLangSpace, SVGStylable, SVGTests, SVGTransformable, SVGExternalResourcesRequired native "*SVGRectElement" {
 
+  factory SVGRectElement() => _SvgElementFactoryProvider.createSVGElement_tag("rect");
+
   /** @domName SVGRectElement.height */
   final SVGAnimatedLength height;
 
@@ -4948,6 +5018,8 @@
 /// @domName SVGScriptElement
 class SVGScriptElement extends SVGElement implements SVGURIReference, SVGExternalResourcesRequired native "*SVGScriptElement" {
 
+  factory SVGScriptElement() => _SvgElementFactoryProvider.createSVGElement_tag("script");
+
   /** @domName SVGScriptElement.type */
   String type;
 
@@ -4968,6 +5040,8 @@
 
 /// @domName SVGSetElement
 class SVGSetElement extends SVGAnimationElement native "*SVGSetElement" {
+
+  factory SVGSetElement() => _SvgElementFactoryProvider.createSVGElement_tag("set");
 }
 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
@@ -4977,6 +5051,8 @@
 /// @domName SVGStopElement
 class SVGStopElement extends SVGElement implements SVGStylable native "*SVGStopElement" {
 
+  factory SVGStopElement() => _SvgElementFactoryProvider.createSVGElement_tag("stop");
+
   /** @domName SVGStopElement.offset */
   final SVGAnimatedNumber offset;
 
@@ -5129,6 +5205,8 @@
 /// @domName SVGStyleElement
 class SVGStyleElement extends SVGElement implements SVGLangSpace native "*SVGStyleElement" {
 
+  factory SVGStyleElement() => _SvgElementFactoryProvider.createSVGElement_tag("style");
+
   /** @domName SVGStyleElement.disabled */
   bool disabled;
 
@@ -5163,6 +5241,8 @@
 /// @domName SVGSwitchElement
 class SVGSwitchElement extends SVGElement implements SVGLangSpace, SVGStylable, SVGTests, SVGTransformable, SVGExternalResourcesRequired native "*SVGSwitchElement" {
 
+  factory SVGSwitchElement() => _SvgElementFactoryProvider.createSVGElement_tag("switch");
+
   // From SVGExternalResourcesRequired
 
   /** @domName SVGExternalResourcesRequired.externalResourcesRequired */
@@ -5234,6 +5314,8 @@
 /// @domName SVGSymbolElement
 class SVGSymbolElement extends SVGElement implements SVGLangSpace, SVGFitToViewBox, SVGExternalResourcesRequired, SVGStylable native "*SVGSymbolElement" {
 
+  factory SVGSymbolElement() => _SvgElementFactoryProvider.createSVGElement_tag("symbol");
+
   // From SVGExternalResourcesRequired
 
   /** @domName SVGExternalResourcesRequired.externalResourcesRequired */
@@ -5274,6 +5356,8 @@
 /// @domName SVGTRefElement
 class SVGTRefElement extends SVGTextPositioningElement implements SVGURIReference native "*SVGTRefElement" {
 
+  factory SVGTRefElement() => _SvgElementFactoryProvider.createSVGElement_tag("tref");
+
   // From SVGURIReference
 
   /** @domName SVGURIReference.href */
@@ -5286,6 +5370,8 @@
 
 /// @domName SVGTSpanElement
 class SVGTSpanElement extends SVGTextPositioningElement native "*SVGTSpanElement" {
+
+  factory SVGTSpanElement() => _SvgElementFactoryProvider.createSVGElement_tag("tspan");
 }
 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
@@ -5397,6 +5483,8 @@
 /// @domName SVGTextElement
 class SVGTextElement extends SVGTextPositioningElement implements SVGTransformable native "*SVGTextElement" {
 
+  factory SVGTextElement() => _SvgElementFactoryProvider.createSVGElement_tag("text");
+
   // From SVGLocatable
 
   /** @domName SVGLocatable.farthestViewportElement */
@@ -5487,6 +5575,8 @@
 /// @domName SVGTitleElement
 class SVGTitleElement extends SVGElement implements SVGLangSpace, SVGStylable native "*SVGTitleElement" {
 
+  factory SVGTitleElement() => _SvgElementFactoryProvider.createSVGElement_tag("title");
+
   // From SVGLangSpace
 
   /** @domName SVGLangSpace.xmllang */
@@ -5736,6 +5826,8 @@
 /// @domName SVGUseElement
 class SVGUseElement extends SVGElement implements SVGLangSpace, SVGTests, SVGStylable, SVGURIReference, SVGExternalResourcesRequired, SVGTransformable native "*SVGUseElement" {
 
+  factory SVGUseElement() => _SvgElementFactoryProvider.createSVGElement_tag("use");
+
   /** @domName SVGUseElement.animatedInstanceRoot */
   final SVGElementInstance animatedInstanceRoot;
 
@@ -5829,6 +5921,8 @@
 
 /// @domName SVGVKernElement
 class SVGVKernElement extends SVGElement native "*SVGVKernElement" {
+
+  factory SVGVKernElement() => _SvgElementFactoryProvider.createSVGElement_tag("vkern");
 }
 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
@@ -5838,6 +5932,8 @@
 /// @domName SVGViewElement
 class SVGViewElement extends SVGElement implements SVGFitToViewBox, SVGZoomAndPan, SVGExternalResourcesRequired native "*SVGViewElement" {
 
+  factory SVGViewElement() => _SvgElementFactoryProvider.createSVGElement_tag("view");
+
   /** @domName SVGViewElement.viewTarget */
   final SVGStringList viewTarget;