OLD | NEW |
1 // Copyright (c) 2012 The Chromium Authors. All rights reserved. | 1 // Copyright (c) 2012 The Chromium Authors. All rights reserved. |
2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
4 | 4 |
5 // This file contains various hacks needed to inform JSCompiler of various | 5 // This file contains various hacks needed to inform JSCompiler of various |
6 // WebKit- and Chrome-specific properties and methods. It is used only with | 6 // WebKit- and Chrome-specific properties and methods. It is used only with |
7 // JSCompiler to verify the type-correctness of our code. | 7 // JSCompiler to verify the type-correctness of our code. |
8 | 8 |
9 /** @type {Array<string>} */ | 9 /** @type {Array<string>} */ |
10 ClipboardData.prototype.types; | 10 ClipboardData.prototype.types; |
(...skipping 16 matching lines...) Expand all Loading... |
27 /** @type {boolean} */ | 27 /** @type {boolean} */ |
28 Document.prototype.webkitHidden; | 28 Document.prototype.webkitHidden; |
29 | 29 |
30 /** @type {Element} */ | 30 /** @type {Element} */ |
31 Document.prototype.firstElementChild; | 31 Document.prototype.firstElementChild; |
32 | 32 |
33 /** @return {void} Nothing. */ | 33 /** @return {void} Nothing. */ |
34 Element.prototype.requestPointerLock = function() {}; | 34 Element.prototype.requestPointerLock = function() {}; |
35 | 35 |
36 /** @type {boolean} */ | 36 /** @type {boolean} */ |
| 37 Element.prototype.disabled; |
| 38 |
| 39 /** @type {boolean} */ |
37 Element.prototype.hidden; | 40 Element.prototype.hidden; |
38 | 41 |
39 /** @type {string} */ | 42 /** @type {string} */ |
| 43 Element.prototype.innerText; |
| 44 |
| 45 /** @type {string} */ |
40 Element.prototype.localName; | 46 Element.prototype.localName; |
41 | 47 |
42 /** @type {string} */ | 48 /** @type {string} */ |
43 Element.prototype.textContent; | 49 Element.prototype.textContent; |
44 | 50 |
45 /** @type {DOMTokenList} */ | 51 /** @type {DOMTokenList} */ |
46 Element.prototype.classList; | 52 Element.prototype.classList; |
47 | 53 |
48 /** @type {boolean} */ | 54 /** @type {boolean} */ |
49 Element.prototype.checked; | 55 Element.prototype.checked; |
(...skipping 71 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
121 | 127 |
122 /** | 128 /** |
123 * @param {*} value | 129 * @param {*} value |
124 * @return {boolean} whether value is an integer or not. | 130 * @return {boolean} whether value is an integer or not. |
125 */ | 131 */ |
126 Number.isInteger = function(value) {}; | 132 Number.isInteger = function(value) {}; |
127 | 133 |
128 // Chrome implements XMLHttpRequest.responseURL starting from Chrome 37. | 134 // Chrome implements XMLHttpRequest.responseURL starting from Chrome 37. |
129 /** @type {string} */ | 135 /** @type {string} */ |
130 XMLHttpRequest.prototype.responseURL = ""; | 136 XMLHttpRequest.prototype.responseURL = ""; |
OLD | NEW |