Add dummy dart:html library for documentation.

lib/html/doc/interface/Document.dartdoc

Index: lib/html/doc/interface/Document.dartdoc
diff --git a/lib/html/doc/interface/Document.dartdoc b/lib/html/doc/interface/Document.dartdoc
new file mode 100644
index 0000000000000000000000000000000000000000..cf8d43db5140bf5cbbdf3fa411b0d75d6d758d15
--- /dev/null
+++ b/lib/html/doc/interface/Document.dartdoc
@@ -0,0 +1,255 @@
+// 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
+// BSD-style license that can be found in the LICENSE file.
+
+/// @domName Document
+interface Document extends HtmlElement {
+
+
+  /**
+   * @domName EventTarget.addEventListener, EventTarget.removeEventListener, EventTarget.dispatchEvent
+   */
+  DocumentEvents get on();
+
+  /** @domName HTMLDocument.activeElement */
+  final Element activeElement;
+
+  /** @domName Document.body */
+  Element body;
+
+  /** @domName Document.charset */
+  String charset;
+
+  /** @domName Document.cookie */
+  String cookie;
+
+  /** @domName Document.defaultView */
+  final Window window;
+
+  /** @domName Document.documentElement */
+  final Element documentElement;
+
+  /** @domName Document.domain */
+  final String domain;
+
+  /** @domName Document.head */
+  final HeadElement head;
+
+  /** @domName Document.lastModified */
+  final String lastModified;
+
+  /** @domName Document.preferredStylesheetSet */
+  final String preferredStylesheetSet;
+
+  /** @domName Document.readyState */
+  final String readyState;
+
+  /** @domName Document.referrer */
+  final String referrer;
+
+  /** @domName Document.selectedStylesheetSet */
+  String selectedStylesheetSet;
+
+  /** @domName Document.styleSheets */
+  final StyleSheetList styleSheets;
+
+  /** @domName Document.title */
+  String title;
+
+  /** @domName Document.webkitCurrentFullScreenElement */
+  final Element webkitCurrentFullScreenElement;
+
+  /** @domName Document.webkitFullScreenKeyboardInputAllowed */
+  final bool webkitFullScreenKeyboardInputAllowed;
+
+  /** @domName Document.webkitFullscreenElement */
+  final Element webkitFullscreenElement;
+
+  /** @domName Document.webkitFullscreenEnabled */
+  final bool webkitFullscreenEnabled;
+
+  /** @domName Document.webkitHidden */
+  final bool webkitHidden;
+
+  /** @domName Document.webkitIsFullScreen */
+  final bool webkitIsFullScreen;
+
+  /** @domName Document.webkitVisibilityState */
+  final String webkitVisibilityState;
+
+  /** @domName Document.caretRangeFromPoint */
+  Range caretRangeFromPoint(int x, int y);
+
+  /** @domName Document.createCDATASection */
+  CDATASection createCDATASection(String data);
+
+  /** @domName Document.createDocumentFragment */
+  DocumentFragment createDocumentFragment();
+
+  /** @domName Document.createElement */
+  Element $dom_createElement(String tagName);
+
+  /** @domName Document.createElementNS */
+  Element $dom_createElementNS(String namespaceURI, String qualifiedName);
+
+  /** @domName Document.createEvent */
+  Event $dom_createEvent(String eventType);
+
+  /** @domName Document.createRange */
+  Range createRange();
+
+  /** @domName Document.createTextNode */
+  Text $dom_createTextNode(String data);
+
+  /** @domName Document.createTouch */
+  Touch createTouch(Window window, EventTarget target, int identifier, int pageX, int pageY, int screenX, int screenY, int webkitRadiusX, int webkitRadiusY, num webkitRotationAngle, num webkitForce);
+
+  /** @domName Document.createTouchList */
+  TouchList $dom_createTouchList();
+
+  /** @domName Document.elementFromPoint */
+  Element elementFromPoint(int x, int y);
+
+  /** @domName Document.execCommand */
+  bool execCommand(String command, bool userInterface, String value);
+
+  /** @domName Document.getCSSCanvasContext */
+  CanvasRenderingContext getCSSCanvasContext(String contextId, String name, int width, int height);
+
+  /** @domName Document.getElementById */
+  Element $dom_getElementById(String elementId);
+
+  /** @domName Document.getElementsByClassName */
+  NodeList $dom_getElementsByClassName(String tagname);
+
+  /** @domName Document.getElementsByName */
+  NodeList $dom_getElementsByName(String elementName);
+
+  /** @domName Document.getElementsByTagName */
+  NodeList $dom_getElementsByTagName(String tagname);
+
+  /** @domName Document.queryCommandEnabled */
+  bool queryCommandEnabled(String command);
+
+  /** @domName Document.queryCommandIndeterm */
+  bool queryCommandIndeterm(String command);
+
+  /** @domName Document.queryCommandState */
+  bool queryCommandState(String command);
+
+  /** @domName Document.queryCommandSupported */
+  bool queryCommandSupported(String command);
+
+  /** @domName Document.queryCommandValue */
+  String queryCommandValue(String command);
+
+  /** @domName Document.querySelector */
+  Element $dom_querySelector(String selectors);
+
+  /** @domName Document.querySelectorAll */
+  NodeList $dom_querySelectorAll(String selectors);
+
+  /** @domName Document.webkitCancelFullScreen */
+  void webkitCancelFullScreen();
+
+  /** @domName Document.webkitExitFullscreen */
+  void webkitExitFullscreen();
+
+}
+
+interface DocumentEvents extends ElementEvents {
+
+  EventListenerList get abort();
+
+  EventListenerList get beforeCopy();
+
+  EventListenerList get beforeCut();
+
+  EventListenerList get beforePaste();
+
+  EventListenerList get blur();
+
+  EventListenerList get change();
+
+  EventListenerList get click();
+
+  EventListenerList get contextMenu();
+
+  EventListenerList get copy();
+
+  EventListenerList get cut();
+
+  EventListenerList get doubleClick();
+
+  EventListenerList get drag();
+
+  EventListenerList get dragEnd();
+
+  EventListenerList get dragEnter();
+
+  EventListenerList get dragLeave();
+
+  EventListenerList get dragOver();
+
+  EventListenerList get dragStart();
+
+  EventListenerList get drop();
+
+  EventListenerList get error();
+
+  EventListenerList get focus();
+
+  EventListenerList get fullscreenChange();
+
+  EventListenerList get fullscreenError();
+
+  EventListenerList get input();
+
+  EventListenerList get invalid();
+
+  EventListenerList get keyDown();
+
+  EventListenerList get keyPress();
+
+  EventListenerList get keyUp();
+
+  EventListenerList get load();
+
+  EventListenerList get mouseDown();
+
+  EventListenerList get mouseMove();
+
+  EventListenerList get mouseOut();
+
+  EventListenerList get mouseOver();
+
+  EventListenerList get mouseUp();
+
+  EventListenerList get mouseWheel();
+
+  EventListenerList get paste();
+
+  EventListenerList get readyStateChange();
+
+  EventListenerList get reset();
+
+  EventListenerList get scroll();
+
+  EventListenerList get search();
+
+  EventListenerList get select();
+
+  EventListenerList get selectStart();
+
+  EventListenerList get selectionChange();
+
+  EventListenerList get submit();
+
+  EventListenerList get touchCancel();
+
+  EventListenerList get touchEnd();
+
+  EventListenerList get touchMove();
+
+  EventListenerList get touchStart();
+}