ager@chromium.org | ce5e87b | 2010-03-10 10:24:18 +0000 | [diff] [blame] | 1 | // Copyright 2010 the V8 project authors. All rights reserved. |
| 2 | // Redistribution and use in source and binary forms, with or without |
| 3 | // modification, are permitted provided that the following conditions are |
| 4 | // met: |
| 5 | // |
| 6 | // * Redistributions of source code must retain the above copyright |
| 7 | // notice, this list of conditions and the following disclaimer. |
| 8 | // * Redistributions in binary form must reproduce the above |
| 9 | // copyright notice, this list of conditions and the following |
| 10 | // disclaimer in the documentation and/or other materials provided |
| 11 | // with the distribution. |
| 12 | // * Neither the name of Google Inc. nor the names of its |
| 13 | // contributors may be used to endorse or promote products derived |
| 14 | // from this software without specific prior written permission. |
| 15 | // |
| 16 | // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS |
| 17 | // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT |
| 18 | // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR |
| 19 | // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT |
| 20 | // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, |
| 21 | // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT |
| 22 | // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, |
| 23 | // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY |
| 24 | // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
| 25 | // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE |
| 26 | // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| 27 | |
| 28 | // LiveEdit feature implementation. The script should be executed after |
kmillikin@chromium.org | 5d8f0e6 | 2010-03-24 08:21:20 +0000 | [diff] [blame] | 29 | // debug-debugger.js. |
ager@chromium.org | ce5e87b | 2010-03-10 10:24:18 +0000 | [diff] [blame] | 30 | |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 31 | // A LiveEdit namespace. It contains functions that modifies JavaScript code |
| 32 | // according to changes of script source (if possible). |
| 33 | // |
| 34 | // When new script source is put in, the difference is calculated textually, |
| 35 | // in form of list of delete/add/change chunks. The functions that include |
| 36 | // change chunk(s) get recompiled, or their enclosing functions are |
| 37 | // recompiled instead. |
| 38 | // If the function may not be recompiled (e.g. it was completely erased in new |
| 39 | // version of the script) it remains unchanged, but the code that could |
| 40 | // create a new instance of this function goes away. An old version of script |
| 41 | // is created to back up this obsolete function. |
| 42 | // All unchanged functions have their positions updated accordingly. |
| 43 | // |
| 44 | // LiveEdit namespace is declared inside a single function constructor. |
lrn@chromium.org | 25156de | 2010-04-06 13:10:27 +0000 | [diff] [blame] | 45 | Debug.LiveEdit = new function() { |
lrn@chromium.org | 25156de | 2010-04-06 13:10:27 +0000 | [diff] [blame] | 46 | |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 47 | // Forward declaration for minifier. |
| 48 | var FunctionStatus; |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 49 | |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 50 | // Applies the change to the script. |
| 51 | // The change is in form of list of chunks encoded in a single array as |
| 52 | // a series of triplets (pos1_start, pos1_end, pos2_end) |
kmillikin@chromium.org | 69ea396 | 2010-07-05 11:01:40 +0000 | [diff] [blame] | 53 | function ApplyPatchMultiChunk(script, diff_array, new_source, preview_only, |
| 54 | change_log) { |
ricow@chromium.org | c9c8082 | 2010-04-21 08:22:37 +0000 | [diff] [blame] | 55 | |
ricow@chromium.org | c9c8082 | 2010-04-21 08:22:37 +0000 | [diff] [blame] | 56 | var old_source = script.source; |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 57 | |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 58 | // Gather compile information about old version of script. |
| 59 | var old_compile_info = GatherCompileInfo(old_source, script); |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 60 | |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 61 | // Build tree structures for old and new versions of the script. |
| 62 | var root_old_node = BuildCodeInfoTree(old_compile_info); |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 63 | |
| 64 | var pos_translator = new PosTranslator(diff_array); |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 65 | |
| 66 | // Analyze changes. |
| 67 | MarkChangedFunctions(root_old_node, pos_translator.GetChunks()); |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 68 | |
| 69 | // Find all SharedFunctionInfo's that were compiled from this script. |
| 70 | FindLiveSharedInfos(root_old_node, script); |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 71 | |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 72 | // Gather compile information about new version of script. |
| 73 | var new_compile_info; |
| 74 | try { |
| 75 | new_compile_info = GatherCompileInfo(new_source, script); |
| 76 | } catch (e) { |
| 77 | throw new Failure("Failed to compile new version of script: " + e); |
| 78 | } |
| 79 | var root_new_node = BuildCodeInfoTree(new_compile_info); |
| 80 | |
| 81 | // Link recompiled script data with other data. |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 82 | FindCorrespondingFunctions(root_old_node, root_new_node); |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 83 | |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 84 | // Prepare to-do lists. |
| 85 | var replace_code_list = new Array(); |
| 86 | var link_to_old_script_list = new Array(); |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 87 | var link_to_original_script_list = new Array(); |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 88 | var update_positions_list = new Array(); |
| 89 | |
| 90 | function HarvestTodo(old_node) { |
| 91 | function CollectDamaged(node) { |
| 92 | link_to_old_script_list.push(node); |
| 93 | for (var i = 0; i < node.children.length; i++) { |
| 94 | CollectDamaged(node.children[i]); |
| 95 | } |
| 96 | } |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 97 | |
| 98 | // Recursively collects all newly compiled functions that are going into |
kmillikin@chromium.org | 69ea396 | 2010-07-05 11:01:40 +0000 | [diff] [blame] | 99 | // business and should have link to the actual script updated. |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 100 | function CollectNew(node_list) { |
| 101 | for (var i = 0; i < node_list.length; i++) { |
| 102 | link_to_original_script_list.push(node_list[i]); |
| 103 | CollectNew(node_list[i].children); |
| 104 | } |
| 105 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 106 | |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 107 | if (old_node.status == FunctionStatus.DAMAGED) { |
| 108 | CollectDamaged(old_node); |
| 109 | return; |
| 110 | } |
| 111 | if (old_node.status == FunctionStatus.UNCHANGED) { |
| 112 | update_positions_list.push(old_node); |
| 113 | } else if (old_node.status == FunctionStatus.SOURCE_CHANGED) { |
| 114 | update_positions_list.push(old_node); |
| 115 | } else if (old_node.status == FunctionStatus.CHANGED) { |
| 116 | replace_code_list.push(old_node); |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 117 | CollectNew(old_node.unmatched_new_nodes); |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 118 | } |
| 119 | for (var i = 0; i < old_node.children.length; i++) { |
| 120 | HarvestTodo(old_node.children[i]); |
| 121 | } |
ricow@chromium.org | c9c8082 | 2010-04-21 08:22:37 +0000 | [diff] [blame] | 122 | } |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 123 | |
kmillikin@chromium.org | 69ea396 | 2010-07-05 11:01:40 +0000 | [diff] [blame] | 124 | var preview_description = { |
| 125 | change_tree: DescribeChangeTree(root_old_node), |
| 126 | textual_diff: { |
| 127 | old_len: old_source.length, |
| 128 | new_len: new_source.length, |
| 129 | chunks: diff_array |
| 130 | }, |
| 131 | updated: false |
| 132 | }; |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 133 | |
kmillikin@chromium.org | 69ea396 | 2010-07-05 11:01:40 +0000 | [diff] [blame] | 134 | if (preview_only) { |
| 135 | return preview_description; |
| 136 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 137 | |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 138 | HarvestTodo(root_old_node); |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 139 | |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 140 | // Collect shared infos for functions whose code need to be patched. |
| 141 | var replaced_function_infos = new Array(); |
| 142 | for (var i = 0; i < replace_code_list.length; i++) { |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 143 | var live_shared_function_infos = |
| 144 | replace_code_list[i].live_shared_function_infos; |
| 145 | |
| 146 | if (live_shared_function_infos) { |
fschneider@chromium.org | 9e3e0b6 | 2011-01-03 10:16:46 +0000 | [diff] [blame] | 147 | for (var j = 0; j < live_shared_function_infos.length; j++) { |
| 148 | replaced_function_infos.push(live_shared_function_infos[j]); |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 149 | } |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 150 | } |
| 151 | } |
| 152 | |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 153 | // We haven't changed anything before this line yet. |
ricow@chromium.org | c9c8082 | 2010-04-21 08:22:37 +0000 | [diff] [blame] | 154 | // Committing all changes. |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 155 | |
kmillikin@chromium.org | 69ea396 | 2010-07-05 11:01:40 +0000 | [diff] [blame] | 156 | // Check that function being patched is not currently on stack or drop them. |
| 157 | var dropped_functions_number = |
| 158 | CheckStackActivations(replaced_function_infos, change_log); |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 159 | |
| 160 | preview_description.stack_modified = dropped_functions_number != 0; |
| 161 | |
| 162 | // Start with breakpoints. Convert their line/column positions and |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 163 | // temporary remove. |
| 164 | var break_points_restorer = TemporaryRemoveBreakPoints(script, change_log); |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 165 | |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 166 | var old_script; |
| 167 | |
| 168 | // Create an old script only if there are function that should be linked |
| 169 | // to old version. |
| 170 | if (link_to_old_script_list.length == 0) { |
| 171 | %LiveEditReplaceScript(script, new_source, null); |
| 172 | old_script = void 0; |
| 173 | } else { |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 174 | var old_script_name = CreateNameForOldScript(script); |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 175 | |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 176 | // Update the script text and create a new script representing an old |
| 177 | // version of the script. |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 178 | old_script = %LiveEditReplaceScript(script, new_source, |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 179 | old_script_name); |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 180 | |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 181 | var link_to_old_script_report = new Array(); |
| 182 | change_log.push( { linked_to_old_script: link_to_old_script_report } ); |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 183 | |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 184 | // We need to link to old script all former nested functions. |
| 185 | for (var i = 0; i < link_to_old_script_list.length; i++) { |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 186 | LinkToOldScript(link_to_old_script_list[i], old_script, |
| 187 | link_to_old_script_report); |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 188 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 189 | |
kmillikin@chromium.org | 69ea396 | 2010-07-05 11:01:40 +0000 | [diff] [blame] | 190 | preview_description.created_script_name = old_script_name; |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 191 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 192 | |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 193 | // Link to an actual script all the functions that we are going to use. |
| 194 | for (var i = 0; i < link_to_original_script_list.length; i++) { |
| 195 | %LiveEditFunctionSetScript( |
| 196 | link_to_original_script_list[i].info.shared_function_info, script); |
| 197 | } |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 198 | |
| 199 | for (var i = 0; i < replace_code_list.length; i++) { |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 200 | PatchFunctionCode(replace_code_list[i], change_log); |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 201 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 202 | |
ricow@chromium.org | c9c8082 | 2010-04-21 08:22:37 +0000 | [diff] [blame] | 203 | var position_patch_report = new Array(); |
| 204 | change_log.push( {position_patched: position_patch_report} ); |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 205 | |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 206 | for (var i = 0; i < update_positions_list.length; i++) { |
| 207 | // TODO(LiveEdit): take into account wether it's source_changed or |
| 208 | // unchanged and whether positions changed at all. |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 209 | PatchPositions(update_positions_list[i], diff_array, |
| 210 | position_patch_report); |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 211 | |
| 212 | if (update_positions_list[i].live_shared_function_infos) { |
| 213 | update_positions_list[i].live_shared_function_infos. |
| 214 | forEach(function (info) { |
| 215 | %LiveEditFunctionSourceUpdated(info.raw_array); |
| 216 | }); |
| 217 | } |
ricow@chromium.org | c9c8082 | 2010-04-21 08:22:37 +0000 | [diff] [blame] | 218 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 219 | |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 220 | break_points_restorer(pos_translator, old_script); |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 221 | |
kmillikin@chromium.org | 69ea396 | 2010-07-05 11:01:40 +0000 | [diff] [blame] | 222 | preview_description.updated = true; |
| 223 | return preview_description; |
ricow@chromium.org | c9c8082 | 2010-04-21 08:22:37 +0000 | [diff] [blame] | 224 | } |
| 225 | // Function is public. |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 226 | this.ApplyPatchMultiChunk = ApplyPatchMultiChunk; |
| 227 | |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 228 | |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 229 | // Fully compiles source string as a script. Returns Array of |
| 230 | // FunctionCompileInfo -- a descriptions of all functions of the script. |
| 231 | // Elements of array are ordered by start positions of functions (from top |
| 232 | // to bottom) in the source. Fields outer_index and next_sibling_index help |
| 233 | // to navigate the nesting structure of functions. |
| 234 | // |
| 235 | // All functions get compiled linked to script provided as parameter script. |
| 236 | // TODO(LiveEdit): consider not using actual scripts as script, because |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 237 | // we have to manually erase all links right after compile. |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 238 | function GatherCompileInfo(source, script) { |
| 239 | // Get function info, elements are partially sorted (it is a tree of |
| 240 | // nested functions serialized as parent followed by serialized children. |
| 241 | var raw_compile_info = %LiveEditGatherCompileInfo(script, source); |
| 242 | |
| 243 | // Sort function infos by start position field. |
| 244 | var compile_info = new Array(); |
| 245 | var old_index_map = new Array(); |
| 246 | for (var i = 0; i < raw_compile_info.length; i++) { |
| 247 | var info = new FunctionCompileInfo(raw_compile_info[i]); |
| 248 | // Remove all links to the actual script. Breakpoints system and |
| 249 | // LiveEdit itself believe that any function in heap that points to a |
| 250 | // particular script is a regular function. |
| 251 | // For some functions we will restore this link later. |
| 252 | %LiveEditFunctionSetScript(info.shared_function_info, void 0); |
| 253 | compile_info.push(info); |
| 254 | old_index_map.push(i); |
| 255 | } |
| 256 | |
| 257 | for (var i = 0; i < compile_info.length; i++) { |
| 258 | var k = i; |
| 259 | for (var j = i + 1; j < compile_info.length; j++) { |
| 260 | if (compile_info[k].start_position > compile_info[j].start_position) { |
| 261 | k = j; |
| 262 | } |
| 263 | } |
| 264 | if (k != i) { |
| 265 | var temp_info = compile_info[k]; |
| 266 | var temp_index = old_index_map[k]; |
| 267 | compile_info[k] = compile_info[i]; |
| 268 | old_index_map[k] = old_index_map[i]; |
| 269 | compile_info[i] = temp_info; |
| 270 | old_index_map[i] = temp_index; |
| 271 | } |
| 272 | } |
| 273 | |
| 274 | // After sorting update outer_inder field using old_index_map. Also |
| 275 | // set next_sibling_index field. |
| 276 | var current_index = 0; |
| 277 | |
| 278 | // The recursive function, that goes over all children of a particular |
| 279 | // node (i.e. function info). |
| 280 | function ResetIndexes(new_parent_index, old_parent_index) { |
| 281 | var previous_sibling = -1; |
| 282 | while (current_index < compile_info.length && |
| 283 | compile_info[current_index].outer_index == old_parent_index) { |
| 284 | var saved_index = current_index; |
| 285 | compile_info[saved_index].outer_index = new_parent_index; |
| 286 | if (previous_sibling != -1) { |
| 287 | compile_info[previous_sibling].next_sibling_index = saved_index; |
| 288 | } |
| 289 | previous_sibling = saved_index; |
| 290 | current_index++; |
| 291 | ResetIndexes(saved_index, old_index_map[saved_index]); |
| 292 | } |
| 293 | if (previous_sibling != -1) { |
| 294 | compile_info[previous_sibling].next_sibling_index = -1; |
| 295 | } |
| 296 | } |
| 297 | |
| 298 | ResetIndexes(-1, -1); |
| 299 | Assert(current_index == compile_info.length); |
| 300 | |
| 301 | return compile_info; |
| 302 | } |
| 303 | |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 304 | |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 305 | // Replaces function's Code. |
| 306 | function PatchFunctionCode(old_node, change_log) { |
| 307 | var new_info = old_node.corresponding_node.info; |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 308 | if (old_node.live_shared_function_infos) { |
| 309 | old_node.live_shared_function_infos.forEach(function (old_info) { |
| 310 | %LiveEditReplaceFunctionCode(new_info.raw_array, |
| 311 | old_info.raw_array); |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 312 | |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 313 | // The function got a new code. However, this new code brings all new |
| 314 | // instances of SharedFunctionInfo for nested functions. However, |
| 315 | // we want the original instances to be used wherever possible. |
| 316 | // (This is because old instances and new instances will be both |
| 317 | // linked to a script and breakpoints subsystem does not really |
| 318 | // expects this; neither does LiveEdit subsystem on next call). |
| 319 | for (var i = 0; i < old_node.children.length; i++) { |
| 320 | if (old_node.children[i].corresponding_node) { |
| 321 | var corresponding_child_info = |
| 322 | old_node.children[i].corresponding_node.info. |
| 323 | shared_function_info; |
| 324 | |
| 325 | if (old_node.children[i].live_shared_function_infos) { |
| 326 | old_node.children[i].live_shared_function_infos. |
| 327 | forEach(function (old_child_info) { |
| 328 | %LiveEditReplaceRefToNestedFunction(old_info.info, |
| 329 | corresponding_child_info, |
| 330 | old_child_info.info); |
| 331 | }); |
| 332 | } |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 333 | } |
| 334 | } |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 335 | }); |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 336 | |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 337 | change_log.push( {function_patched: new_info.function_name} ); |
| 338 | } else { |
| 339 | change_log.push( {function_patched: new_info.function_name, |
| 340 | function_info_not_found: true} ); |
| 341 | } |
| 342 | } |
| 343 | |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 344 | |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 345 | // Makes a function associated with another instance of a script (the |
| 346 | // one representing its old version). This way the function still |
| 347 | // may access its own text. |
| 348 | function LinkToOldScript(old_info_node, old_script, report_array) { |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 349 | if (old_info_node.live_shared_function_infos) { |
| 350 | old_info_node.live_shared_function_infos. |
| 351 | forEach(function (info) { |
| 352 | %LiveEditFunctionSetScript(info.info, old_script); |
| 353 | }); |
| 354 | |
| 355 | report_array.push( { name: old_info_node.info.function_name } ); |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 356 | } else { |
| 357 | report_array.push( |
| 358 | { name: old_info_node.info.function_name, not_found: true } ); |
| 359 | } |
| 360 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 361 | |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 362 | |
| 363 | // Returns function that restores breakpoints. |
| 364 | function TemporaryRemoveBreakPoints(original_script, change_log) { |
| 365 | var script_break_points = GetScriptBreakPoints(original_script); |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 366 | |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 367 | var break_points_update_report = []; |
| 368 | change_log.push( { break_points_update: break_points_update_report } ); |
| 369 | |
| 370 | var break_point_old_positions = []; |
| 371 | for (var i = 0; i < script_break_points.length; i++) { |
| 372 | var break_point = script_break_points[i]; |
| 373 | |
| 374 | break_point.clear(); |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 375 | |
| 376 | // TODO(LiveEdit): be careful with resource offset here. |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 377 | var break_point_position = Debug.findScriptSourcePosition(original_script, |
| 378 | break_point.line(), break_point.column()); |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 379 | |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 380 | var old_position_description = { |
| 381 | position: break_point_position, |
| 382 | line: break_point.line(), |
| 383 | column: break_point.column() |
| 384 | } |
| 385 | break_point_old_positions.push(old_position_description); |
| 386 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 387 | |
| 388 | |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 389 | // Restores breakpoints and creates their copies in the "old" copy of |
| 390 | // the script. |
| 391 | return function (pos_translator, old_script_copy_opt) { |
| 392 | // Update breakpoints (change positions and restore them in old version |
| 393 | // of script. |
| 394 | for (var i = 0; i < script_break_points.length; i++) { |
| 395 | var break_point = script_break_points[i]; |
| 396 | if (old_script_copy_opt) { |
| 397 | var clone = break_point.cloneForOtherScript(old_script_copy_opt); |
| 398 | clone.set(old_script_copy_opt); |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 399 | |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 400 | break_points_update_report.push( { |
| 401 | type: "copied_to_old", |
| 402 | id: break_point.number(), |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 403 | new_id: clone.number(), |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 404 | positions: break_point_old_positions[i] |
| 405 | } ); |
| 406 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 407 | |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 408 | var updated_position = pos_translator.Translate( |
| 409 | break_point_old_positions[i].position, |
| 410 | PosTranslator.ShiftWithTopInsideChunkHandler); |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 411 | |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 412 | var new_location = |
| 413 | original_script.locationFromPosition(updated_position, false); |
| 414 | |
| 415 | break_point.update_positions(new_location.line, new_location.column); |
| 416 | |
| 417 | var new_position_description = { |
| 418 | position: updated_position, |
| 419 | line: new_location.line, |
| 420 | column: new_location.column |
| 421 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 422 | |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 423 | break_point.set(original_script); |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 424 | |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 425 | break_points_update_report.push( { type: "position_changed", |
| 426 | id: break_point.number(), |
| 427 | old_positions: break_point_old_positions[i], |
| 428 | new_positions: new_position_description |
| 429 | } ); |
| 430 | } |
| 431 | } |
| 432 | } |
| 433 | |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 434 | |
ricow@chromium.org | c9c8082 | 2010-04-21 08:22:37 +0000 | [diff] [blame] | 435 | function Assert(condition, message) { |
| 436 | if (!condition) { |
| 437 | if (message) { |
| 438 | throw "Assert " + message; |
| 439 | } else { |
| 440 | throw "Assert"; |
| 441 | } |
| 442 | } |
| 443 | } |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 444 | |
| 445 | function DiffChunk(pos1, pos2, len1, len2) { |
| 446 | this.pos1 = pos1; |
| 447 | this.pos2 = pos2; |
| 448 | this.len1 = len1; |
| 449 | this.len2 = len2; |
| 450 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 451 | |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 452 | function PosTranslator(diff_array) { |
| 453 | var chunks = new Array(); |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 454 | var current_diff = 0; |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 455 | for (var i = 0; i < diff_array.length; i += 3) { |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 456 | var pos1_begin = diff_array[i]; |
| 457 | var pos2_begin = pos1_begin + current_diff; |
| 458 | var pos1_end = diff_array[i + 1]; |
| 459 | var pos2_end = diff_array[i + 2]; |
| 460 | chunks.push(new DiffChunk(pos1_begin, pos2_begin, pos1_end - pos1_begin, |
| 461 | pos2_end - pos2_begin)); |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 462 | current_diff = pos2_end - pos1_end; |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 463 | } |
| 464 | this.chunks = chunks; |
| 465 | } |
| 466 | PosTranslator.prototype.GetChunks = function() { |
| 467 | return this.chunks; |
| 468 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 469 | |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 470 | PosTranslator.prototype.Translate = function(pos, inside_chunk_handler) { |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 471 | var array = this.chunks; |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 472 | if (array.length == 0 || pos < array[0].pos1) { |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 473 | return pos; |
| 474 | } |
| 475 | var chunk_index1 = 0; |
| 476 | var chunk_index2 = array.length - 1; |
| 477 | |
| 478 | while (chunk_index1 < chunk_index2) { |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 479 | var middle_index = Math.floor((chunk_index1 + chunk_index2) / 2); |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 480 | if (pos < array[middle_index + 1].pos1) { |
| 481 | chunk_index2 = middle_index; |
| 482 | } else { |
| 483 | chunk_index1 = middle_index + 1; |
| 484 | } |
| 485 | } |
| 486 | var chunk = array[chunk_index1]; |
| 487 | if (pos >= chunk.pos1 + chunk.len1) { |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 488 | return pos + chunk.pos2 + chunk.len2 - chunk.pos1 - chunk.len1; |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 489 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 490 | |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 491 | if (!inside_chunk_handler) { |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 492 | inside_chunk_handler = PosTranslator.DefaultInsideChunkHandler; |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 493 | } |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 494 | return inside_chunk_handler(pos, chunk); |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 495 | } |
| 496 | |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 497 | PosTranslator.DefaultInsideChunkHandler = function(pos, diff_chunk) { |
| 498 | Assert(false, "Cannot translate position in changed area"); |
| 499 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 500 | |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 501 | PosTranslator.ShiftWithTopInsideChunkHandler = |
| 502 | function(pos, diff_chunk) { |
| 503 | // We carelessly do not check whether we stay inside the chunk after |
| 504 | // translation. |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 505 | return pos - diff_chunk.pos1 + diff_chunk.pos2; |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 506 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 507 | |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 508 | var FunctionStatus = { |
| 509 | // No change to function or its inner functions; however its positions |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 510 | // in script may have been shifted. |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 511 | UNCHANGED: "unchanged", |
| 512 | // The code of a function remains unchanged, but something happened inside |
| 513 | // some inner functions. |
| 514 | SOURCE_CHANGED: "source changed", |
| 515 | // The code of a function is changed or some nested function cannot be |
| 516 | // properly patched so this function must be recompiled. |
| 517 | CHANGED: "changed", |
| 518 | // Function is changed but cannot be patched. |
| 519 | DAMAGED: "damaged" |
| 520 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 521 | |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 522 | function CodeInfoTreeNode(code_info, children, array_index) { |
| 523 | this.info = code_info; |
| 524 | this.children = children; |
| 525 | // an index in array of compile_info |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 526 | this.array_index = array_index; |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 527 | this.parent = void 0; |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 528 | |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 529 | this.status = FunctionStatus.UNCHANGED; |
| 530 | // Status explanation is used for debugging purposes and will be shown |
| 531 | // in user UI if some explanations are needed. |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 532 | this.status_explanation = void 0; |
| 533 | this.new_start_pos = void 0; |
| 534 | this.new_end_pos = void 0; |
| 535 | this.corresponding_node = void 0; |
| 536 | this.unmatched_new_nodes = void 0; |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 537 | |
kmillikin@chromium.org | 69ea396 | 2010-07-05 11:01:40 +0000 | [diff] [blame] | 538 | // 'Textual' correspondence/matching is weaker than 'pure' |
| 539 | // correspondence/matching. We need 'textual' level for visual presentation |
| 540 | // in UI, we use 'pure' level for actual code manipulation. |
| 541 | // Sometimes only function body is changed (functions in old and new script |
| 542 | // textually correspond), but we cannot patch the code, so we see them |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 543 | // as an old function deleted and new function created. |
kmillikin@chromium.org | 69ea396 | 2010-07-05 11:01:40 +0000 | [diff] [blame] | 544 | this.textual_corresponding_node = void 0; |
| 545 | this.textually_unmatched_new_nodes = void 0; |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 546 | |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 547 | this.live_shared_function_infos = void 0; |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 548 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 549 | |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 550 | // From array of function infos that is implicitly a tree creates |
| 551 | // an actual tree of functions in script. |
| 552 | function BuildCodeInfoTree(code_info_array) { |
| 553 | // Throughtout all function we iterate over input array. |
| 554 | var index = 0; |
| 555 | |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 556 | // Recursive function that builds a branch of tree. |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 557 | function BuildNode() { |
| 558 | var my_index = index; |
| 559 | index++; |
| 560 | var child_array = new Array(); |
| 561 | while (index < code_info_array.length && |
| 562 | code_info_array[index].outer_index == my_index) { |
| 563 | child_array.push(BuildNode()); |
| 564 | } |
| 565 | var node = new CodeInfoTreeNode(code_info_array[my_index], child_array, |
| 566 | my_index); |
| 567 | for (var i = 0; i < child_array.length; i++) { |
| 568 | child_array[i].parent = node; |
| 569 | } |
| 570 | return node; |
| 571 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 572 | |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 573 | var root = BuildNode(); |
| 574 | Assert(index == code_info_array.length); |
| 575 | return root; |
| 576 | } |
| 577 | |
| 578 | // Applies a list of the textual diff chunks onto the tree of functions. |
| 579 | // Determines status of each function (from unchanged to damaged). However |
| 580 | // children of unchanged functions are ignored. |
| 581 | function MarkChangedFunctions(code_info_tree, chunks) { |
| 582 | |
| 583 | // A convenient interator over diff chunks that also translates |
| 584 | // positions from old to new in a current non-changed part of script. |
| 585 | var chunk_it = new function() { |
| 586 | var chunk_index = 0; |
| 587 | var pos_diff = 0; |
| 588 | this.current = function() { return chunks[chunk_index]; } |
| 589 | this.next = function() { |
| 590 | var chunk = chunks[chunk_index]; |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 591 | pos_diff = chunk.pos2 + chunk.len2 - (chunk.pos1 + chunk.len1); |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 592 | chunk_index++; |
| 593 | } |
| 594 | this.done = function() { return chunk_index >= chunks.length; } |
| 595 | this.TranslatePos = function(pos) { return pos + pos_diff; } |
| 596 | }; |
| 597 | |
| 598 | // A recursive function that processes internals of a function and all its |
| 599 | // inner functions. Iterator chunk_it initially points to a chunk that is |
| 600 | // below function start. |
| 601 | function ProcessInternals(info_node) { |
| 602 | info_node.new_start_pos = chunk_it.TranslatePos( |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 603 | info_node.info.start_position); |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 604 | var child_index = 0; |
| 605 | var code_changed = false; |
| 606 | var source_changed = false; |
| 607 | // Simultaneously iterates over child functions and over chunks. |
| 608 | while (!chunk_it.done() && |
| 609 | chunk_it.current().pos1 < info_node.info.end_position) { |
| 610 | if (child_index < info_node.children.length) { |
| 611 | var child = info_node.children[child_index]; |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 612 | |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 613 | if (child.info.end_position <= chunk_it.current().pos1) { |
| 614 | ProcessUnchangedChild(child); |
| 615 | child_index++; |
| 616 | continue; |
| 617 | } else if (child.info.start_position >= |
| 618 | chunk_it.current().pos1 + chunk_it.current().len1) { |
| 619 | code_changed = true; |
| 620 | chunk_it.next(); |
| 621 | continue; |
| 622 | } else if (child.info.start_position <= chunk_it.current().pos1 && |
| 623 | child.info.end_position >= chunk_it.current().pos1 + |
| 624 | chunk_it.current().len1) { |
| 625 | ProcessInternals(child); |
| 626 | source_changed = source_changed || |
| 627 | ( child.status != FunctionStatus.UNCHANGED ); |
| 628 | code_changed = code_changed || |
| 629 | ( child.status == FunctionStatus.DAMAGED ); |
| 630 | child_index++; |
| 631 | continue; |
| 632 | } else { |
| 633 | code_changed = true; |
| 634 | child.status = FunctionStatus.DAMAGED; |
| 635 | child.status_explanation = |
| 636 | "Text diff overlaps with function boundary"; |
| 637 | child_index++; |
| 638 | continue; |
| 639 | } |
| 640 | } else { |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 641 | if (chunk_it.current().pos1 + chunk_it.current().len1 <= |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 642 | info_node.info.end_position) { |
| 643 | info_node.status = FunctionStatus.CHANGED; |
| 644 | chunk_it.next(); |
| 645 | continue; |
| 646 | } else { |
| 647 | info_node.status = FunctionStatus.DAMAGED; |
| 648 | info_node.status_explanation = |
| 649 | "Text diff overlaps with function boundary"; |
| 650 | return; |
| 651 | } |
| 652 | } |
| 653 | Assert("Unreachable", false); |
| 654 | } |
| 655 | while (child_index < info_node.children.length) { |
| 656 | var child = info_node.children[child_index]; |
| 657 | ProcessUnchangedChild(child); |
| 658 | child_index++; |
| 659 | } |
| 660 | if (code_changed) { |
| 661 | info_node.status = FunctionStatus.CHANGED; |
| 662 | } else if (source_changed) { |
| 663 | info_node.status = FunctionStatus.SOURCE_CHANGED; |
| 664 | } |
| 665 | info_node.new_end_pos = |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 666 | chunk_it.TranslatePos(info_node.info.end_position); |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 667 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 668 | |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 669 | function ProcessUnchangedChild(node) { |
| 670 | node.new_start_pos = chunk_it.TranslatePos(node.info.start_position); |
| 671 | node.new_end_pos = chunk_it.TranslatePos(node.info.end_position); |
| 672 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 673 | |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 674 | ProcessInternals(code_info_tree); |
| 675 | } |
| 676 | |
| 677 | // For ecah old function (if it is not damaged) tries to find a corresponding |
| 678 | // function in new script. Typically it should succeed (non-damaged functions |
| 679 | // by definition may only have changes inside their bodies). However there are |
| 680 | // reasons for corresponence not to be found; function with unmodified text |
| 681 | // in new script may become enclosed into other function; the innocent change |
| 682 | // inside function body may in fact be something like "} function B() {" that |
| 683 | // splits a function into 2 functions. |
| 684 | function FindCorrespondingFunctions(old_code_tree, new_code_tree) { |
| 685 | |
| 686 | // A recursive function that tries to find a correspondence for all |
| 687 | // child functions and for their inner functions. |
| 688 | function ProcessChildren(old_node, new_node) { |
| 689 | var old_children = old_node.children; |
| 690 | var new_children = new_node.children; |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 691 | |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 692 | var unmatched_new_nodes_list = []; |
kmillikin@chromium.org | 69ea396 | 2010-07-05 11:01:40 +0000 | [diff] [blame] | 693 | var textually_unmatched_new_nodes_list = []; |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 694 | |
| 695 | var old_index = 0; |
| 696 | var new_index = 0; |
| 697 | while (old_index < old_children.length) { |
| 698 | if (old_children[old_index].status == FunctionStatus.DAMAGED) { |
| 699 | old_index++; |
| 700 | } else if (new_index < new_children.length) { |
| 701 | if (new_children[new_index].info.start_position < |
| 702 | old_children[old_index].new_start_pos) { |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 703 | unmatched_new_nodes_list.push(new_children[new_index]); |
kmillikin@chromium.org | 69ea396 | 2010-07-05 11:01:40 +0000 | [diff] [blame] | 704 | textually_unmatched_new_nodes_list.push(new_children[new_index]); |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 705 | new_index++; |
| 706 | } else if (new_children[new_index].info.start_position == |
| 707 | old_children[old_index].new_start_pos) { |
| 708 | if (new_children[new_index].info.end_position == |
| 709 | old_children[old_index].new_end_pos) { |
| 710 | old_children[old_index].corresponding_node = |
| 711 | new_children[new_index]; |
kmillikin@chromium.org | 69ea396 | 2010-07-05 11:01:40 +0000 | [diff] [blame] | 712 | old_children[old_index].textual_corresponding_node = |
| 713 | new_children[new_index]; |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 714 | if (old_children[old_index].status != FunctionStatus.UNCHANGED) { |
| 715 | ProcessChildren(old_children[old_index], |
| 716 | new_children[new_index]); |
| 717 | if (old_children[old_index].status == FunctionStatus.DAMAGED) { |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 718 | unmatched_new_nodes_list.push( |
| 719 | old_children[old_index].corresponding_node); |
| 720 | old_children[old_index].corresponding_node = void 0; |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 721 | old_node.status = FunctionStatus.CHANGED; |
| 722 | } |
| 723 | } |
| 724 | } else { |
| 725 | old_children[old_index].status = FunctionStatus.DAMAGED; |
| 726 | old_children[old_index].status_explanation = |
| 727 | "No corresponding function in new script found"; |
| 728 | old_node.status = FunctionStatus.CHANGED; |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 729 | unmatched_new_nodes_list.push(new_children[new_index]); |
kmillikin@chromium.org | 69ea396 | 2010-07-05 11:01:40 +0000 | [diff] [blame] | 730 | textually_unmatched_new_nodes_list.push(new_children[new_index]); |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 731 | } |
| 732 | new_index++; |
| 733 | old_index++; |
| 734 | } else { |
| 735 | old_children[old_index].status = FunctionStatus.DAMAGED; |
| 736 | old_children[old_index].status_explanation = |
| 737 | "No corresponding function in new script found"; |
| 738 | old_node.status = FunctionStatus.CHANGED; |
| 739 | old_index++; |
| 740 | } |
| 741 | } else { |
| 742 | old_children[old_index].status = FunctionStatus.DAMAGED; |
| 743 | old_children[old_index].status_explanation = |
| 744 | "No corresponding function in new script found"; |
| 745 | old_node.status = FunctionStatus.CHANGED; |
| 746 | old_index++; |
| 747 | } |
| 748 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 749 | |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 750 | while (new_index < new_children.length) { |
| 751 | unmatched_new_nodes_list.push(new_children[new_index]); |
kmillikin@chromium.org | 69ea396 | 2010-07-05 11:01:40 +0000 | [diff] [blame] | 752 | textually_unmatched_new_nodes_list.push(new_children[new_index]); |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 753 | new_index++; |
| 754 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 755 | |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 756 | if (old_node.status == FunctionStatus.CHANGED) { |
kmillikin@chromium.org | 69ea396 | 2010-07-05 11:01:40 +0000 | [diff] [blame] | 757 | var why_wrong_expectations = |
| 758 | WhyFunctionExpectationsDiffer(old_node.info, new_node.info); |
| 759 | if (why_wrong_expectations) { |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 760 | old_node.status = FunctionStatus.DAMAGED; |
kmillikin@chromium.org | 69ea396 | 2010-07-05 11:01:40 +0000 | [diff] [blame] | 761 | old_node.status_explanation = why_wrong_expectations; |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 762 | } |
| 763 | } |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 764 | old_node.unmatched_new_nodes = unmatched_new_nodes_list; |
kmillikin@chromium.org | 69ea396 | 2010-07-05 11:01:40 +0000 | [diff] [blame] | 765 | old_node.textually_unmatched_new_nodes = |
| 766 | textually_unmatched_new_nodes_list; |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 767 | } |
| 768 | |
| 769 | ProcessChildren(old_code_tree, new_code_tree); |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 770 | |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 771 | old_code_tree.corresponding_node = new_code_tree; |
kmillikin@chromium.org | 69ea396 | 2010-07-05 11:01:40 +0000 | [diff] [blame] | 772 | old_code_tree.textual_corresponding_node = new_code_tree; |
| 773 | |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 774 | Assert(old_code_tree.status != FunctionStatus.DAMAGED, |
| 775 | "Script became damaged"); |
| 776 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 777 | |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 778 | function FindLiveSharedInfos(old_code_tree, script) { |
| 779 | var shared_raw_list = %LiveEditFindSharedFunctionInfosForScript(script); |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 780 | |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 781 | var shared_infos = new Array(); |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 782 | |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 783 | for (var i = 0; i < shared_raw_list.length; i++) { |
| 784 | shared_infos.push(new SharedInfoWrapper(shared_raw_list[i])); |
| 785 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 786 | |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 787 | // Finds all SharedFunctionInfos that corresponds to compile info |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 788 | // in old version of the script. |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 789 | function FindFunctionInfos(compile_info) { |
| 790 | var wrappers = []; |
| 791 | |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 792 | for (var i = 0; i < shared_infos.length; i++) { |
| 793 | var wrapper = shared_infos[i]; |
| 794 | if (wrapper.start_position == compile_info.start_position && |
| 795 | wrapper.end_position == compile_info.end_position) { |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 796 | wrappers.push(wrapper); |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 797 | } |
| 798 | } |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 799 | |
| 800 | if (wrappers.length > 0) { |
| 801 | return wrappers; |
| 802 | } |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 803 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 804 | |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 805 | function TraverseTree(node) { |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 806 | node.live_shared_function_infos = FindFunctionInfos(node.info); |
| 807 | |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 808 | for (var i = 0; i < node.children.length; i++) { |
| 809 | TraverseTree(node.children[i]); |
| 810 | } |
| 811 | } |
| 812 | |
| 813 | TraverseTree(old_code_tree); |
| 814 | } |
fschneider@chromium.org | 013f3e1 | 2010-04-26 13:27:52 +0000 | [diff] [blame] | 815 | |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 816 | |
ricow@chromium.org | c9c8082 | 2010-04-21 08:22:37 +0000 | [diff] [blame] | 817 | // An object describing function compilation details. Its index fields |
| 818 | // apply to indexes inside array that stores these objects. |
| 819 | function FunctionCompileInfo(raw_array) { |
| 820 | this.function_name = raw_array[0]; |
| 821 | this.start_position = raw_array[1]; |
| 822 | this.end_position = raw_array[2]; |
| 823 | this.param_num = raw_array[3]; |
| 824 | this.code = raw_array[4]; |
ager@chromium.org | ea4f62e | 2010-08-16 16:28:43 +0000 | [diff] [blame] | 825 | this.code_scope_info = raw_array[5]; |
| 826 | this.scope_info = raw_array[6]; |
| 827 | this.outer_index = raw_array[7]; |
| 828 | this.shared_function_info = raw_array[8]; |
ricow@chromium.org | c9c8082 | 2010-04-21 08:22:37 +0000 | [diff] [blame] | 829 | this.next_sibling_index = null; |
| 830 | this.raw_array = raw_array; |
| 831 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 832 | |
ricow@chromium.org | c9c8082 | 2010-04-21 08:22:37 +0000 | [diff] [blame] | 833 | function SharedInfoWrapper(raw_array) { |
| 834 | this.function_name = raw_array[0]; |
| 835 | this.start_position = raw_array[1]; |
| 836 | this.end_position = raw_array[2]; |
| 837 | this.info = raw_array[3]; |
| 838 | this.raw_array = raw_array; |
| 839 | } |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 840 | |
| 841 | // Changes positions (including all statments) in function. |
| 842 | function PatchPositions(old_info_node, diff_array, report_array) { |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 843 | if (old_info_node.live_shared_function_infos) { |
| 844 | old_info_node.live_shared_function_infos.forEach(function (info) { |
| 845 | %LiveEditPatchFunctionPositions(info.raw_array, |
| 846 | diff_array); |
| 847 | }); |
| 848 | |
| 849 | report_array.push( { name: old_info_node.info.function_name } ); |
| 850 | } else { |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 851 | // TODO(LiveEdit): function is not compiled yet or is already collected. |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 852 | report_array.push( |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 853 | { name: old_info_node.info.function_name, info_not_found: true } ); |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 854 | } |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 855 | } |
| 856 | |
ricow@chromium.org | c9c8082 | 2010-04-21 08:22:37 +0000 | [diff] [blame] | 857 | // Adds a suffix to script name to mark that it is old version. |
| 858 | function CreateNameForOldScript(script) { |
| 859 | // TODO(635): try better than this; support several changes. |
| 860 | return script.name + " (old)"; |
| 861 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 862 | |
ricow@chromium.org | c9c8082 | 2010-04-21 08:22:37 +0000 | [diff] [blame] | 863 | // Compares a function interface old and new version, whether it |
kmillikin@chromium.org | 69ea396 | 2010-07-05 11:01:40 +0000 | [diff] [blame] | 864 | // changed or not. Returns explanation if they differ. |
| 865 | function WhyFunctionExpectationsDiffer(function_info1, function_info2) { |
ricow@chromium.org | c9c8082 | 2010-04-21 08:22:37 +0000 | [diff] [blame] | 866 | // Check that function has the same number of parameters (there may exist |
| 867 | // an adapter, that won't survive function parameter number change). |
| 868 | if (function_info1.param_num != function_info2.param_num) { |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 869 | return "Changed parameter number: " + function_info1.param_num + |
kmillikin@chromium.org | 69ea396 | 2010-07-05 11:01:40 +0000 | [diff] [blame] | 870 | " and " + function_info2.param_num; |
ricow@chromium.org | c9c8082 | 2010-04-21 08:22:37 +0000 | [diff] [blame] | 871 | } |
| 872 | var scope_info1 = function_info1.scope_info; |
| 873 | var scope_info2 = function_info2.scope_info; |
kmillikin@chromium.org | 69ea396 | 2010-07-05 11:01:40 +0000 | [diff] [blame] | 874 | |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 875 | var scope_info1_text; |
| 876 | var scope_info2_text; |
| 877 | |
kmillikin@chromium.org | 69ea396 | 2010-07-05 11:01:40 +0000 | [diff] [blame] | 878 | if (scope_info1) { |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 879 | scope_info1_text = scope_info1.toString(); |
kmillikin@chromium.org | 69ea396 | 2010-07-05 11:01:40 +0000 | [diff] [blame] | 880 | } else { |
| 881 | scope_info1_text = ""; |
ricow@chromium.org | c9c8082 | 2010-04-21 08:22:37 +0000 | [diff] [blame] | 882 | } |
kmillikin@chromium.org | 69ea396 | 2010-07-05 11:01:40 +0000 | [diff] [blame] | 883 | if (scope_info2) { |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 884 | scope_info2_text = scope_info2.toString(); |
kmillikin@chromium.org | 69ea396 | 2010-07-05 11:01:40 +0000 | [diff] [blame] | 885 | } else { |
| 886 | scope_info2_text = ""; |
ricow@chromium.org | c9c8082 | 2010-04-21 08:22:37 +0000 | [diff] [blame] | 887 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 888 | |
kmillikin@chromium.org | 69ea396 | 2010-07-05 11:01:40 +0000 | [diff] [blame] | 889 | if (scope_info1_text != scope_info2_text) { |
| 890 | return "Incompatible variable maps: [" + scope_info1_text + |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 891 | "] and [" + scope_info2_text + "]"; |
kmillikin@chromium.org | 69ea396 | 2010-07-05 11:01:40 +0000 | [diff] [blame] | 892 | } |
| 893 | // No differences. Return undefined. |
| 894 | return; |
ricow@chromium.org | c9c8082 | 2010-04-21 08:22:37 +0000 | [diff] [blame] | 895 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 896 | |
ricow@chromium.org | c9c8082 | 2010-04-21 08:22:37 +0000 | [diff] [blame] | 897 | // Minifier forward declaration. |
| 898 | var FunctionPatchabilityStatus; |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 899 | |
ricow@chromium.org | c9c8082 | 2010-04-21 08:22:37 +0000 | [diff] [blame] | 900 | // For array of wrapped shared function infos checks that none of them |
| 901 | // have activations on stack (of any thread). Throws a Failure exception |
| 902 | // if this proves to be false. |
| 903 | function CheckStackActivations(shared_wrapper_list, change_log) { |
| 904 | var shared_list = new Array(); |
| 905 | for (var i = 0; i < shared_wrapper_list.length; i++) { |
| 906 | shared_list[i] = shared_wrapper_list[i].info; |
| 907 | } |
| 908 | var result = %LiveEditCheckAndDropActivations(shared_list, true); |
| 909 | if (result[shared_list.length]) { |
| 910 | // Extra array element may contain error message. |
| 911 | throw new Failure(result[shared_list.length]); |
| 912 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 913 | |
ricow@chromium.org | c9c8082 | 2010-04-21 08:22:37 +0000 | [diff] [blame] | 914 | var problems = new Array(); |
| 915 | var dropped = new Array(); |
| 916 | for (var i = 0; i < shared_list.length; i++) { |
| 917 | var shared = shared_wrapper_list[i]; |
| 918 | if (result[i] == FunctionPatchabilityStatus.REPLACED_ON_ACTIVE_STACK) { |
| 919 | dropped.push({ name: shared.function_name } ); |
| 920 | } else if (result[i] != FunctionPatchabilityStatus.AVAILABLE_FOR_PATCH) { |
| 921 | var description = { |
| 922 | name: shared.function_name, |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 923 | start_pos: shared.start_position, |
ricow@chromium.org | c9c8082 | 2010-04-21 08:22:37 +0000 | [diff] [blame] | 924 | end_pos: shared.end_position, |
| 925 | replace_problem: |
| 926 | FunctionPatchabilityStatus.SymbolName(result[i]) |
| 927 | }; |
| 928 | problems.push(description); |
| 929 | } |
| 930 | } |
| 931 | if (dropped.length > 0) { |
| 932 | change_log.push({ dropped_from_stack: dropped }); |
| 933 | } |
| 934 | if (problems.length > 0) { |
| 935 | change_log.push( { functions_on_stack: problems } ); |
| 936 | throw new Failure("Blocked by functions on stack"); |
| 937 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 938 | |
kmillikin@chromium.org | 69ea396 | 2010-07-05 11:01:40 +0000 | [diff] [blame] | 939 | return dropped.length; |
ricow@chromium.org | c9c8082 | 2010-04-21 08:22:37 +0000 | [diff] [blame] | 940 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 941 | |
ricow@chromium.org | c9c8082 | 2010-04-21 08:22:37 +0000 | [diff] [blame] | 942 | // A copy of the FunctionPatchabilityStatus enum from liveedit.h |
| 943 | var FunctionPatchabilityStatus = { |
| 944 | AVAILABLE_FOR_PATCH: 1, |
| 945 | BLOCKED_ON_ACTIVE_STACK: 2, |
| 946 | BLOCKED_ON_OTHER_STACK: 3, |
| 947 | BLOCKED_UNDER_NATIVE_CODE: 4, |
| 948 | REPLACED_ON_ACTIVE_STACK: 5 |
| 949 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 950 | |
ricow@chromium.org | c9c8082 | 2010-04-21 08:22:37 +0000 | [diff] [blame] | 951 | FunctionPatchabilityStatus.SymbolName = function(code) { |
| 952 | var enum = FunctionPatchabilityStatus; |
| 953 | for (name in enum) { |
| 954 | if (enum[name] == code) { |
| 955 | return name; |
| 956 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 957 | } |
ricow@chromium.org | c9c8082 | 2010-04-21 08:22:37 +0000 | [diff] [blame] | 958 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 959 | |
| 960 | |
ricow@chromium.org | c9c8082 | 2010-04-21 08:22:37 +0000 | [diff] [blame] | 961 | // A logical failure in liveedit process. This means that change_log |
| 962 | // is valid and consistent description of what happened. |
| 963 | function Failure(message) { |
| 964 | this.message = message; |
| 965 | } |
| 966 | // Function (constructor) is public. |
| 967 | this.Failure = Failure; |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 968 | |
ricow@chromium.org | c9c8082 | 2010-04-21 08:22:37 +0000 | [diff] [blame] | 969 | Failure.prototype.toString = function() { |
| 970 | return "LiveEdit Failure: " + this.message; |
| 971 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 972 | |
ricow@chromium.org | c9c8082 | 2010-04-21 08:22:37 +0000 | [diff] [blame] | 973 | // A testing entry. |
| 974 | function GetPcFromSourcePos(func, source_pos) { |
| 975 | return %GetFunctionCodePositionFromSource(func, source_pos); |
| 976 | } |
| 977 | // Function is public. |
| 978 | this.GetPcFromSourcePos = GetPcFromSourcePos; |
| 979 | |
lrn@chromium.org | 25156de | 2010-04-06 13:10:27 +0000 | [diff] [blame] | 980 | // LiveEdit main entry point: changes a script text to a new string. |
kmillikin@chromium.org | 69ea396 | 2010-07-05 11:01:40 +0000 | [diff] [blame] | 981 | function SetScriptSource(script, new_source, preview_only, change_log) { |
lrn@chromium.org | 25156de | 2010-04-06 13:10:27 +0000 | [diff] [blame] | 982 | var old_source = script.source; |
sgjesse@chromium.org | c6c5718 | 2011-01-17 12:24:25 +0000 | [diff] [blame] | 983 | var diff = CompareStrings(old_source, new_source); |
kmillikin@chromium.org | 69ea396 | 2010-07-05 11:01:40 +0000 | [diff] [blame] | 984 | return ApplyPatchMultiChunk(script, diff, new_source, preview_only, |
| 985 | change_log); |
lrn@chromium.org | 25156de | 2010-04-06 13:10:27 +0000 | [diff] [blame] | 986 | } |
ricow@chromium.org | c9c8082 | 2010-04-21 08:22:37 +0000 | [diff] [blame] | 987 | // Function is public. |
| 988 | this.SetScriptSource = SetScriptSource; |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 989 | |
sgjesse@chromium.org | c6c5718 | 2011-01-17 12:24:25 +0000 | [diff] [blame] | 990 | function CompareStrings(s1, s2) { |
| 991 | return %LiveEditCompareStrings(s1, s2); |
ricow@chromium.org | c9c8082 | 2010-04-21 08:22:37 +0000 | [diff] [blame] | 992 | } |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 993 | |
| 994 | // Applies the change to the script. |
| 995 | // The change is always a substring (change_pos, change_pos + change_len) |
| 996 | // being replaced with a completely different string new_str. |
| 997 | // This API is a legacy and is obsolete. |
| 998 | // |
| 999 | // @param {Script} script that is being changed |
| 1000 | // @param {Array} change_log a list that collects engineer-readable |
| 1001 | // description of what happened. |
| 1002 | function ApplySingleChunkPatch(script, change_pos, change_len, new_str, |
| 1003 | change_log) { |
| 1004 | var old_source = script.source; |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 1005 | |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 1006 | // Prepare new source string. |
| 1007 | var new_source = old_source.substring(0, change_pos) + |
| 1008 | new_str + old_source.substring(change_pos + change_len); |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 1009 | |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 1010 | return ApplyPatchMultiChunk(script, |
| 1011 | [ change_pos, change_pos + change_len, change_pos + new_str.length], |
kmillikin@chromium.org | 69ea396 | 2010-07-05 11:01:40 +0000 | [diff] [blame] | 1012 | new_source, false, change_log); |
| 1013 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 1014 | |
kmillikin@chromium.org | 69ea396 | 2010-07-05 11:01:40 +0000 | [diff] [blame] | 1015 | // Creates JSON description for a change tree. |
| 1016 | function DescribeChangeTree(old_code_tree) { |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 1017 | |
kmillikin@chromium.org | 69ea396 | 2010-07-05 11:01:40 +0000 | [diff] [blame] | 1018 | function ProcessOldNode(node) { |
| 1019 | var child_infos = []; |
| 1020 | for (var i = 0; i < node.children.length; i++) { |
| 1021 | var child = node.children[i]; |
| 1022 | if (child.status != FunctionStatus.UNCHANGED) { |
| 1023 | child_infos.push(ProcessOldNode(child)); |
| 1024 | } |
| 1025 | } |
| 1026 | var new_child_infos = []; |
| 1027 | if (node.textually_unmatched_new_nodes) { |
| 1028 | for (var i = 0; i < node.textually_unmatched_new_nodes.length; i++) { |
| 1029 | var child = node.textually_unmatched_new_nodes[i]; |
| 1030 | new_child_infos.push(ProcessNewNode(child)); |
| 1031 | } |
| 1032 | } |
| 1033 | var res = { |
| 1034 | name: node.info.function_name, |
| 1035 | positions: DescribePositions(node), |
| 1036 | status: node.status, |
| 1037 | children: child_infos, |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 1038 | new_children: new_child_infos |
kmillikin@chromium.org | 69ea396 | 2010-07-05 11:01:40 +0000 | [diff] [blame] | 1039 | }; |
| 1040 | if (node.status_explanation) { |
| 1041 | res.status_explanation = node.status_explanation; |
| 1042 | } |
| 1043 | if (node.textual_corresponding_node) { |
| 1044 | res.new_positions = DescribePositions(node.textual_corresponding_node); |
| 1045 | } |
| 1046 | return res; |
| 1047 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 1048 | |
kmillikin@chromium.org | 69ea396 | 2010-07-05 11:01:40 +0000 | [diff] [blame] | 1049 | function ProcessNewNode(node) { |
| 1050 | var child_infos = []; |
| 1051 | // Do not list ancestors. |
| 1052 | if (false) { |
| 1053 | for (var i = 0; i < node.children.length; i++) { |
| 1054 | child_infos.push(ProcessNewNode(node.children[i])); |
| 1055 | } |
| 1056 | } |
| 1057 | var res = { |
| 1058 | name: node.info.function_name, |
| 1059 | positions: DescribePositions(node), |
| 1060 | children: child_infos, |
| 1061 | }; |
| 1062 | return res; |
| 1063 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 1064 | |
kmillikin@chromium.org | 69ea396 | 2010-07-05 11:01:40 +0000 | [diff] [blame] | 1065 | function DescribePositions(node) { |
| 1066 | return { |
| 1067 | start_position: node.info.start_position, |
| 1068 | end_position: node.info.end_position |
| 1069 | }; |
| 1070 | } |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 1071 | |
kmillikin@chromium.org | 69ea396 | 2010-07-05 11:01:40 +0000 | [diff] [blame] | 1072 | return ProcessOldNode(old_code_tree); |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 1073 | } |
lrn@chromium.org | 25156de | 2010-04-06 13:10:27 +0000 | [diff] [blame] | 1074 | |
vegorov@chromium.org | 4284196 | 2010-10-18 11:18:59 +0000 | [diff] [blame] | 1075 | |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 1076 | // Functions are public for tests. |
| 1077 | this.TestApi = { |
| 1078 | PosTranslator: PosTranslator, |
sgjesse@chromium.org | c6c5718 | 2011-01-17 12:24:25 +0000 | [diff] [blame] | 1079 | CompareStrings: CompareStrings, |
kmillikin@chromium.org | 4111b80 | 2010-05-03 10:34:42 +0000 | [diff] [blame] | 1080 | ApplySingleChunkPatch: ApplySingleChunkPatch |
lrn@chromium.org | 25156de | 2010-04-06 13:10:27 +0000 | [diff] [blame] | 1081 | } |
| 1082 | } |