Index: client/dom/generated/src/frog/Document.dart |
diff --git a/client/dom/generated/src/frog/Document.dart b/client/dom/generated/src/frog/Document.dart |
index 0e3788bbcfa76650f6c47305398d33d325e17c5f..e480111ae771da18dce987d7a1a9e48ccff7837e 100644 |
--- a/client/dom/generated/src/frog/Document.dart |
+++ b/client/dom/generated/src/frog/Document.dart |
@@ -1,15 +1,15 @@ |
-class Document extends Node native "*Document" { |
+class DocumentJS extends NodeJS implements Document native "*Document" { |
String get URL() native "return this.URL;"; |
- HTMLCollection get anchors() native "return this.anchors;"; |
+ HTMLCollectionJS get anchors() native "return this.anchors;"; |
- HTMLCollection get applets() native "return this.applets;"; |
+ HTMLCollectionJS get applets() native "return this.applets;"; |
- HTMLElement get body() native "return this.body;"; |
+ HTMLElementJS get body() native "return this.body;"; |
- void set body(HTMLElement value) native "this.body = value;"; |
+ void set body(HTMLElementJS value) native "this.body = value;"; |
String get characterSet() native "return this.characterSet;"; |
@@ -25,11 +25,11 @@ class Document extends Node native "*Document" { |
String get defaultCharset() native "return this.defaultCharset;"; |
- DOMWindow get defaultView() native "return this.defaultView;"; |
+ DOMWindowJS get defaultView() native "return this.defaultView;"; |
- DocumentType get doctype() native "return this.doctype;"; |
+ DocumentTypeJS get doctype() native "return this.doctype;"; |
- Element get documentElement() native "return this.documentElement;"; |
+ ElementJS get documentElement() native "return this.documentElement;"; |
String get documentURI() native "return this.documentURI;"; |
@@ -39,23 +39,23 @@ class Document extends Node native "*Document" { |
void set domain(String value) native "this.domain = value;"; |
- HTMLCollection get forms() native "return this.forms;"; |
+ HTMLCollectionJS get forms() native "return this.forms;"; |
- HTMLHeadElement get head() native "return this.head;"; |
+ HTMLHeadElementJS get head() native "return this.head;"; |
- HTMLCollection get images() native "return this.images;"; |
+ HTMLCollectionJS get images() native "return this.images;"; |
- DOMImplementation get implementation() native "return this.implementation;"; |
+ DOMImplementationJS get implementation() native "return this.implementation;"; |
String get inputEncoding() native "return this.inputEncoding;"; |
String get lastModified() native "return this.lastModified;"; |
- HTMLCollection get links() native "return this.links;"; |
+ HTMLCollectionJS get links() native "return this.links;"; |
- Location get location() native "return this.location;"; |
+ LocationJS get location() native "return this.location;"; |
- void set location(Location value) native "this.location = value;"; |
+ void set location(LocationJS value) native "this.location = value;"; |
String get preferredStylesheetSet() native "return this.preferredStylesheetSet;"; |
@@ -67,13 +67,13 @@ class Document extends Node native "*Document" { |
void set selectedStylesheetSet(String value) native "this.selectedStylesheetSet = value;"; |
- StyleSheetList get styleSheets() native "return this.styleSheets;"; |
+ StyleSheetListJS get styleSheets() native "return this.styleSheets;"; |
String get title() native "return this.title;"; |
void set title(String value) native "this.title = value;"; |
- Element get webkitCurrentFullScreenElement() native "return this.webkitCurrentFullScreenElement;"; |
+ ElementJS get webkitCurrentFullScreenElement() native "return this.webkitCurrentFullScreenElement;"; |
bool get webkitFullScreenKeyboardInputAllowed() native "return this.webkitFullScreenKeyboardInputAllowed;"; |
@@ -93,69 +93,69 @@ class Document extends Node native "*Document" { |
void set xmlVersion(String value) native "this.xmlVersion = value;"; |
- Node adoptNode(Node source) native; |
+ NodeJS adoptNode(NodeJS source) native; |
- Range caretRangeFromPoint(int x, int y) native; |
+ RangeJS caretRangeFromPoint(int x, int y) native; |
- Attr createAttribute(String name) native; |
+ AttrJS createAttribute(String name) native; |
- Attr createAttributeNS(String namespaceURI, String qualifiedName) native; |
+ AttrJS createAttributeNS(String namespaceURI, String qualifiedName) native; |
- CDATASection createCDATASection(String data) native; |
+ CDATASectionJS createCDATASection(String data) native; |
- Comment createComment(String data) native; |
+ CommentJS createComment(String data) native; |
- DocumentFragment createDocumentFragment() native; |
+ DocumentFragmentJS createDocumentFragment() native; |
- Element createElement(String tagName) native; |
+ ElementJS createElement(String tagName) native; |
- Element createElementNS(String namespaceURI, String qualifiedName) native; |
+ ElementJS createElementNS(String namespaceURI, String qualifiedName) native; |
- EntityReference createEntityReference(String name) native; |
+ EntityReferenceJS createEntityReference(String name) native; |
- Event createEvent(String eventType) native; |
+ EventJS createEvent(String eventType) native; |
- XPathExpression createExpression(String expression, XPathNSResolver resolver) native; |
+ XPathExpressionJS createExpression(String expression, XPathNSResolverJS resolver) native; |
- XPathNSResolver createNSResolver(Node nodeResolver) native; |
+ XPathNSResolverJS createNSResolver(NodeJS nodeResolver) native; |
- NodeIterator createNodeIterator(Node root, int whatToShow, NodeFilter filter, bool expandEntityReferences) native; |
+ NodeIteratorJS createNodeIterator(NodeJS root, int whatToShow, NodeFilterJS filter, bool expandEntityReferences) native; |
- ProcessingInstruction createProcessingInstruction(String target, String data) native; |
+ ProcessingInstructionJS createProcessingInstruction(String target, String data) native; |
- Range createRange() native; |
+ RangeJS createRange() native; |
- Text createTextNode(String data) native; |
+ TextJS createTextNode(String data) native; |
- Touch createTouch(DOMWindow window, EventTarget target, int identifier, int pageX, int pageY, int screenX, int screenY, int webkitRadiusX, int webkitRadiusY, num webkitRotationAngle, num webkitForce) native; |
+ TouchJS createTouch(DOMWindowJS window, EventTargetJS target, int identifier, int pageX, int pageY, int screenX, int screenY, int webkitRadiusX, int webkitRadiusY, num webkitRotationAngle, num webkitForce) native; |
- TouchList createTouchList() native; |
+ TouchListJS createTouchList() native; |
- TreeWalker createTreeWalker(Node root, int whatToShow, NodeFilter filter, bool expandEntityReferences) native; |
+ TreeWalkerJS createTreeWalker(NodeJS root, int whatToShow, NodeFilterJS filter, bool expandEntityReferences) native; |
- Element elementFromPoint(int x, int y) native; |
+ ElementJS elementFromPoint(int x, int y) native; |
- XPathResult evaluate(String expression, Node contextNode, XPathNSResolver resolver, int type, XPathResult inResult) native; |
+ XPathResultJS evaluate(String expression, NodeJS contextNode, XPathNSResolverJS resolver, int type, XPathResultJS inResult) native; |
bool execCommand(String command, bool userInterface, String value) native; |
Object getCSSCanvasContext(String contextId, String name, int width, int height) native; |
- Element getElementById(String elementId) native; |
+ ElementJS getElementById(String elementId) native; |
- NodeList getElementsByClassName(String tagname) native; |
+ NodeListJS getElementsByClassName(String tagname) native; |
- NodeList getElementsByName(String elementName) native; |
+ NodeListJS getElementsByName(String elementName) native; |
- NodeList getElementsByTagName(String tagname) native; |
+ NodeListJS getElementsByTagName(String tagname) native; |
- NodeList getElementsByTagNameNS(String namespaceURI, String localName) native; |
+ NodeListJS getElementsByTagNameNS(String namespaceURI, String localName) native; |
- CSSStyleDeclaration getOverrideStyle(Element element, String pseudoElement) native; |
+ CSSStyleDeclarationJS getOverrideStyle(ElementJS element, String pseudoElement) native; |
- DOMSelection getSelection() native; |
+ DOMSelectionJS getSelection() native; |
- Node importNode(Node importedNode, [bool deep = null]) native; |
+ NodeJS importNode(NodeJS importedNode, [bool deep = null]) native; |
bool queryCommandEnabled(String command) native; |
@@ -167,11 +167,11 @@ class Document extends Node native "*Document" { |
String queryCommandValue(String command) native; |
- Element querySelector(String selectors) native; |
+ ElementJS querySelector(String selectors) native; |
- NodeList querySelectorAll(String selectors) native; |
+ NodeListJS querySelectorAll(String selectors) native; |
void webkitCancelFullScreen() native; |
- WebKitNamedFlow webkitGetFlowByName(String name) native; |
+ WebKitNamedFlowJS webkitGetFlowByName(String name) native; |
} |