Work-around for FireFox: patch non-leaf types statically if possible.

client/dom/frog/frog_dom.dart

 #library('dom');
 
 #native('frog_dom.js');
 // 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.
 
 // DO NOT EDIT
 // Auto-generated Dart DOM library.
 
@@ skipping 429 matching lines @@
 
   Rect getRectValue() native;
 
   String getStringValue() native;
 
   void setFloatValue(int unitType, num floatValue) native;
 
   void setStringValue(int stringType, String stringValue) native;
 }
 
-class CSSRule native "*CSSRule" {
+class CSSRule native "CSSRule" {
 
   static final int CHARSET_RULE = 2;
 
   static final int FONT_FACE_RULE = 5;
 
   static final int IMPORT_RULE = 3;
 
   static final int MEDIA_RULE = 4;
 
   static final int PAGE_RULE = 6;
@@ skipping 268 matching lines @@
 
   void strokeRect(num x, num y, num width, num height, [num lineWidth = null]) native;
 
   void strokeText(String text, num x, num y, [num maxWidth = null]) native;
 
   void transform(num m11, num m12, num m21, num m22, num dx, num dy) native;
 
   void translate(num tx, num ty) native;
 }
 
-class CharacterData extends Node native "*CharacterData" {
+class CharacterData extends Node native "CharacterData" {
 
   String data;
 
   int length;
 
   void appendData(String data) native;
 
   void deleteData(int offset, int length) native;
 
   void insertData(int offset, String data) native;
@@ skipping 827 matching lines @@
 
 class DirectoryReaderSync native "*DirectoryReaderSync" {
 
   EntryArraySync readEntries() native;
 
   var dartObjectLocalStorage;
 
   String get typeName() native;
 }
 
-class Document extends Node native "*Document" {
+class Document extends Node native "Document" {
 
   String URL;
 
   HTMLCollection anchors;
 
   HTMLCollection applets;
 
   HTMLElement body;
 
   String characterSet;
@@ skipping 147 matching lines @@
   NamedNodeMap notations;
 
   String publicId;
 
   String systemId;
 }
 
 class DynamicsCompressorNode extends AudioNode native "*DynamicsCompressorNode" {
 }
 
-class Element extends Node native "*Element" {
+class Element extends Node native "Element" {
 
   int childElementCount;
 
   int clientHeight;
 
   int clientLeft;
 
   int clientTop;
 
   int clientWidth;
@@ skipping 211 matching lines @@
 
   String filename;
 
   int lineno;
 
   String message;
 
   void initErrorEvent(String typeArg, bool canBubbleArg, bool cancelableArg, String messageArg, String filenameArg, int linenoArg) native;
 }
 
-class Event native "*Event" {
+class Event native "Event" {
 
   static final int AT_TARGET = 2;
 
   static final int BLUR = 8192;
 
   static final int BUBBLING_PHASE = 3;
 
   static final int CAPTURING_PHASE = 1;
 
   static final int CHANGE = 32768;
@@ skipping 570 matching lines @@
 
   int height;
 
   int width;
 
   Object getContext(String contextId) native;
 
   String toDataURL(String type) native;
 }
 
-class HTMLCollection native "*HTMLCollection" {
+class HTMLCollection native "HTMLCollection" {
 
   int length;
 
   Node operator[](int index) native;
 
   Node item(int index) native;
 
   Node namedItem(String name) native;
 
   var dartObjectLocalStorage;
@@ skipping 68 matching lines @@
 
   void open() native;
 
   void releaseEvents() native;
 
   void write(String text) native;
 
   void writeln(String text) native;
 }
 
-class HTMLElement extends Element native "*HTMLElement" {
+class HTMLElement extends Element native "HTMLElement" {
 
   HTMLCollection children;
 
   DOMTokenList classList;
 
   String className;
 
   String contentEditable;
 
   String dir;
@@ skipping 240 matching lines @@
 
   int vspace;
 
   int width;
 
   int x;
 
   int y;
 }
 
-class HTMLInputElement extends HTMLElement native "*HTMLInputElement" {
+class HTMLInputElement extends HTMLElement native "HTMLInputElement" {
 
   String accept;
 
   String accessKey;
 
   String align;
 
   String alt;
 
   String autocomplete;
@@ skipping 216 matching lines @@
 
   int vspace;
 
   String width;
 
   void start() native;
 
   void stop() native;
 }
 
-class HTMLMediaElement extends HTMLElement native "*HTMLMediaElement" {
+class HTMLMediaElement extends HTMLElement native "HTMLMediaElement" {
 
   static final int HAVE_CURRENT_DATA = 2;
 
   static final int HAVE_ENOUGH_DATA = 4;
 
   static final int HAVE_FUTURE_DATA = 3;
 
   static final int HAVE_METADATA = 1;
 
   static final int HAVE_NOTHING = 0;
@@ skipping 1461 matching lines @@
   String get typeName() native;
 }
 
 class NavigatorUserMediaSuccessCallback native "*NavigatorUserMediaSuccessCallback" {
 
   var dartObjectLocalStorage;
 
   String get typeName() native;
 }
 
-class Node native "*Node" {
+class Node native "Node" {
 
   static final int ATTRIBUTE_NODE = 2;
 
   static final int CDATA_SECTION_NODE = 4;
 
   static final int COMMENT_NODE = 8;
 
   static final int DOCUMENT_FRAGMENT_NODE = 11;
 
   static final int DOCUMENT_NODE = 9;
@@ skipping 1208 matching lines @@
   CSSValue getPresentationAttribute(String name) native;
 }
 
 class SVGDocument extends Document native "*SVGDocument" {
 
   SVGSVGElement rootElement;
 
   Event createEvent(String eventType) native;
 }
 
-class SVGElement extends Element native "*SVGElement" {
+class SVGElement extends Element native "SVGElement" {
 
   String id;
 
   SVGSVGElement ownerSVGElement;
 
   SVGElement viewportElement;
 
   String xmlbase;
 }
 
@@ skipping 999 matching lines @@
 
   // From SVGStylable
 
   SVGAnimatedString className;
 
   CSSStyleDeclaration style;
 
   CSSValue getPresentationAttribute(String name) native;
 }
 
-class SVGGradientElement extends SVGElement native "*SVGGradientElement" {
+class SVGGradientElement extends SVGElement native "SVGGradientElement" {
 
   static final int SVG_SPREADMETHOD_PAD = 1;
 
   static final int SVG_SPREADMETHOD_REFLECT = 2;
 
   static final int SVG_SPREADMETHOD_REPEAT = 3;
 
   static final int SVG_SPREADMETHOD_UNKNOWN = 0;
 
   SVGAnimatedTransformList gradientTransform;
@@ skipping 564 matching lines @@
 
   SVGRect getBBox() native;
 
   SVGMatrix getCTM() native;
 
   SVGMatrix getScreenCTM() native;
 
   SVGMatrix getTransformToElement(SVGElement element) native;
 }
 
-class SVGPathSeg native "*SVGPathSeg" {
+class SVGPathSeg native "SVGPathSeg" {
 
   static final int PATHSEG_ARC_ABS = 10;
 
   static final int PATHSEG_ARC_REL = 11;
 
   static final int PATHSEG_CLOSEPATH = 1;
 
   static final int PATHSEG_CURVETO_CUBIC_ABS = 6;
 
   static final int PATHSEG_CURVETO_CUBIC_REL = 7;
@@ skipping 880 matching lines @@
 
   SVGStringList systemLanguage;
 
   bool hasExtension(String extension) native;
 
   var dartObjectLocalStorage;
 
   String get typeName() native;
 }
 
-class SVGTextContentElement extends SVGElement native "*SVGTextContentElement" {
+class SVGTextContentElement extends SVGElement native "SVGTextContentElement" {
 
   static final int LENGTHADJUST_SPACING = 1;
 
   static final int LENGTHADJUST_SPACINGANDGLYPHS = 2;
 
   static final int LENGTHADJUST_UNKNOWN = 0;
 
   SVGAnimatedEnumeration lengthAdjust;
 
   SVGAnimatedLength textLength;
@@ skipping 84 matching lines @@
 
   SVGAnimatedEnumeration spacing;
 
   SVGAnimatedLength startOffset;
 
   // From SVGURIReference
 
   SVGAnimatedString href;
 }
 
-class SVGTextPositioningElement extends SVGTextContentElement native "*SVGTextPositioningElement" {
+class SVGTextPositioningElement extends SVGTextContentElement native "SVGTextPositioningElement" {
 
   SVGAnimatedLengthList dx;
 
   SVGAnimatedLengthList dy;
 
   SVGAnimatedNumberList rotate;
 
   SVGAnimatedLengthList x;
 
   SVGAnimatedLengthList y;
@@ skipping 396 matching lines @@
 
   String type;
 
   bool matchMedium(String mediaquery) native;
 
   var dartObjectLocalStorage;
 
   String get typeName() native;
 }
 
-class StyleSheet native "*StyleSheet" {
+class StyleSheet native "StyleSheet" {
 
   bool disabled;
 
   String href;
 
   MediaList media;
 
   Node ownerNode;
 
   StyleSheet parentStyleSheet;
@@ skipping 13 matching lines @@
 
   StyleSheet operator[](int index) native;
 
   StyleSheet item(int index) native;
 
   var dartObjectLocalStorage;
 
   String get typeName() native;
 }
 
-class Text extends CharacterData native "*Text" {
+class Text extends CharacterData native "Text" {
 
   String wholeText;
 
   Text replaceWholeText(String content) native;
 
   Text splitText(int offset) native;
 }
 
 class TextEvent extends UIEvent native "*TextEvent" {
 
@@ skipping 196 matching lines @@
 
   Node previousNode() native;
 
   Node previousSibling() native;
 
   var dartObjectLocalStorage;
 
   String get typeName() native;
 }
 
-class UIEvent extends Event native "*UIEvent" {
+class UIEvent extends Event native "UIEvent" {
 
   int charCode;
 
   int detail;
 
   int keyCode;
 
   int layerX;
 
   int layerY;
@@ skipping 1886 matching lines @@
 // 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.
 
 typedef bool RequestAnimationFrameCallback(int time);
 // 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.
 
 typedef void TimeoutHandler();