| 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 |