lib/html/dartium/html_dartium.dart - Issue 9997003: Add back @domName annotations to dart:html

Unified Diff: lib/html/dartium/html_dartium.dart

Issue 9997003: Add back @domName annotations to dart:html (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart

Patch Set: Ready to review Created 8 years, 9 months ago

Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.

Jump to:

Download patch

Index: lib/html/dartium/html_dartium.dart

diff --git a/lib/html/dartium/html_dartium.dart b/lib/html/dartium/html_dartium.dart

index 14ef105a3330a02c17f83bd09033128b92fb8e23..bf84af27a02f52c5e6a4e9e7cc1ab13f0fe213ca 100644

--- a/lib/html/dartium/html_dartium.dart

+++ b/lib/html/dartium/html_dartium.dart

@@ -22200,10 +22200,13 @@ interface AbstractWorker extends EventTarget {

AbstractWorkerEvents get on();

+ /** @domName addEventListener */

void $dom_addEventListener(String type, EventListener listener, [bool useCapture]);

nweiz 2012/04/05 18:45:16 Do we really want to add these for all the private

Jacob 2012/04/05 20:57:30 Discussed offline. These will make things easier f

+ /** @domName dispatchEvent */

bool $dom_dispatchEvent(Event evt);

+ /** @domName removeEventListener */

void $dom_removeEventListener(String type, EventListener listener, [bool useCapture]);

}

@@ -25715,10 +25718,13 @@ interface DOMApplicationCache extends EventTarget {

void abort();

+ /** @domName addEventListener */

void $dom_addEventListener(String type, EventListener listener, [bool useCapture]);

+ /** @domName dispatchEvent */

bool $dom_dispatchEvent(Event evt);

+ /** @domName removeEventListener */

void $dom_removeEventListener(String type, EventListener listener, [bool useCapture]);

void swapCache();

@@ -26362,6 +26368,7 @@ interface Document extends HtmlElement {

String cookie;

+ /** @domName defaultView */

final Window window;

final Element documentElement;

@@ -26404,18 +26411,23 @@ interface Document extends HtmlElement {

DocumentFragment createDocumentFragment();

+ /** @domName createElement */

Element $dom_createElement(String tagName);

+ /** @domName createElementNS */

Element $dom_createElementNS(String namespaceURI, String qualifiedName);

+ /** @domName createEvent */

Event $dom_createEvent(String eventType);

Range createRange();

+ /** @domName createTextNode */

Text $dom_createTextNode(String data);

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 createTouchList */

TouchList $dom_createTouchList();

Element elementFromPoint(int x, int y);

@@ -26424,12 +26436,16 @@ interface Document extends HtmlElement {

CanvasRenderingContext getCSSCanvasContext(String contextId, String name, int width, int height);

+ /** @domName getElementById */

Element $dom_getElementById(String elementId);

+ /** @domName getElementsByClassName */

NodeList $dom_getElementsByClassName(String tagname);

+ /** @domName getElementsByName */

NodeList $dom_getElementsByName(String elementName);

+ /** @domName getElementsByTagName */

NodeList $dom_getElementsByTagName(String tagname);

bool queryCommandEnabled(String command);

@@ -26442,8 +26458,10 @@ interface Document extends HtmlElement {

String queryCommandValue(String command);

+ /** @domName querySelector */

Element query(String selectors);

+ /** @domName querySelectorAll */

NodeList $dom_querySelectorAll(String selectors);

void webkitCancelFullScreen();

@@ -26571,8 +26589,10 @@ interface DocumentFragment extends Element default _DocumentFragmentFactoryProvi

ElementEvents get on();

+ /** @domName querySelector */

Element query(String selectors);

+ /** @domName querySelectorAll */

NodeList $dom_querySelectorAll(String selectors);

}

@@ -26716,18 +26736,25 @@ interface Element extends Node, NodeSelector default _ElementFactoryProvider {

static final int ALLOW_KEYBOARD_INPUT = 1;

+ /** @domName childElementCount */

final int $dom_childElementCount;

+ /** @domName children */

final HTMLCollection $dom_children;

+ /** @domName className */

String $dom_className;

+ /** @domName clientHeight */

final int $dom_clientHeight;

+ /** @domName clientLeft */

final int $dom_clientLeft;

+ /** @domName clientTop */

final int $dom_clientTop;

+ /** @domName clientWidth */

final int $dom_clientWidth;

String contentEditable;

@@ -26736,6 +26763,7 @@ interface Element extends Node, NodeSelector default _ElementFactoryProvider {

bool draggable;

+ /** @domName firstElementChild */

final Element $dom_firstElementChild;

bool hidden;

@@ -26748,30 +26776,39 @@ interface Element extends Node, NodeSelector default _ElementFactoryProvider {

String lang;

+ /** @domName lastElementChild */

final Element $dom_lastElementChild;

final Element nextElementSibling;

+ /** @domName offsetHeight */

final int $dom_offsetHeight;

+ /** @domName offsetLeft */

final int $dom_offsetLeft;

final Element offsetParent;

+ /** @domName offsetTop */

final int $dom_offsetTop;

+ /** @domName offsetWidth */

final int $dom_offsetWidth;

final String outerHTML;

final Element previousElementSibling;

+ /** @domName scrollHeight */

final int $dom_scrollHeight;

+ /** @domName scrollLeft */

int $dom_scrollLeft;

+ /** @domName scrollTop */

int $dom_scrollTop;

+ /** @domName scrollWidth */

final int $dom_scrollWidth;

bool spellcheck;

@@ -26796,16 +26833,22 @@ interface Element extends Node, NodeSelector default _ElementFactoryProvider {

void focus();

+ /** @domName getAttribute */

String $dom_getAttribute(String name);

+ /** @domName getBoundingClientRect */

ClientRect $dom_getBoundingClientRect();

+ /** @domName getClientRects */

ClientRectList $dom_getClientRects();

+ /** @domName getElementsByClassName */

NodeList $dom_getElementsByClassName(String name);

+ /** @domName getElementsByTagName */

NodeList $dom_getElementsByTagName(String name);

+ /** @domName hasAttribute */

bool $dom_hasAttribute(String name);

Element insertAdjacentElement(String where, Element element);

@@ -26814,20 +26857,26 @@ interface Element extends Node, NodeSelector default _ElementFactoryProvider {

void insertAdjacentText(String where, String text);

+ /** @domName querySelector */

Element query(String selectors);

+ /** @domName querySelectorAll */

NodeList $dom_querySelectorAll(String selectors);

+ /** @domName removeAttribute */

void $dom_removeAttribute(String name);

void scrollByLines(int lines);

void scrollByPages(int pages);

+ /** @domName scrollIntoViewIfNeeded */

void scrollIntoView([bool centerIfNeeded]);

+ /** @domName setAttribute */

void $dom_setAttribute(String name, String value);

+ /** @domName webkitMatchesSelector */

bool matchesSelector(String selectors);

void webkitRequestFullScreen(int flags);

@@ -27205,6 +27254,7 @@ interface Event default _EventFactoryProvider {

final String type;

+ /** @domName initEvent */

void $dom_initEvent(String eventTypeArg, bool canBubbleArg, bool cancelableArg);

void preventDefault();

@@ -27257,12 +27307,15 @@ interface EventSource extends EventTarget default _EventSourceFactoryProvider {

final String url;

+ /** @domName addEventListener */

void $dom_addEventListener(String type, EventListener listener, [bool useCapture]);

void close();

+ /** @domName dispatchEvent */

bool $dom_dispatchEvent(Event evt);

+ /** @domName removeEventListener */

void $dom_removeEventListener(String type, EventListener listener, [bool useCapture]);

}

@@ -27296,10 +27349,13 @@ interface EventTarget {

final Events on;

+ /** @domName addEventListener */

void $dom_addEventListener(String type, EventListener listener, [bool useCapture]);

+ /** @domName dispatchEvent */

bool $dom_dispatchEvent(Event event);

+ /** @domName removeEventListener */

void $dom_removeEventListener(String type, EventListener listener, [bool useCapture]);

}

@@ -29229,14 +29285,17 @@ interface MessagePort extends EventTarget {

MessagePortEvents get on();

+ /** @domName addEventListener */

void $dom_addEventListener(String type, EventListener listener, [bool useCapture]);

void close();

+ /** @domName dispatchEvent */

bool $dom_dispatchEvent(Event evt);

void postMessage(String message, [List messagePorts]);

+ /** @domName removeEventListener */

void $dom_removeEventListener(String type, EventListener listener, [bool useCapture]);

void start();

@@ -29365,6 +29424,7 @@ interface MouseEvent extends UIEvent default _MouseEventFactoryProvider {

final int y;

+ /** @domName initMouseEvent */

void $dom_initMouseEvent(String type, bool canBubble, bool cancelable, Window view, int detail, int screenX, int screenY, int clientX, int clientY, bool ctrlKey, bool altKey, bool shiftKey, bool metaKey, int button, EventTarget relatedTarget);

}

@@ -29541,28 +29601,40 @@ interface Node extends EventTarget {

static final int TEXT_NODE = 3;

+ /** @domName attributes */

final NamedNodeMap $dom_attributes;

+ /** @domName childNodes */

final NodeList $dom_childNodes;

+ /** @domName firstChild */

final Node $dom_firstChild;

+ /** @domName lastChild */

final Node $dom_lastChild;

+ /** @domName nextSibling */

final Node nextNode;

+ /** @domName nodeType */

final int $dom_nodeType;

+ /** @domName ownerDocument */

final Document document;

+ /** @domName parentNode */

final Node parent;

+ /** @domName previousSibling */

final Node previousNode;

+ /** @domName textContent */

String text;

+ /** @domName appendChild */

Node $dom_appendChild(Node newChild);

+ /** @domName cloneNode */

Node clone(bool deep);

bool contains(Node other);

@@ -29571,8 +29643,10 @@ interface Node extends EventTarget {

Node insertBefore(Node newChild, Node refChild);

+ /** @domName removeChild */

Node $dom_removeChild(Node oldChild);

+ /** @domName replaceChild */

Node $dom_replaceChild(Node newChild, Node oldChild);

}

@@ -29674,8 +29748,10 @@ interface NodeSelector {

// ElementList queryAll(String selectors);

+ /** @domName querySelector */

Element query(String selectors);

+ /** @domName querySelectorAll */

NodeList $dom_querySelectorAll(String selectors);

}

@@ -30966,6 +31042,7 @@ interface SVGDocument extends Document {

final SVGSVGElement rootElement;

+ /** @domName createEvent */

Event $dom_createEvent(String eventType);

}

@@ -31015,10 +31092,13 @@ interface SVGElementInstance extends EventTarget {

final SVGElementInstance previousSibling;

+ /** @domName addEventListener */

void $dom_addEventListener(String type, EventListener listener, [bool useCapture]);

+ /** @domName dispatchEvent */

bool $dom_dispatchEvent(Event event);

+ /** @domName removeEventListener */

void $dom_removeEventListener(String type, EventListener listener, [bool useCapture]);

}

@@ -32872,6 +32952,7 @@ interface SVGStringList {

interface SVGStylable {

+ /** @domName className */

final SVGAnimatedString $dom_svgClassName;

final CSSStyleDeclaration style;

@@ -33673,16 +33754,22 @@ interface SpeechRecognitionResultList {

interface Storage extends Map<String, String> {

+ /** @domName length */

final int $dom_length;

+ /** @domName clear */

void $dom_clear();

+ /** @domName getItem */

String $dom_getItem(String key);

+ /** @domName key */

String $dom_key(int index);

+ /** @domName removeItem */

void $dom_removeItem(String key);

+ /** @domName setItem */

void $dom_setItem(String key, String data);

}

@@ -35671,12 +35758,15 @@ interface WebSocket extends EventTarget default _WebSocketFactoryProvider {

final String url;

+ /** @domName addEventListener */

void $dom_addEventListener(String type, EventListener listener, [bool useCapture]);

void close([int code, String reason]);

+ /** @domName dispatchEvent */

bool $dom_dispatchEvent(Event evt);

+ /** @domName removeEventListener */

void $dom_removeEventListener(String type, EventListener listener, [bool useCapture]);

bool send(String data);

@@ -35856,6 +35946,7 @@ interface Window extends EventTarget {

final Window window;

+ /** @domName addEventListener */

void $dom_addEventListener(String type, EventListener listener, [bool useCapture]);

void alert(String message);

@@ -35876,12 +35967,14 @@ interface Window extends EventTarget {

bool confirm(String message);

+ /** @domName dispatchEvent */

bool $dom_dispatchEvent(Event evt);

bool find(String string, bool caseSensitive, bool backwards, bool wrap, bool wholeWord, bool searchInFrames, bool showDialog);

void focus();

+ /** @domName getComputedStyle */

CSSStyleDeclaration $dom_getComputedStyle(Element element, String pseudoElement);

CSSRuleList getMatchedCSSRules(Element element, String pseudoElement);

@@ -35906,6 +35999,7 @@ interface Window extends EventTarget {

void releaseEvents();

+ /** @domName removeEventListener */

void $dom_removeEventListener(String type, EventListener listener, [bool useCapture]);

void resizeBy(num x, num y);

@@ -36264,8 +36358,10 @@ interface XMLHttpRequest extends EventTarget default _XMLHttpRequestFactoryProvi

void abort();

+ /** @domName addEventListener */

void $dom_addEventListener(String type, EventListener listener, [bool useCapture]);

+ /** @domName dispatchEvent */

bool $dom_dispatchEvent(Event evt);

String getAllResponseHeaders();

@@ -36276,6 +36372,7 @@ interface XMLHttpRequest extends EventTarget default _XMLHttpRequestFactoryProvi

void overrideMimeType(String override);

+ /** @domName removeEventListener */

void $dom_removeEventListener(String type, EventListener listener, [bool useCapture]);

void send([var data]);

@@ -36341,10 +36438,13 @@ interface XMLHttpRequestUpload extends EventTarget {

XMLHttpRequestUploadEvents get on();

+ /** @domName addEventListener */

void $dom_addEventListener(String type, EventListener listener, [bool useCapture]);

+ /** @domName dispatchEvent */

bool $dom_dispatchEvent(Event evt);

+ /** @domName removeEventListener */

void $dom_removeEventListener(String type, EventListener listener, [bool useCapture]);

}

« no previous file with comments | « lib/dom/scripts/systemhtml.py ('k') | lib/html/frog/html_frog.dart » ('j') | no next file with comments »