OLD | NEW |
(Empty) | |
| 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. |
| 4 |
| 5 interface Document extends HtmlElement { |
| 6 |
| 7 // TODO(jacobr): remove these methods and let them be generated automatically |
| 8 // once dart supports defining fields with the same name in an interface and |
| 9 // its parent interface. |
| 10 String get title(); |
| 11 void set title(String value); |
| 12 |
| 13 |
| 14 final Element activeElement; |
| 15 |
| 16 Element body; |
| 17 |
| 18 String charset; |
| 19 |
| 20 String cookie; |
| 21 |
| 22 final Window window; |
| 23 |
| 24 final String domain; |
| 25 |
| 26 final HeadElement head; |
| 27 |
| 28 final String lastModified; |
| 29 |
| 30 final String preferredStylesheetSet; |
| 31 |
| 32 final String readyState; |
| 33 |
| 34 final String referrer; |
| 35 |
| 36 String selectedStylesheetSet; |
| 37 |
| 38 final StyleSheetList styleSheets; |
| 39 |
| 40 final Element webkitCurrentFullScreenElement; |
| 41 |
| 42 final bool webkitFullScreenKeyboardInputAllowed; |
| 43 |
| 44 final bool webkitHidden; |
| 45 |
| 46 final bool webkitIsFullScreen; |
| 47 |
| 48 final String webkitVisibilityState; |
| 49 |
| 50 DocumentEvents get on(); |
| 51 |
| 52 Range caretRangeFromPoint(int x, int y); |
| 53 |
| 54 CDATASection createCDATASection(String data); |
| 55 |
| 56 DocumentFragment createDocumentFragment(); |
| 57 |
| 58 Element _createElement(String tagName); |
| 59 |
| 60 Event _createEvent(String eventType); |
| 61 |
| 62 Range createRange(); |
| 63 |
| 64 Text _createTextNode(String data); |
| 65 |
| 66 Touch createTouch(Window window, EventTarget target, int identifier, int pageX
, int pageY, int screenX, int screenY, int webkitRadiusX, int webkitRadiusY, num
webkitRotationAngle, num webkitForce); |
| 67 |
| 68 TouchList _createTouchList(); |
| 69 |
| 70 Element elementFromPoint(int x, int y); |
| 71 |
| 72 bool execCommand(String command, bool userInterface, String value); |
| 73 |
| 74 Object getCSSCanvasContext(String contextId, String name, int width, int heigh
t); |
| 75 |
| 76 bool queryCommandEnabled(String command); |
| 77 |
| 78 bool queryCommandIndeterm(String command); |
| 79 |
| 80 bool queryCommandState(String command); |
| 81 |
| 82 bool queryCommandSupported(String command); |
| 83 |
| 84 String queryCommandValue(String command); |
| 85 |
| 86 void webkitCancelFullScreen(); |
| 87 |
| 88 WebKitNamedFlow webkitGetFlowByName(String name); |
| 89 |
| 90 } |
| 91 |
| 92 interface DocumentEvents extends ElementEvents { |
| 93 |
| 94 EventListenerList get abort(); |
| 95 |
| 96 EventListenerList get beforeCopy(); |
| 97 |
| 98 EventListenerList get beforeCut(); |
| 99 |
| 100 EventListenerList get beforePaste(); |
| 101 |
| 102 EventListenerList get blur(); |
| 103 |
| 104 EventListenerList get change(); |
| 105 |
| 106 EventListenerList get click(); |
| 107 |
| 108 EventListenerList get contextMenu(); |
| 109 |
| 110 EventListenerList get copy(); |
| 111 |
| 112 EventListenerList get cut(); |
| 113 |
| 114 EventListenerList get doubleClick(); |
| 115 |
| 116 EventListenerList get drag(); |
| 117 |
| 118 EventListenerList get dragEnd(); |
| 119 |
| 120 EventListenerList get dragEnter(); |
| 121 |
| 122 EventListenerList get dragLeave(); |
| 123 |
| 124 EventListenerList get dragOver(); |
| 125 |
| 126 EventListenerList get dragStart(); |
| 127 |
| 128 EventListenerList get drop(); |
| 129 |
| 130 EventListenerList get error(); |
| 131 |
| 132 EventListenerList get focus(); |
| 133 |
| 134 EventListenerList get fullscreenChange(); |
| 135 |
| 136 EventListenerList get fullscreenError(); |
| 137 |
| 138 EventListenerList get input(); |
| 139 |
| 140 EventListenerList get invalid(); |
| 141 |
| 142 EventListenerList get keyDown(); |
| 143 |
| 144 EventListenerList get keyPress(); |
| 145 |
| 146 EventListenerList get keyUp(); |
| 147 |
| 148 EventListenerList get load(); |
| 149 |
| 150 EventListenerList get mouseDown(); |
| 151 |
| 152 EventListenerList get mouseMove(); |
| 153 |
| 154 EventListenerList get mouseOut(); |
| 155 |
| 156 EventListenerList get mouseOver(); |
| 157 |
| 158 EventListenerList get mouseUp(); |
| 159 |
| 160 EventListenerList get mouseWheel(); |
| 161 |
| 162 EventListenerList get paste(); |
| 163 |
| 164 EventListenerList get readyStateChange(); |
| 165 |
| 166 EventListenerList get reset(); |
| 167 |
| 168 EventListenerList get scroll(); |
| 169 |
| 170 EventListenerList get search(); |
| 171 |
| 172 EventListenerList get select(); |
| 173 |
| 174 EventListenerList get selectStart(); |
| 175 |
| 176 EventListenerList get selectionChange(); |
| 177 |
| 178 EventListenerList get submit(); |
| 179 |
| 180 EventListenerList get touchCancel(); |
| 181 |
| 182 EventListenerList get touchEnd(); |
| 183 |
| 184 EventListenerList get touchMove(); |
| 185 |
| 186 EventListenerList get touchStart(); |
| 187 } |
OLD | NEW |