lib/html/frog/html_frog.dart - Issue 9997003: Add back @domName annotations to dart:html

Unified Diff: lib/html/frog/html_frog.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:

View side-by-side diff with in-line comments

Download patch

Index: lib/html/frog/html_frog.dart

diff --git a/lib/html/frog/html_frog.dart b/lib/html/frog/html_frog.dart

index 434d0be671ec531f00e235e4158f8391a2b1f8ca..02f2d11a51cc23262198564e69b3384e31bac1b2 100644

--- a/lib/html/frog/html_frog.dart

+++ b/lib/html/frog/html_frog.dart

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

AbstractWorkerEvents 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]);

}

@@ -20329,10 +20332,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();

@@ -20976,6 +20982,7 @@ interface Document extends HtmlElement {

String cookie;

+ /** @domName defaultView */

final Window window;

final Element documentElement;

@@ -21018,18 +21025,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);

@@ -21038,12 +21050,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);

@@ -21056,8 +21072,10 @@ interface Document extends HtmlElement {

String queryCommandValue(String command);

+ /** @domName querySelector */

Element query(String selectors);

+ /** @domName querySelectorAll */

NodeList $dom_querySelectorAll(String selectors);

void webkitCancelFullScreen();

@@ -21185,8 +21203,10 @@ interface DocumentFragment extends Element default _DocumentFragmentFactoryProvi

ElementEvents get on();

+ /** @domName querySelector */

Element query(String selectors);

+ /** @domName querySelectorAll */

NodeList $dom_querySelectorAll(String selectors);

}

@@ -21330,18 +21350,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;

@@ -21350,6 +21377,7 @@ interface Element extends Node, NodeSelector default _ElementFactoryProvider {

bool draggable;

+ /** @domName firstElementChild */

final Element $dom_firstElementChild;

bool hidden;

@@ -21362,30 +21390,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;

@@ -21410,16 +21447,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);

@@ -21428,20 +21471,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);

@@ -21819,6 +21868,7 @@ interface Event default _EventFactoryProvider {

final String type;

+ /** @domName initEvent */

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

void preventDefault();

@@ -21871,12 +21921,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]);

}

@@ -21910,10 +21963,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]);

}

@@ -23843,14 +23899,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();

@@ -23979,6 +24038,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);

}

@@ -24155,28 +24215,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);

@@ -24185,8 +24257,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);

}

@@ -24288,8 +24362,10 @@ interface NodeSelector {

// ElementList queryAll(String selectors);

+ /** @domName querySelector */

Element query(String selectors);

+ /** @domName querySelectorAll */

NodeList $dom_querySelectorAll(String selectors);

}

@@ -25580,6 +25656,7 @@ interface SVGDocument extends Document {

final SVGSVGElement rootElement;

+ /** @domName createEvent */

Event $dom_createEvent(String eventType);

}

@@ -25629,10 +25706,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]);

}

@@ -27486,6 +27566,7 @@ interface SVGStringList {

interface SVGStylable {

+ /** @domName className */

final SVGAnimatedString $dom_svgClassName;

final CSSStyleDeclaration style;

@@ -28287,16 +28368,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);

}

@@ -30285,12 +30372,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);

@@ -30470,6 +30560,7 @@ interface Window extends EventTarget {

final Window window;

+ /** @domName addEventListener */

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

void alert(String message);

@@ -30490,12 +30581,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);

@@ -30520,6 +30613,7 @@ interface Window extends EventTarget {

void releaseEvents();

+ /** @domName removeEventListener */

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

void resizeBy(num x, num y);

@@ -30878,8 +30972,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();

@@ -30890,6 +30986,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]);

@@ -30955,10 +31052,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]);

}

« lib/html/dartium/html_dartium.dart ('K') | « lib/html/dartium/html_dartium.dart ('k') | lib/html/release/html.dart » ('j') | no next file with comments »