| Index: tools/dom/templates/html/impl/impl_HTMLDocument.darttemplate
|
| diff --git a/tools/dom/templates/html/impl/impl_HTMLDocument.darttemplate b/tools/dom/templates/html/impl/impl_HTMLDocument.darttemplate
|
| index 06afcb2631ad4ea996a104ea4ccbca490fcf181e..95644ffd96c8efdd6f4bdaec8c7ea606ef2a37cb 100644
|
| --- a/tools/dom/templates/html/impl/impl_HTMLDocument.darttemplate
|
| +++ b/tools/dom/templates/html/impl/impl_HTMLDocument.darttemplate
|
| @@ -5,24 +5,23 @@
|
| // WARNING: Do not edit - generated code.
|
|
|
| part of html;
|
| -
|
| -/// @domName $DOMNAME
|
| +$ANNOTATIONS
|
| class $CLASSNAME$EXTENDS$IMPLEMENTS$NATIVESPEC {
|
| $!MEMBERS
|
| - /** @domName Document.body */
|
| + @DomName('Document.body')
|
| BodyElement get body => document.$dom_body;
|
|
|
| - /** @domName Document.body */
|
| + @DomName('Document.body')
|
| void set body(BodyElement value) {
|
| document.$dom_body = value;
|
| }
|
|
|
| - /** @domName Document.caretRangeFromPoint */
|
| + @DomName('Document.caretRangeFromPoint')
|
| Range caretRangeFromPoint(int x, int y) {
|
| return document.$dom_caretRangeFromPoint(x, y);
|
| }
|
|
|
| - /** @domName Document.elementFromPoint */
|
| + @DomName('Document.elementFromPoint')
|
| Element elementFromPoint(int x, int y) {
|
| return document.$dom_elementFromPoint(x, y);
|
| }
|
| @@ -65,71 +64,72 @@ $endif
|
| @SupportedBrowser(SupportedBrowser.CHROME)
|
| @SupportedBrowser(SupportedBrowser.SAFARI)
|
| @Experimental()
|
| + @DomName('Document.getCSSCanvasContext')
|
| CanvasRenderingContext getCssCanvasContext(String contextId, String name,
|
| int width, int height) {
|
| return document.$dom_getCssCanvasContext(contextId, name, width, height);
|
| }
|
|
|
| - /** @domName Document.head */
|
| + @DomName('Document.head')
|
| HeadElement get head => document.$dom_head;
|
|
|
| - /** @domName Document.lastModified */
|
| + @DomName('Document.lastModified')
|
| String get lastModified => document.$dom_lastModified;
|
|
|
| - /** @domName Document.preferredStylesheetSet */
|
| + @DomName('Document.preferredStylesheetSet')
|
| String get preferredStylesheetSet => document.$dom_preferredStylesheetSet;
|
|
|
| - /** @domName Document.referrer */
|
| + @DomName('Document.referrer')
|
| String get referrer => document.$dom_referrer;
|
|
|
| - /** @domName Document.selectedStylesheetSet */
|
| + @DomName('Document.selectedStylesheetSet')
|
| String get selectedStylesheetSet => document.$dom_selectedStylesheetSet;
|
| void set selectedStylesheetSet(String value) {
|
| document.$dom_selectedStylesheetSet = value;
|
| }
|
|
|
| - /** @domName Document.styleSheets */
|
| + @DomName('Document.styleSheets')
|
| List<StyleSheet> get styleSheets => document.$dom_styleSheets;
|
|
|
| - /** @domName Document.title */
|
| + @DomName('Document.title')
|
| String get title => document.$dom_title;
|
|
|
| - /** @domName Document.title */
|
| + @DomName('Document.title')
|
| void set title(String value) {
|
| document.$dom_title = value;
|
| }
|
|
|
| - /** @domName Document.webkitCancelFullScreen */
|
| + @DomName('Document.webkitCancelFullScreen')
|
| void webkitCancelFullScreen() {
|
| document.$dom_webkitCancelFullScreen();
|
| }
|
|
|
| - /** @domName Document.webkitExitFullscreen */
|
| + @DomName('Document.webkitExitFullscreen')
|
| void webkitExitFullscreen() {
|
| document.$dom_webkitExitFullscreen();
|
| }
|
|
|
| - /** @domName Document.webkitExitPointerLock */
|
| + @DomName('Document.webkitExitPointerLock')
|
| void webkitExitPointerLock() {
|
| document.$dom_webkitExitPointerLock();
|
| }
|
|
|
| - /** @domName Document.webkitFullscreenElement */
|
| + @DomName('Document.webkitFullscreenElement')
|
| Element get webkitFullscreenElement => document.$dom_webkitFullscreenElement;
|
|
|
| - /** @domName Document.webkitFullscreenEnabled */
|
| + @DomName('Document.webkitFullscreenEnabled')
|
| bool get webkitFullscreenEnabled => document.$dom_webkitFullscreenEnabled;
|
|
|
| - /** @domName Document.webkitHidden */
|
| + @DomName('Document.webkitHidden')
|
| bool get webkitHidden => document.$dom_webkitHidden;
|
|
|
| - /** @domName Document.webkitIsFullScreen */
|
| + @DomName('Document.webkitIsFullScreen')
|
| bool get webkitIsFullScreen => document.$dom_webkitIsFullScreen;
|
|
|
| - /** @domName Document.webkitPointerLockElement */
|
| + @DomName('Document.webkitPointerLockElement')
|
| Element get webkitPointerLockElement =>
|
| document.$dom_webkitPointerLockElement;
|
|
|
| - /** @domName Document.webkitVisibilityState */
|
| + @DomName('Document.webkitVisibilityState')
|
| String get webkitVisibilityState => document.$dom_webkitVisibilityState;
|
| }
|
|
|