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 96 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
107 */ | 107 */ |
108 Event.prototype.initMouseEvent = function( | 108 Event.prototype.initMouseEvent = function( |
109 type, canBubble, cancelable, view, detail, | 109 type, canBubble, cancelable, view, detail, |
110 screenX, screenY, clientX, clientY, | 110 screenX, screenY, clientX, clientY, |
111 ctrlKey, altKey, shiftKey, metaKey, | 111 ctrlKey, altKey, shiftKey, metaKey, |
112 button, relatedTarget) {}; | 112 button, relatedTarget) {}; |
113 | 113 |
114 /** @type {Object} */ | 114 /** @type {Object} */ |
115 Event.prototype.data = {}; | 115 Event.prototype.data = {}; |
116 | 116 |
| 117 /** |
| 118 * @param {*} value |
| 119 * @return {boolean} whether value is an integer or not. |
| 120 */ |
| 121 Number.isInteger = function(value) {}; |
117 | 122 |
118 // Chrome implements XMLHttpRequest.responseURL starting from Chrome 37. | 123 // Chrome implements XMLHttpRequest.responseURL starting from Chrome 37. |
119 /** @type {string} */ | 124 /** @type {string} */ |
120 XMLHttpRequest.prototype.responseURL = ""; | 125 XMLHttpRequest.prototype.responseURL = ""; |
OLD | NEW |