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; |
11 | 11 |
12 /** @type {HTMLElement} */ | 12 /** @type {HTMLElement} */ |
13 Document.prototype.activeElement; | 13 Document.prototype.activeElement; |
14 | 14 |
15 /** @type {Array.<HTMLElement>} */ | 15 /** @type {Array<HTMLElement>} */ |
16 Document.prototype.all; | 16 Document.prototype.all; |
17 | 17 |
18 /** @type {boolean} */ | 18 /** @type {boolean} */ |
19 Document.prototype.hidden; | 19 Document.prototype.hidden; |
20 | 20 |
21 /** @return {void} Nothing. */ | 21 /** @return {void} Nothing. */ |
22 Document.prototype.exitPointerLock = function() {}; | 22 Document.prototype.exitPointerLock = function() {}; |
23 | 23 |
24 /** @type {boolean} */ | 24 /** @type {boolean} */ |
25 Document.prototype.webkitIsFullScreen; | 25 Document.prototype.webkitIsFullScreen; |
(...skipping 95 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
121 | 121 |
122 /** | 122 /** |
123 * @param {*} value | 123 * @param {*} value |
124 * @return {boolean} whether value is an integer or not. | 124 * @return {boolean} whether value is an integer or not. |
125 */ | 125 */ |
126 Number.isInteger = function(value) {}; | 126 Number.isInteger = function(value) {}; |
127 | 127 |
128 // Chrome implements XMLHttpRequest.responseURL starting from Chrome 37. | 128 // Chrome implements XMLHttpRequest.responseURL starting from Chrome 37. |
129 /** @type {string} */ | 129 /** @type {string} */ |
130 XMLHttpRequest.prototype.responseURL = ""; | 130 XMLHttpRequest.prototype.responseURL = ""; |
OLD | NEW |