Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(747)

Unified Diff: lib/html/frog/html_frog.dart

Issue 10541029: Do not merge IDL interfaces in dartdomgenerator. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Fixed shadowing. Created 8 years, 6 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
« lib/dom/scripts/systemhtml.py ('K') | « lib/html/dartium/html_dartium.dart ('k') | no next file » | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: lib/html/frog/html_frog.dart
diff --git a/lib/html/frog/html_frog.dart b/lib/html/frog/html_frog.dart
index 9af8edf4f18fb43f00e6334e6e9640d628d295ac..05073e6a6d2ff900f2553a0bfcd5e22095739898 100644
--- a/lib/html/frog/html_frog.dart
+++ b/lib/html/frog/html_frog.dart
@@ -6067,34 +6067,18 @@ class _ElementImpl extends _NodeImpl implements Element native "*Element" {
_ElementEventsImpl get on() =>
new _ElementEventsImpl(this);
- static final int ALLOW_KEYBOARD_INPUT = 1;
-
- int get $dom_childElementCount() native "return this.childElementCount;";
-
_HTMLCollectionImpl get $dom_children() native "return this.children;";
String get $dom_className() native "return this.className;";
void set $dom_className(String value) native "this.className = value;";
- int get $dom_clientHeight() native "return this.clientHeight;";
-
- int get $dom_clientLeft() native "return this.clientLeft;";
-
- int get $dom_clientTop() native "return this.clientTop;";
-
- int get $dom_clientWidth() native "return this.clientWidth;";
-
String contentEditable;
- final Map<String, String> dataset;
-
String dir;
bool draggable;
- _ElementImpl get $dom_firstElementChild() native "return this.firstElementChild;";
-
bool hidden;
String id;
@@ -6105,6 +6089,42 @@ class _ElementImpl extends _NodeImpl implements Element native "*Element" {
String lang;
+ final String outerHTML;
+
+ bool spellcheck;
+
+ int tabIndex;
+
+ String title;
+
+ bool translate;
+
+ String webkitdropzone;
+
+ void click() native;
+
+ _ElementImpl insertAdjacentElement(String where, _ElementImpl element) native;
+
+ void insertAdjacentHTML(String where, String html) native;
+
+ void insertAdjacentText(String where, String text) native;
+
+ static final int ALLOW_KEYBOARD_INPUT = 1;
+
+ int get $dom_childElementCount() native "return this.childElementCount;";
+
+ int get $dom_clientHeight() native "return this.clientHeight;";
+
+ int get $dom_clientLeft() native "return this.clientLeft;";
+
+ int get $dom_clientTop() native "return this.clientTop;";
+
+ int get $dom_clientWidth() native "return this.clientWidth;";
+
+ final Map<String, String> dataset;
+
+ _ElementImpl get $dom_firstElementChild() native "return this.firstElementChild;";
+
_ElementImpl get $dom_lastElementChild() native "return this.lastElementChild;";
final _ElementImpl nextElementSibling;
@@ -6119,8 +6139,6 @@ class _ElementImpl extends _NodeImpl implements Element native "*Element" {
int get $dom_offsetWidth() native "return this.offsetWidth;";
- final String outerHTML;
-
final _ElementImpl previousElementSibling;
int get $dom_scrollHeight() native "return this.scrollHeight;";
@@ -6135,26 +6153,14 @@ class _ElementImpl extends _NodeImpl implements Element native "*Element" {
int get $dom_scrollWidth() native "return this.scrollWidth;";
- bool spellcheck;
-
final _CSSStyleDeclarationImpl style;
- int tabIndex;
-
final String tagName;
- String title;
-
- bool translate;
-
final String webkitRegionOverflow;
- String webkitdropzone;
-
void blur() native;
- void click() native;
-
void focus() native;
String $dom_getAttribute(String name) native "getAttribute";
@@ -6169,12 +6175,6 @@ class _ElementImpl extends _NodeImpl implements Element native "*Element" {
bool $dom_hasAttribute(String name) native "hasAttribute";
- _ElementImpl insertAdjacentElement(String where, _ElementImpl element) native;
-
- void insertAdjacentHTML(String where, String html) native;
-
- void insertAdjacentText(String where, String text) native;
-
_ElementImpl $dom_querySelector(String selectors) native "querySelector";
_NodeListImpl $dom_querySelectorAll(String selectors) native "querySelectorAll";
@@ -22909,44 +22909,21 @@ interface Element extends Node, NodeSelector default _ElementFactoryProvider {
*/
ElementEvents get on();
- static final int ALLOW_KEYBOARD_INPUT = 1;
-
- /** @domName Element.childElementCount */
- final int $dom_childElementCount;
-
/** @domName HTMLElement.children */
final HTMLCollection $dom_children;
/** @domName HTMLElement.className */
String $dom_className;
- /** @domName Element.clientHeight */
- final int $dom_clientHeight;
-
- /** @domName Element.clientLeft */
- final int $dom_clientLeft;
-
- /** @domName Element.clientTop */
- final int $dom_clientTop;
-
- /** @domName Element.clientWidth */
- final int $dom_clientWidth;
-
/** @domName HTMLElement.contentEditable */
String contentEditable;
- /** @domName Element.dataset */
- final Map<String, String> dataset;
-
/** @domName HTMLElement.dir */
String dir;
/** @domName HTMLElement.draggable */
bool draggable;
- /** @domName Element.firstElementChild */
- final Element $dom_firstElementChild;
-
/** @domName HTMLElement.hidden */
bool hidden;
@@ -22962,6 +22939,59 @@ interface Element extends Node, NodeSelector default _ElementFactoryProvider {
/** @domName HTMLElement.lang */
String lang;
+ /** @domName HTMLElement.outerHTML */
+ final String outerHTML;
+
+ /** @domName HTMLElement.spellcheck */
+ bool spellcheck;
+
+ /** @domName HTMLElement.tabIndex */
+ int tabIndex;
+
+ /** @domName HTMLElement.title */
+ String title;
+
+ /** @domName HTMLElement.translate */
+ bool translate;
+
+ /** @domName HTMLElement.webkitdropzone */
+ String webkitdropzone;
+
+ /** @domName HTMLElement.click */
+ void click();
+
+ /** @domName HTMLElement.insertAdjacentElement */
+ Element insertAdjacentElement(String where, Element element);
+
+ /** @domName HTMLElement.insertAdjacentHTML */
+ void insertAdjacentHTML(String where, String html);
+
+ /** @domName HTMLElement.insertAdjacentText */
+ void insertAdjacentText(String where, String text);
+
+ static final int ALLOW_KEYBOARD_INPUT = 1;
+
+ /** @domName Element.childElementCount */
+ final int $dom_childElementCount;
+
+ /** @domName Element.clientHeight */
+ final int $dom_clientHeight;
+
+ /** @domName Element.clientLeft */
+ final int $dom_clientLeft;
+
+ /** @domName Element.clientTop */
+ final int $dom_clientTop;
+
+ /** @domName Element.clientWidth */
+ final int $dom_clientWidth;
+
+ /** @domName Element.dataset */
+ final Map<String, String> dataset;
+
+ /** @domName Element.firstElementChild */
+ final Element $dom_firstElementChild;
+
/** @domName Element.lastElementChild */
final Element $dom_lastElementChild;
@@ -22983,9 +23013,6 @@ interface Element extends Node, NodeSelector default _ElementFactoryProvider {
/** @domName Element.offsetWidth */
final int $dom_offsetWidth;
- /** @domName HTMLElement.outerHTML */
- final String outerHTML;
-
/** @domName Element.previousElementSibling */
final Element previousElementSibling;
@@ -23001,36 +23028,18 @@ interface Element extends Node, NodeSelector default _ElementFactoryProvider {
/** @domName Element.scrollWidth */
final int $dom_scrollWidth;
- /** @domName HTMLElement.spellcheck */
- bool spellcheck;
-
/** @domName Element.style */
final CSSStyleDeclaration style;
- /** @domName HTMLElement.tabIndex */
- int tabIndex;
-
/** @domName Element.tagName */
final String tagName;
- /** @domName HTMLElement.title */
- String title;
-
- /** @domName HTMLElement.translate */
- bool translate;
-
/** @domName Element.webkitRegionOverflow */
final String webkitRegionOverflow;
- /** @domName HTMLElement.webkitdropzone */
- String webkitdropzone;
-
/** @domName Element.blur */
void blur();
- /** @domName HTMLElement.click */
- void click();
-
/** @domName Element.focus */
void focus();
@@ -23052,15 +23061,6 @@ interface Element extends Node, NodeSelector default _ElementFactoryProvider {
/** @domName Element.hasAttribute */
bool $dom_hasAttribute(String name);
- /** @domName HTMLElement.insertAdjacentElement */
- Element insertAdjacentElement(String where, Element element);
-
- /** @domName HTMLElement.insertAdjacentHTML */
- void insertAdjacentHTML(String where, String html);
-
- /** @domName HTMLElement.insertAdjacentText */
- void insertAdjacentText(String where, String text);
-
/** @domName Element.querySelector */
Element $dom_querySelector(String selectors);
« lib/dom/scripts/systemhtml.py ('K') | « lib/html/dartium/html_dartium.dart ('k') | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698