16ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// Copyright 2010 the V8 project authors. All rights reserved. 26ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// Redistribution and use in source and binary forms, with or without 36ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// modification, are permitted provided that the following conditions are 46ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// met: 56ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// 66ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// * Redistributions of source code must retain the above copyright 76ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// notice, this list of conditions and the following disclaimer. 86ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// * Redistributions in binary form must reproduce the above 96ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// copyright notice, this list of conditions and the following 106ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// disclaimer in the documentation and/or other materials provided 116ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// with the distribution. 126ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// * Neither the name of Google Inc. nor the names of its 136ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// contributors may be used to endorse or promote products derived 146ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// from this software without specific prior written permission. 156ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// 166ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 176ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 186ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 196ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 206ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 216ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 226ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 236ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 246ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 256ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 266ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 276ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 286ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// LiveEdit feature implementation. The script should be executed after 296ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// debug-debugger.js. 306ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 316ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// A LiveEdit namespace. It contains functions that modifies JavaScript code 326ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// according to changes of script source (if possible). 336ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// 346ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// When new script source is put in, the difference is calculated textually, 356ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// in form of list of delete/add/change chunks. The functions that include 366ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// change chunk(s) get recompiled, or their enclosing functions are 376ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// recompiled instead. 386ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// If the function may not be recompiled (e.g. it was completely erased in new 396ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// version of the script) it remains unchanged, but the code that could 406ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// create a new instance of this function goes away. An old version of script 416ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// is created to back up this obsolete function. 426ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// All unchanged functions have their positions updated accordingly. 436ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// 446ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// LiveEdit namespace is declared inside a single function constructor. 456ded16be15dd865a9b21ea304d5273c8be299c87Steve BlockDebug.LiveEdit = new function() { 466ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 476ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Forward declaration for minifier. 486ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var FunctionStatus; 49f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 506ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Applies the change to the script. 516ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // The change is in form of list of chunks encoded in a single array as 526ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // a series of triplets (pos1_start, pos1_end, pos2_end) 538defd9ff6930b4e24729971a61cf7469daf119beSteve Block function ApplyPatchMultiChunk(script, diff_array, new_source, preview_only, 548defd9ff6930b4e24729971a61cf7469daf119beSteve Block change_log) { 556ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 566ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var old_source = script.source; 576ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 586ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Gather compile information about old version of script. 596ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var old_compile_info = GatherCompileInfo(old_source, script); 60f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 616ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Build tree structures for old and new versions of the script. 626ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var root_old_node = BuildCodeInfoTree(old_compile_info); 636ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 646ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var pos_translator = new PosTranslator(diff_array); 656ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 666ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Analyze changes. 676ded16be15dd865a9b21ea304d5273c8be299c87Steve Block MarkChangedFunctions(root_old_node, pos_translator.GetChunks()); 686ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 696ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Find all SharedFunctionInfo's that were compiled from this script. 706ded16be15dd865a9b21ea304d5273c8be299c87Steve Block FindLiveSharedInfos(root_old_node, script); 71f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 726ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Gather compile information about new version of script. 736ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var new_compile_info; 746ded16be15dd865a9b21ea304d5273c8be299c87Steve Block try { 756ded16be15dd865a9b21ea304d5273c8be299c87Steve Block new_compile_info = GatherCompileInfo(new_source, script); 766ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } catch (e) { 776ded16be15dd865a9b21ea304d5273c8be299c87Steve Block throw new Failure("Failed to compile new version of script: " + e); 786ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 796ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var root_new_node = BuildCodeInfoTree(new_compile_info); 806ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 816ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Link recompiled script data with other data. 826ded16be15dd865a9b21ea304d5273c8be299c87Steve Block FindCorrespondingFunctions(root_old_node, root_new_node); 83f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 846ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Prepare to-do lists. 856ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var replace_code_list = new Array(); 866ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var link_to_old_script_list = new Array(); 876ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var link_to_original_script_list = new Array(); 886ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var update_positions_list = new Array(); 896ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 906ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function HarvestTodo(old_node) { 916ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function CollectDamaged(node) { 926ded16be15dd865a9b21ea304d5273c8be299c87Steve Block link_to_old_script_list.push(node); 936ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < node.children.length; i++) { 946ded16be15dd865a9b21ea304d5273c8be299c87Steve Block CollectDamaged(node.children[i]); 956ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 966ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 976ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 986ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Recursively collects all newly compiled functions that are going into 998defd9ff6930b4e24729971a61cf7469daf119beSteve Block // business and should have link to the actual script updated. 1006ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function CollectNew(node_list) { 1016ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < node_list.length; i++) { 1026ded16be15dd865a9b21ea304d5273c8be299c87Steve Block link_to_original_script_list.push(node_list[i]); 1036ded16be15dd865a9b21ea304d5273c8be299c87Steve Block CollectNew(node_list[i].children); 1046ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 1056ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 106f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 1076ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (old_node.status == FunctionStatus.DAMAGED) { 1086ded16be15dd865a9b21ea304d5273c8be299c87Steve Block CollectDamaged(old_node); 1096ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return; 1106ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 1116ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (old_node.status == FunctionStatus.UNCHANGED) { 1126ded16be15dd865a9b21ea304d5273c8be299c87Steve Block update_positions_list.push(old_node); 1136ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else if (old_node.status == FunctionStatus.SOURCE_CHANGED) { 1146ded16be15dd865a9b21ea304d5273c8be299c87Steve Block update_positions_list.push(old_node); 1156ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else if (old_node.status == FunctionStatus.CHANGED) { 1166ded16be15dd865a9b21ea304d5273c8be299c87Steve Block replace_code_list.push(old_node); 1176ded16be15dd865a9b21ea304d5273c8be299c87Steve Block CollectNew(old_node.unmatched_new_nodes); 1186ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 1196ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < old_node.children.length; i++) { 1206ded16be15dd865a9b21ea304d5273c8be299c87Steve Block HarvestTodo(old_node.children[i]); 1216ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 1226ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 1236ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 1248defd9ff6930b4e24729971a61cf7469daf119beSteve Block var preview_description = { 1258defd9ff6930b4e24729971a61cf7469daf119beSteve Block change_tree: DescribeChangeTree(root_old_node), 1268defd9ff6930b4e24729971a61cf7469daf119beSteve Block textual_diff: { 1278defd9ff6930b4e24729971a61cf7469daf119beSteve Block old_len: old_source.length, 1288defd9ff6930b4e24729971a61cf7469daf119beSteve Block new_len: new_source.length, 1298defd9ff6930b4e24729971a61cf7469daf119beSteve Block chunks: diff_array 1308defd9ff6930b4e24729971a61cf7469daf119beSteve Block }, 1318defd9ff6930b4e24729971a61cf7469daf119beSteve Block updated: false 1328defd9ff6930b4e24729971a61cf7469daf119beSteve Block }; 133f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 1348defd9ff6930b4e24729971a61cf7469daf119beSteve Block if (preview_only) { 1358defd9ff6930b4e24729971a61cf7469daf119beSteve Block return preview_description; 1368defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 137f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 1386ded16be15dd865a9b21ea304d5273c8be299c87Steve Block HarvestTodo(root_old_node); 139f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 1406ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Collect shared infos for functions whose code need to be patched. 1416ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var replaced_function_infos = new Array(); 1426ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < replace_code_list.length; i++) { 143b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch var live_shared_function_infos = 144b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch replace_code_list[i].live_shared_function_infos; 145b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch 146b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch if (live_shared_function_infos) { 1479fac840a46e8b7e26894f4792ba26dde14c56b04Steve Block for (var j = 0; j < live_shared_function_infos.length; j++) { 1489fac840a46e8b7e26894f4792ba26dde14c56b04Steve Block replaced_function_infos.push(live_shared_function_infos[j]); 149b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch } 1506ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 1516ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 1526ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 1536ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // We haven't changed anything before this line yet. 1546ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Committing all changes. 155f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 1568defd9ff6930b4e24729971a61cf7469daf119beSteve Block // Check that function being patched is not currently on stack or drop them. 1578defd9ff6930b4e24729971a61cf7469daf119beSteve Block var dropped_functions_number = 1588defd9ff6930b4e24729971a61cf7469daf119beSteve Block CheckStackActivations(replaced_function_infos, change_log); 159f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 160f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch preview_description.stack_modified = dropped_functions_number != 0; 161f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 162f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch // Start with breakpoints. Convert their line/column positions and 1636ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // temporary remove. 1646ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var break_points_restorer = TemporaryRemoveBreakPoints(script, change_log); 1656ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 1666ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var old_script; 1676ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 1686ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Create an old script only if there are function that should be linked 1696ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // to old version. 1706ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (link_to_old_script_list.length == 0) { 1716ded16be15dd865a9b21ea304d5273c8be299c87Steve Block %LiveEditReplaceScript(script, new_source, null); 1726ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_script = void 0; 1736ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else { 1746ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var old_script_name = CreateNameForOldScript(script); 175f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 1766ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Update the script text and create a new script representing an old 1776ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // version of the script. 1786ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_script = %LiveEditReplaceScript(script, new_source, 1796ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_script_name); 180f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 1816ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var link_to_old_script_report = new Array(); 1826ded16be15dd865a9b21ea304d5273c8be299c87Steve Block change_log.push( { linked_to_old_script: link_to_old_script_report } ); 183f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 1846ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // We need to link to old script all former nested functions. 1856ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < link_to_old_script_list.length; i++) { 1866ded16be15dd865a9b21ea304d5273c8be299c87Steve Block LinkToOldScript(link_to_old_script_list[i], old_script, 1876ded16be15dd865a9b21ea304d5273c8be299c87Steve Block link_to_old_script_report); 1886ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 189f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 1908defd9ff6930b4e24729971a61cf7469daf119beSteve Block preview_description.created_script_name = old_script_name; 1916ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 192f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 1936ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Link to an actual script all the functions that we are going to use. 1946ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < link_to_original_script_list.length; i++) { 1956ded16be15dd865a9b21ea304d5273c8be299c87Steve Block %LiveEditFunctionSetScript( 1966ded16be15dd865a9b21ea304d5273c8be299c87Steve Block link_to_original_script_list[i].info.shared_function_info, script); 1976ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 1986ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 1996ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < replace_code_list.length; i++) { 2006ded16be15dd865a9b21ea304d5273c8be299c87Steve Block PatchFunctionCode(replace_code_list[i], change_log); 2016ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 202f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 2036ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var position_patch_report = new Array(); 2046ded16be15dd865a9b21ea304d5273c8be299c87Steve Block change_log.push( {position_patched: position_patch_report} ); 205f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 2066ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < update_positions_list.length; i++) { 2076ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // TODO(LiveEdit): take into account wether it's source_changed or 2086ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // unchanged and whether positions changed at all. 2096ded16be15dd865a9b21ea304d5273c8be299c87Steve Block PatchPositions(update_positions_list[i], diff_array, 2106ded16be15dd865a9b21ea304d5273c8be299c87Steve Block position_patch_report); 211b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch 212b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch if (update_positions_list[i].live_shared_function_infos) { 213b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch update_positions_list[i].live_shared_function_infos. 214b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch forEach(function (info) { 215b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch %LiveEditFunctionSourceUpdated(info.raw_array); 216b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch }); 217b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch } 2186ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 219f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 2206ded16be15dd865a9b21ea304d5273c8be299c87Steve Block break_points_restorer(pos_translator, old_script); 221f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 2228defd9ff6930b4e24729971a61cf7469daf119beSteve Block preview_description.updated = true; 2238defd9ff6930b4e24729971a61cf7469daf119beSteve Block return preview_description; 2246ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 2256ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Function is public. 2266ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.ApplyPatchMultiChunk = ApplyPatchMultiChunk; 2276ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 228f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 2296ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Fully compiles source string as a script. Returns Array of 2306ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // FunctionCompileInfo -- a descriptions of all functions of the script. 2316ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Elements of array are ordered by start positions of functions (from top 2326ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // to bottom) in the source. Fields outer_index and next_sibling_index help 2336ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // to navigate the nesting structure of functions. 2346ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // 2356ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // All functions get compiled linked to script provided as parameter script. 2366ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // TODO(LiveEdit): consider not using actual scripts as script, because 237f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch // we have to manually erase all links right after compile. 2386ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function GatherCompileInfo(source, script) { 2396ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Get function info, elements are partially sorted (it is a tree of 2406ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // nested functions serialized as parent followed by serialized children. 2416ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var raw_compile_info = %LiveEditGatherCompileInfo(script, source); 2426ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 2436ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Sort function infos by start position field. 2446ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var compile_info = new Array(); 2456ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var old_index_map = new Array(); 2466ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < raw_compile_info.length; i++) { 2476ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var info = new FunctionCompileInfo(raw_compile_info[i]); 2486ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Remove all links to the actual script. Breakpoints system and 2496ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // LiveEdit itself believe that any function in heap that points to a 2506ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // particular script is a regular function. 2516ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // For some functions we will restore this link later. 2526ded16be15dd865a9b21ea304d5273c8be299c87Steve Block %LiveEditFunctionSetScript(info.shared_function_info, void 0); 2536ded16be15dd865a9b21ea304d5273c8be299c87Steve Block compile_info.push(info); 2546ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_index_map.push(i); 2556ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 2566ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 2576ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < compile_info.length; i++) { 2586ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var k = i; 2596ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var j = i + 1; j < compile_info.length; j++) { 2606ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (compile_info[k].start_position > compile_info[j].start_position) { 2616ded16be15dd865a9b21ea304d5273c8be299c87Steve Block k = j; 2626ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 2636ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 2646ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (k != i) { 2656ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var temp_info = compile_info[k]; 2666ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var temp_index = old_index_map[k]; 2676ded16be15dd865a9b21ea304d5273c8be299c87Steve Block compile_info[k] = compile_info[i]; 2686ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_index_map[k] = old_index_map[i]; 2696ded16be15dd865a9b21ea304d5273c8be299c87Steve Block compile_info[i] = temp_info; 2706ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_index_map[i] = temp_index; 2716ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 2726ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 2736ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 2746ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // After sorting update outer_inder field using old_index_map. Also 2756ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // set next_sibling_index field. 2766ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var current_index = 0; 2776ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 2786ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // The recursive function, that goes over all children of a particular 2796ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // node (i.e. function info). 2806ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function ResetIndexes(new_parent_index, old_parent_index) { 2816ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var previous_sibling = -1; 2826ded16be15dd865a9b21ea304d5273c8be299c87Steve Block while (current_index < compile_info.length && 2836ded16be15dd865a9b21ea304d5273c8be299c87Steve Block compile_info[current_index].outer_index == old_parent_index) { 2846ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var saved_index = current_index; 2856ded16be15dd865a9b21ea304d5273c8be299c87Steve Block compile_info[saved_index].outer_index = new_parent_index; 2866ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (previous_sibling != -1) { 2876ded16be15dd865a9b21ea304d5273c8be299c87Steve Block compile_info[previous_sibling].next_sibling_index = saved_index; 2886ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 2896ded16be15dd865a9b21ea304d5273c8be299c87Steve Block previous_sibling = saved_index; 2906ded16be15dd865a9b21ea304d5273c8be299c87Steve Block current_index++; 2916ded16be15dd865a9b21ea304d5273c8be299c87Steve Block ResetIndexes(saved_index, old_index_map[saved_index]); 2926ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 2936ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (previous_sibling != -1) { 2946ded16be15dd865a9b21ea304d5273c8be299c87Steve Block compile_info[previous_sibling].next_sibling_index = -1; 2956ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 2966ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 2976ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 2986ded16be15dd865a9b21ea304d5273c8be299c87Steve Block ResetIndexes(-1, -1); 2996ded16be15dd865a9b21ea304d5273c8be299c87Steve Block Assert(current_index == compile_info.length); 3006ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 3016ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return compile_info; 3026ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 3036ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 304f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 3056ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Replaces function's Code. 3066ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function PatchFunctionCode(old_node, change_log) { 3076ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var new_info = old_node.corresponding_node.info; 308b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch if (old_node.live_shared_function_infos) { 309b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch old_node.live_shared_function_infos.forEach(function (old_info) { 310b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch %LiveEditReplaceFunctionCode(new_info.raw_array, 311b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch old_info.raw_array); 312b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch 313b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch // The function got a new code. However, this new code brings all new 314b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch // instances of SharedFunctionInfo for nested functions. However, 315b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch // we want the original instances to be used wherever possible. 316b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch // (This is because old instances and new instances will be both 317b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch // linked to a script and breakpoints subsystem does not really 318b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch // expects this; neither does LiveEdit subsystem on next call). 319b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch for (var i = 0; i < old_node.children.length; i++) { 320b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch if (old_node.children[i].corresponding_node) { 321b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch var corresponding_child_info = 322b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch old_node.children[i].corresponding_node.info. 323b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch shared_function_info; 324b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch 325b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch if (old_node.children[i].live_shared_function_infos) { 326b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch old_node.children[i].live_shared_function_infos. 327b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch forEach(function (old_child_info) { 328b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch %LiveEditReplaceRefToNestedFunction(old_info.info, 329b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch corresponding_child_info, 330b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch old_child_info.info); 331b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch }); 332b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch } 3336ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 3346ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 335b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch }); 336f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 3376ded16be15dd865a9b21ea304d5273c8be299c87Steve Block change_log.push( {function_patched: new_info.function_name} ); 3386ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else { 3396ded16be15dd865a9b21ea304d5273c8be299c87Steve Block change_log.push( {function_patched: new_info.function_name, 3406ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function_info_not_found: true} ); 3416ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 3426ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 3436ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 344f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 3456ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Makes a function associated with another instance of a script (the 3466ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // one representing its old version). This way the function still 3476ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // may access its own text. 3486ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function LinkToOldScript(old_info_node, old_script, report_array) { 349b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch if (old_info_node.live_shared_function_infos) { 350b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch old_info_node.live_shared_function_infos. 351b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch forEach(function (info) { 352b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch %LiveEditFunctionSetScript(info.info, old_script); 353b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch }); 354b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch 355b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch report_array.push( { name: old_info_node.info.function_name } ); 3566ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else { 3576ded16be15dd865a9b21ea304d5273c8be299c87Steve Block report_array.push( 3586ded16be15dd865a9b21ea304d5273c8be299c87Steve Block { name: old_info_node.info.function_name, not_found: true } ); 3596ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 3606ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 361f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 3626ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 3636ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Returns function that restores breakpoints. 3646ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function TemporaryRemoveBreakPoints(original_script, change_log) { 3656ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var script_break_points = GetScriptBreakPoints(original_script); 366f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 3676ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var break_points_update_report = []; 3686ded16be15dd865a9b21ea304d5273c8be299c87Steve Block change_log.push( { break_points_update: break_points_update_report } ); 3696ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 3706ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var break_point_old_positions = []; 3716ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < script_break_points.length; i++) { 3726ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var break_point = script_break_points[i]; 3736ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 3746ded16be15dd865a9b21ea304d5273c8be299c87Steve Block break_point.clear(); 375f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 376f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch // TODO(LiveEdit): be careful with resource offset here. 3776ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var break_point_position = Debug.findScriptSourcePosition(original_script, 3786ded16be15dd865a9b21ea304d5273c8be299c87Steve Block break_point.line(), break_point.column()); 379f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 3806ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var old_position_description = { 3816ded16be15dd865a9b21ea304d5273c8be299c87Steve Block position: break_point_position, 3826ded16be15dd865a9b21ea304d5273c8be299c87Steve Block line: break_point.line(), 3836ded16be15dd865a9b21ea304d5273c8be299c87Steve Block column: break_point.column() 3846ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 3856ded16be15dd865a9b21ea304d5273c8be299c87Steve Block break_point_old_positions.push(old_position_description); 3866ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 387f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 388f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 3896ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Restores breakpoints and creates their copies in the "old" copy of 3906ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // the script. 3916ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return function (pos_translator, old_script_copy_opt) { 3926ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Update breakpoints (change positions and restore them in old version 3936ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // of script. 3946ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < script_break_points.length; i++) { 3956ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var break_point = script_break_points[i]; 3966ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (old_script_copy_opt) { 3976ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var clone = break_point.cloneForOtherScript(old_script_copy_opt); 3986ded16be15dd865a9b21ea304d5273c8be299c87Steve Block clone.set(old_script_copy_opt); 399f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 4006ded16be15dd865a9b21ea304d5273c8be299c87Steve Block break_points_update_report.push( { 4016ded16be15dd865a9b21ea304d5273c8be299c87Steve Block type: "copied_to_old", 4026ded16be15dd865a9b21ea304d5273c8be299c87Steve Block id: break_point.number(), 403f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch new_id: clone.number(), 4046ded16be15dd865a9b21ea304d5273c8be299c87Steve Block positions: break_point_old_positions[i] 4056ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } ); 4066ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 407f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 4086ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var updated_position = pos_translator.Translate( 4096ded16be15dd865a9b21ea304d5273c8be299c87Steve Block break_point_old_positions[i].position, 4106ded16be15dd865a9b21ea304d5273c8be299c87Steve Block PosTranslator.ShiftWithTopInsideChunkHandler); 411f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 4126ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var new_location = 4136ded16be15dd865a9b21ea304d5273c8be299c87Steve Block original_script.locationFromPosition(updated_position, false); 4146ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 4156ded16be15dd865a9b21ea304d5273c8be299c87Steve Block break_point.update_positions(new_location.line, new_location.column); 4166ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 4176ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var new_position_description = { 4186ded16be15dd865a9b21ea304d5273c8be299c87Steve Block position: updated_position, 4196ded16be15dd865a9b21ea304d5273c8be299c87Steve Block line: new_location.line, 4206ded16be15dd865a9b21ea304d5273c8be299c87Steve Block column: new_location.column 4216ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 422f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 4236ded16be15dd865a9b21ea304d5273c8be299c87Steve Block break_point.set(original_script); 424f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 4256ded16be15dd865a9b21ea304d5273c8be299c87Steve Block break_points_update_report.push( { type: "position_changed", 4266ded16be15dd865a9b21ea304d5273c8be299c87Steve Block id: break_point.number(), 4276ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_positions: break_point_old_positions[i], 4286ded16be15dd865a9b21ea304d5273c8be299c87Steve Block new_positions: new_position_description 4296ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } ); 4306ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 4316ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 4326ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 4336ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 434f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 4356ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function Assert(condition, message) { 4366ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (!condition) { 4376ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (message) { 4386ded16be15dd865a9b21ea304d5273c8be299c87Steve Block throw "Assert " + message; 4396ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else { 4406ded16be15dd865a9b21ea304d5273c8be299c87Steve Block throw "Assert"; 4416ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 4426ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 4436ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 4446ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 4456ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function DiffChunk(pos1, pos2, len1, len2) { 4466ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.pos1 = pos1; 4476ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.pos2 = pos2; 4486ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.len1 = len1; 4496ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.len2 = len2; 4506ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 451f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 4526ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function PosTranslator(diff_array) { 4536ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var chunks = new Array(); 4546ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var current_diff = 0; 4556ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < diff_array.length; i += 3) { 4566ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var pos1_begin = diff_array[i]; 4576ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var pos2_begin = pos1_begin + current_diff; 4586ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var pos1_end = diff_array[i + 1]; 4596ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var pos2_end = diff_array[i + 2]; 4606ded16be15dd865a9b21ea304d5273c8be299c87Steve Block chunks.push(new DiffChunk(pos1_begin, pos2_begin, pos1_end - pos1_begin, 4616ded16be15dd865a9b21ea304d5273c8be299c87Steve Block pos2_end - pos2_begin)); 462f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch current_diff = pos2_end - pos1_end; 4636ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 4646ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.chunks = chunks; 4656ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 4666ded16be15dd865a9b21ea304d5273c8be299c87Steve Block PosTranslator.prototype.GetChunks = function() { 4676ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return this.chunks; 4686ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 469f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 4706ded16be15dd865a9b21ea304d5273c8be299c87Steve Block PosTranslator.prototype.Translate = function(pos, inside_chunk_handler) { 471f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch var array = this.chunks; 4726ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (array.length == 0 || pos < array[0].pos1) { 4736ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return pos; 4746ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 4756ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var chunk_index1 = 0; 4766ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var chunk_index2 = array.length - 1; 4776ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 4786ded16be15dd865a9b21ea304d5273c8be299c87Steve Block while (chunk_index1 < chunk_index2) { 4796ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var middle_index = Math.floor((chunk_index1 + chunk_index2) / 2); 4806ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (pos < array[middle_index + 1].pos1) { 4816ded16be15dd865a9b21ea304d5273c8be299c87Steve Block chunk_index2 = middle_index; 4826ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else { 4836ded16be15dd865a9b21ea304d5273c8be299c87Steve Block chunk_index1 = middle_index + 1; 4846ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 4856ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 4866ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var chunk = array[chunk_index1]; 4876ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (pos >= chunk.pos1 + chunk.len1) { 488f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch return pos + chunk.pos2 + chunk.len2 - chunk.pos1 - chunk.len1; 4896ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 490f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 4916ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (!inside_chunk_handler) { 4926ded16be15dd865a9b21ea304d5273c8be299c87Steve Block inside_chunk_handler = PosTranslator.DefaultInsideChunkHandler; 4936ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 4946ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return inside_chunk_handler(pos, chunk); 4956ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 4966ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 4976ded16be15dd865a9b21ea304d5273c8be299c87Steve Block PosTranslator.DefaultInsideChunkHandler = function(pos, diff_chunk) { 4986ded16be15dd865a9b21ea304d5273c8be299c87Steve Block Assert(false, "Cannot translate position in changed area"); 4996ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 500f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 5016ded16be15dd865a9b21ea304d5273c8be299c87Steve Block PosTranslator.ShiftWithTopInsideChunkHandler = 5026ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function(pos, diff_chunk) { 5036ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // We carelessly do not check whether we stay inside the chunk after 5046ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // translation. 505f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch return pos - diff_chunk.pos1 + diff_chunk.pos2; 5066ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 507f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 5086ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var FunctionStatus = { 5096ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // No change to function or its inner functions; however its positions 510f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch // in script may have been shifted. 5116ded16be15dd865a9b21ea304d5273c8be299c87Steve Block UNCHANGED: "unchanged", 5126ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // The code of a function remains unchanged, but something happened inside 5136ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // some inner functions. 5146ded16be15dd865a9b21ea304d5273c8be299c87Steve Block SOURCE_CHANGED: "source changed", 5156ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // The code of a function is changed or some nested function cannot be 5166ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // properly patched so this function must be recompiled. 5176ded16be15dd865a9b21ea304d5273c8be299c87Steve Block CHANGED: "changed", 5186ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Function is changed but cannot be patched. 5196ded16be15dd865a9b21ea304d5273c8be299c87Steve Block DAMAGED: "damaged" 5206ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 521f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 5226ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function CodeInfoTreeNode(code_info, children, array_index) { 5236ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.info = code_info; 5246ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.children = children; 5256ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // an index in array of compile_info 526f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch this.array_index = array_index; 5276ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.parent = void 0; 528f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 5296ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.status = FunctionStatus.UNCHANGED; 5306ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Status explanation is used for debugging purposes and will be shown 5316ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // in user UI if some explanations are needed. 5326ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.status_explanation = void 0; 5336ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.new_start_pos = void 0; 5346ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.new_end_pos = void 0; 5356ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.corresponding_node = void 0; 5366ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.unmatched_new_nodes = void 0; 537f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 5388defd9ff6930b4e24729971a61cf7469daf119beSteve Block // 'Textual' correspondence/matching is weaker than 'pure' 5398defd9ff6930b4e24729971a61cf7469daf119beSteve Block // correspondence/matching. We need 'textual' level for visual presentation 5408defd9ff6930b4e24729971a61cf7469daf119beSteve Block // in UI, we use 'pure' level for actual code manipulation. 5418defd9ff6930b4e24729971a61cf7469daf119beSteve Block // Sometimes only function body is changed (functions in old and new script 5428defd9ff6930b4e24729971a61cf7469daf119beSteve Block // textually correspond), but we cannot patch the code, so we see them 543f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch // as an old function deleted and new function created. 5448defd9ff6930b4e24729971a61cf7469daf119beSteve Block this.textual_corresponding_node = void 0; 5458defd9ff6930b4e24729971a61cf7469daf119beSteve Block this.textually_unmatched_new_nodes = void 0; 546f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 547b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch this.live_shared_function_infos = void 0; 5486ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 549f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 5506ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // From array of function infos that is implicitly a tree creates 5516ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // an actual tree of functions in script. 5526ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function BuildCodeInfoTree(code_info_array) { 5536ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Throughtout all function we iterate over input array. 5546ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var index = 0; 5556ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 556f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch // Recursive function that builds a branch of tree. 5576ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function BuildNode() { 5586ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var my_index = index; 5596ded16be15dd865a9b21ea304d5273c8be299c87Steve Block index++; 5606ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var child_array = new Array(); 5616ded16be15dd865a9b21ea304d5273c8be299c87Steve Block while (index < code_info_array.length && 5626ded16be15dd865a9b21ea304d5273c8be299c87Steve Block code_info_array[index].outer_index == my_index) { 5636ded16be15dd865a9b21ea304d5273c8be299c87Steve Block child_array.push(BuildNode()); 5646ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 5656ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var node = new CodeInfoTreeNode(code_info_array[my_index], child_array, 5666ded16be15dd865a9b21ea304d5273c8be299c87Steve Block my_index); 5676ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < child_array.length; i++) { 5686ded16be15dd865a9b21ea304d5273c8be299c87Steve Block child_array[i].parent = node; 5696ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 5706ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return node; 5716ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 572f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 5736ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var root = BuildNode(); 5746ded16be15dd865a9b21ea304d5273c8be299c87Steve Block Assert(index == code_info_array.length); 5756ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return root; 5766ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 5776ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 5786ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Applies a list of the textual diff chunks onto the tree of functions. 5796ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Determines status of each function (from unchanged to damaged). However 5806ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // children of unchanged functions are ignored. 5816ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function MarkChangedFunctions(code_info_tree, chunks) { 5826ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 5836ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // A convenient interator over diff chunks that also translates 5846ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // positions from old to new in a current non-changed part of script. 5856ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var chunk_it = new function() { 5866ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var chunk_index = 0; 5876ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var pos_diff = 0; 5886ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.current = function() { return chunks[chunk_index]; } 5896ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.next = function() { 5906ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var chunk = chunks[chunk_index]; 591f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch pos_diff = chunk.pos2 + chunk.len2 - (chunk.pos1 + chunk.len1); 5926ded16be15dd865a9b21ea304d5273c8be299c87Steve Block chunk_index++; 5936ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 5946ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.done = function() { return chunk_index >= chunks.length; } 5956ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.TranslatePos = function(pos) { return pos + pos_diff; } 5966ded16be15dd865a9b21ea304d5273c8be299c87Steve Block }; 5976ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 5986ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // A recursive function that processes internals of a function and all its 5996ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // inner functions. Iterator chunk_it initially points to a chunk that is 6006ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // below function start. 6016ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function ProcessInternals(info_node) { 6026ded16be15dd865a9b21ea304d5273c8be299c87Steve Block info_node.new_start_pos = chunk_it.TranslatePos( 603f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch info_node.info.start_position); 6046ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var child_index = 0; 6056ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var code_changed = false; 6066ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var source_changed = false; 6076ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Simultaneously iterates over child functions and over chunks. 6086ded16be15dd865a9b21ea304d5273c8be299c87Steve Block while (!chunk_it.done() && 6096ded16be15dd865a9b21ea304d5273c8be299c87Steve Block chunk_it.current().pos1 < info_node.info.end_position) { 6106ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (child_index < info_node.children.length) { 6116ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var child = info_node.children[child_index]; 612f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 6136ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (child.info.end_position <= chunk_it.current().pos1) { 6146ded16be15dd865a9b21ea304d5273c8be299c87Steve Block ProcessUnchangedChild(child); 6156ded16be15dd865a9b21ea304d5273c8be299c87Steve Block child_index++; 6166ded16be15dd865a9b21ea304d5273c8be299c87Steve Block continue; 6176ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else if (child.info.start_position >= 6186ded16be15dd865a9b21ea304d5273c8be299c87Steve Block chunk_it.current().pos1 + chunk_it.current().len1) { 6196ded16be15dd865a9b21ea304d5273c8be299c87Steve Block code_changed = true; 6206ded16be15dd865a9b21ea304d5273c8be299c87Steve Block chunk_it.next(); 6216ded16be15dd865a9b21ea304d5273c8be299c87Steve Block continue; 6226ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else if (child.info.start_position <= chunk_it.current().pos1 && 6236ded16be15dd865a9b21ea304d5273c8be299c87Steve Block child.info.end_position >= chunk_it.current().pos1 + 6246ded16be15dd865a9b21ea304d5273c8be299c87Steve Block chunk_it.current().len1) { 6256ded16be15dd865a9b21ea304d5273c8be299c87Steve Block ProcessInternals(child); 6266ded16be15dd865a9b21ea304d5273c8be299c87Steve Block source_changed = source_changed || 6276ded16be15dd865a9b21ea304d5273c8be299c87Steve Block ( child.status != FunctionStatus.UNCHANGED ); 6286ded16be15dd865a9b21ea304d5273c8be299c87Steve Block code_changed = code_changed || 6296ded16be15dd865a9b21ea304d5273c8be299c87Steve Block ( child.status == FunctionStatus.DAMAGED ); 6306ded16be15dd865a9b21ea304d5273c8be299c87Steve Block child_index++; 6316ded16be15dd865a9b21ea304d5273c8be299c87Steve Block continue; 6326ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else { 6336ded16be15dd865a9b21ea304d5273c8be299c87Steve Block code_changed = true; 6346ded16be15dd865a9b21ea304d5273c8be299c87Steve Block child.status = FunctionStatus.DAMAGED; 6356ded16be15dd865a9b21ea304d5273c8be299c87Steve Block child.status_explanation = 6366ded16be15dd865a9b21ea304d5273c8be299c87Steve Block "Text diff overlaps with function boundary"; 6376ded16be15dd865a9b21ea304d5273c8be299c87Steve Block child_index++; 6386ded16be15dd865a9b21ea304d5273c8be299c87Steve Block continue; 6396ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 6406ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else { 641f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch if (chunk_it.current().pos1 + chunk_it.current().len1 <= 6426ded16be15dd865a9b21ea304d5273c8be299c87Steve Block info_node.info.end_position) { 6436ded16be15dd865a9b21ea304d5273c8be299c87Steve Block info_node.status = FunctionStatus.CHANGED; 6446ded16be15dd865a9b21ea304d5273c8be299c87Steve Block chunk_it.next(); 6456ded16be15dd865a9b21ea304d5273c8be299c87Steve Block continue; 6466ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else { 6476ded16be15dd865a9b21ea304d5273c8be299c87Steve Block info_node.status = FunctionStatus.DAMAGED; 6486ded16be15dd865a9b21ea304d5273c8be299c87Steve Block info_node.status_explanation = 6496ded16be15dd865a9b21ea304d5273c8be299c87Steve Block "Text diff overlaps with function boundary"; 6506ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return; 6516ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 6526ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 6536ded16be15dd865a9b21ea304d5273c8be299c87Steve Block Assert("Unreachable", false); 6546ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 6556ded16be15dd865a9b21ea304d5273c8be299c87Steve Block while (child_index < info_node.children.length) { 6566ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var child = info_node.children[child_index]; 6576ded16be15dd865a9b21ea304d5273c8be299c87Steve Block ProcessUnchangedChild(child); 6586ded16be15dd865a9b21ea304d5273c8be299c87Steve Block child_index++; 6596ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 6606ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (code_changed) { 6616ded16be15dd865a9b21ea304d5273c8be299c87Steve Block info_node.status = FunctionStatus.CHANGED; 6626ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else if (source_changed) { 6636ded16be15dd865a9b21ea304d5273c8be299c87Steve Block info_node.status = FunctionStatus.SOURCE_CHANGED; 6646ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 6656ded16be15dd865a9b21ea304d5273c8be299c87Steve Block info_node.new_end_pos = 666f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch chunk_it.TranslatePos(info_node.info.end_position); 6676ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 668f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 6696ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function ProcessUnchangedChild(node) { 6706ded16be15dd865a9b21ea304d5273c8be299c87Steve Block node.new_start_pos = chunk_it.TranslatePos(node.info.start_position); 6716ded16be15dd865a9b21ea304d5273c8be299c87Steve Block node.new_end_pos = chunk_it.TranslatePos(node.info.end_position); 6726ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 673f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 6746ded16be15dd865a9b21ea304d5273c8be299c87Steve Block ProcessInternals(code_info_tree); 6756ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 6766ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 6776ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // For ecah old function (if it is not damaged) tries to find a corresponding 6786ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // function in new script. Typically it should succeed (non-damaged functions 6796ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // by definition may only have changes inside their bodies). However there are 6806ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // reasons for corresponence not to be found; function with unmodified text 6816ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // in new script may become enclosed into other function; the innocent change 6826ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // inside function body may in fact be something like "} function B() {" that 6836ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // splits a function into 2 functions. 6846ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function FindCorrespondingFunctions(old_code_tree, new_code_tree) { 6856ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 6866ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // A recursive function that tries to find a correspondence for all 6876ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // child functions and for their inner functions. 6886ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function ProcessChildren(old_node, new_node) { 6896ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var old_children = old_node.children; 6906ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var new_children = new_node.children; 691f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 6926ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var unmatched_new_nodes_list = []; 6938defd9ff6930b4e24729971a61cf7469daf119beSteve Block var textually_unmatched_new_nodes_list = []; 6946ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 6956ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var old_index = 0; 6966ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var new_index = 0; 6976ded16be15dd865a9b21ea304d5273c8be299c87Steve Block while (old_index < old_children.length) { 6986ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (old_children[old_index].status == FunctionStatus.DAMAGED) { 6996ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_index++; 7006ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else if (new_index < new_children.length) { 7016ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (new_children[new_index].info.start_position < 7026ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_children[old_index].new_start_pos) { 7036ded16be15dd865a9b21ea304d5273c8be299c87Steve Block unmatched_new_nodes_list.push(new_children[new_index]); 7048defd9ff6930b4e24729971a61cf7469daf119beSteve Block textually_unmatched_new_nodes_list.push(new_children[new_index]); 7056ded16be15dd865a9b21ea304d5273c8be299c87Steve Block new_index++; 7066ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else if (new_children[new_index].info.start_position == 7076ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_children[old_index].new_start_pos) { 7086ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (new_children[new_index].info.end_position == 7096ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_children[old_index].new_end_pos) { 7106ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_children[old_index].corresponding_node = 7116ded16be15dd865a9b21ea304d5273c8be299c87Steve Block new_children[new_index]; 7128defd9ff6930b4e24729971a61cf7469daf119beSteve Block old_children[old_index].textual_corresponding_node = 7138defd9ff6930b4e24729971a61cf7469daf119beSteve Block new_children[new_index]; 7146ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (old_children[old_index].status != FunctionStatus.UNCHANGED) { 7156ded16be15dd865a9b21ea304d5273c8be299c87Steve Block ProcessChildren(old_children[old_index], 7166ded16be15dd865a9b21ea304d5273c8be299c87Steve Block new_children[new_index]); 7176ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (old_children[old_index].status == FunctionStatus.DAMAGED) { 7186ded16be15dd865a9b21ea304d5273c8be299c87Steve Block unmatched_new_nodes_list.push( 7196ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_children[old_index].corresponding_node); 7206ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_children[old_index].corresponding_node = void 0; 7216ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_node.status = FunctionStatus.CHANGED; 7226ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 7236ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 7246ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else { 7256ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_children[old_index].status = FunctionStatus.DAMAGED; 7266ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_children[old_index].status_explanation = 7276ded16be15dd865a9b21ea304d5273c8be299c87Steve Block "No corresponding function in new script found"; 7286ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_node.status = FunctionStatus.CHANGED; 7296ded16be15dd865a9b21ea304d5273c8be299c87Steve Block unmatched_new_nodes_list.push(new_children[new_index]); 7308defd9ff6930b4e24729971a61cf7469daf119beSteve Block textually_unmatched_new_nodes_list.push(new_children[new_index]); 7316ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 7326ded16be15dd865a9b21ea304d5273c8be299c87Steve Block new_index++; 7336ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_index++; 7346ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else { 7356ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_children[old_index].status = FunctionStatus.DAMAGED; 7366ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_children[old_index].status_explanation = 7376ded16be15dd865a9b21ea304d5273c8be299c87Steve Block "No corresponding function in new script found"; 7386ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_node.status = FunctionStatus.CHANGED; 7396ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_index++; 7406ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 7416ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else { 7426ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_children[old_index].status = FunctionStatus.DAMAGED; 7436ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_children[old_index].status_explanation = 7446ded16be15dd865a9b21ea304d5273c8be299c87Steve Block "No corresponding function in new script found"; 7456ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_node.status = FunctionStatus.CHANGED; 7466ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_index++; 7476ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 7486ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 749f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 7506ded16be15dd865a9b21ea304d5273c8be299c87Steve Block while (new_index < new_children.length) { 7516ded16be15dd865a9b21ea304d5273c8be299c87Steve Block unmatched_new_nodes_list.push(new_children[new_index]); 7528defd9ff6930b4e24729971a61cf7469daf119beSteve Block textually_unmatched_new_nodes_list.push(new_children[new_index]); 7536ded16be15dd865a9b21ea304d5273c8be299c87Steve Block new_index++; 7546ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 755f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 7566ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (old_node.status == FunctionStatus.CHANGED) { 7578defd9ff6930b4e24729971a61cf7469daf119beSteve Block var why_wrong_expectations = 7588defd9ff6930b4e24729971a61cf7469daf119beSteve Block WhyFunctionExpectationsDiffer(old_node.info, new_node.info); 7598defd9ff6930b4e24729971a61cf7469daf119beSteve Block if (why_wrong_expectations) { 7606ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_node.status = FunctionStatus.DAMAGED; 7618defd9ff6930b4e24729971a61cf7469daf119beSteve Block old_node.status_explanation = why_wrong_expectations; 7626ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 7636ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 7646ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_node.unmatched_new_nodes = unmatched_new_nodes_list; 7658defd9ff6930b4e24729971a61cf7469daf119beSteve Block old_node.textually_unmatched_new_nodes = 7668defd9ff6930b4e24729971a61cf7469daf119beSteve Block textually_unmatched_new_nodes_list; 7676ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 7686ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 7696ded16be15dd865a9b21ea304d5273c8be299c87Steve Block ProcessChildren(old_code_tree, new_code_tree); 770f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 7716ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_code_tree.corresponding_node = new_code_tree; 7728defd9ff6930b4e24729971a61cf7469daf119beSteve Block old_code_tree.textual_corresponding_node = new_code_tree; 7738defd9ff6930b4e24729971a61cf7469daf119beSteve Block 7746ded16be15dd865a9b21ea304d5273c8be299c87Steve Block Assert(old_code_tree.status != FunctionStatus.DAMAGED, 7756ded16be15dd865a9b21ea304d5273c8be299c87Steve Block "Script became damaged"); 7766ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 777f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 7786ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function FindLiveSharedInfos(old_code_tree, script) { 7796ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var shared_raw_list = %LiveEditFindSharedFunctionInfosForScript(script); 780f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 7816ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var shared_infos = new Array(); 782f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 7836ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < shared_raw_list.length; i++) { 7846ded16be15dd865a9b21ea304d5273c8be299c87Steve Block shared_infos.push(new SharedInfoWrapper(shared_raw_list[i])); 7856ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 786f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 787b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch // Finds all SharedFunctionInfos that corresponds to compile info 7886ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // in old version of the script. 789b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch function FindFunctionInfos(compile_info) { 790b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch var wrappers = []; 791b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch 7926ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < shared_infos.length; i++) { 7936ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var wrapper = shared_infos[i]; 7946ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (wrapper.start_position == compile_info.start_position && 7956ded16be15dd865a9b21ea304d5273c8be299c87Steve Block wrapper.end_position == compile_info.end_position) { 796b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch wrappers.push(wrapper); 7976ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 7986ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 799b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch 800b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch if (wrappers.length > 0) { 801b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch return wrappers; 802b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch } 8036ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 804f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 8056ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function TraverseTree(node) { 806b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch node.live_shared_function_infos = FindFunctionInfos(node.info); 807b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch 8086ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < node.children.length; i++) { 8096ded16be15dd865a9b21ea304d5273c8be299c87Steve Block TraverseTree(node.children[i]); 8106ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 8116ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 8126ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 8136ded16be15dd865a9b21ea304d5273c8be299c87Steve Block TraverseTree(old_code_tree); 8146ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 8156ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 816f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 8176ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // An object describing function compilation details. Its index fields 8186ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // apply to indexes inside array that stores these objects. 8196ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function FunctionCompileInfo(raw_array) { 8206ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.function_name = raw_array[0]; 8216ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.start_position = raw_array[1]; 8226ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.end_position = raw_array[2]; 8236ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.param_num = raw_array[3]; 8246ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.code = raw_array[4]; 825756813857a4c2a4d8ad2e805969d5768d3cf43a0Iain Merrick this.code_scope_info = raw_array[5]; 826756813857a4c2a4d8ad2e805969d5768d3cf43a0Iain Merrick this.scope_info = raw_array[6]; 827756813857a4c2a4d8ad2e805969d5768d3cf43a0Iain Merrick this.outer_index = raw_array[7]; 828756813857a4c2a4d8ad2e805969d5768d3cf43a0Iain Merrick this.shared_function_info = raw_array[8]; 8296ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.next_sibling_index = null; 8306ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.raw_array = raw_array; 8316ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 832f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 8336ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function SharedInfoWrapper(raw_array) { 8346ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.function_name = raw_array[0]; 8356ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.start_position = raw_array[1]; 8366ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.end_position = raw_array[2]; 8376ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.info = raw_array[3]; 8386ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.raw_array = raw_array; 8396ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 8406ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 8416ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Changes positions (including all statments) in function. 8426ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function PatchPositions(old_info_node, diff_array, report_array) { 843b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch if (old_info_node.live_shared_function_infos) { 844b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch old_info_node.live_shared_function_infos.forEach(function (info) { 845b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch %LiveEditPatchFunctionPositions(info.raw_array, 846b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch diff_array); 847b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch }); 848b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch 849b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch report_array.push( { name: old_info_node.info.function_name } ); 850b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch } else { 8516ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // TODO(LiveEdit): function is not compiled yet or is already collected. 852f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch report_array.push( 8536ded16be15dd865a9b21ea304d5273c8be299c87Steve Block { name: old_info_node.info.function_name, info_not_found: true } ); 8546ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 8556ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 8566ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 8576ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Adds a suffix to script name to mark that it is old version. 8586ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function CreateNameForOldScript(script) { 8596ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // TODO(635): try better than this; support several changes. 8606ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return script.name + " (old)"; 8616ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 862f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 8636ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Compares a function interface old and new version, whether it 8648defd9ff6930b4e24729971a61cf7469daf119beSteve Block // changed or not. Returns explanation if they differ. 8658defd9ff6930b4e24729971a61cf7469daf119beSteve Block function WhyFunctionExpectationsDiffer(function_info1, function_info2) { 8666ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Check that function has the same number of parameters (there may exist 8676ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // an adapter, that won't survive function parameter number change). 8686ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (function_info1.param_num != function_info2.param_num) { 869f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch return "Changed parameter number: " + function_info1.param_num + 8708defd9ff6930b4e24729971a61cf7469daf119beSteve Block " and " + function_info2.param_num; 8716ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 8726ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var scope_info1 = function_info1.scope_info; 8736ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var scope_info2 = function_info2.scope_info; 8748defd9ff6930b4e24729971a61cf7469daf119beSteve Block 875f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch var scope_info1_text; 876f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch var scope_info2_text; 877f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 8788defd9ff6930b4e24729971a61cf7469daf119beSteve Block if (scope_info1) { 879f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch scope_info1_text = scope_info1.toString(); 8808defd9ff6930b4e24729971a61cf7469daf119beSteve Block } else { 8818defd9ff6930b4e24729971a61cf7469daf119beSteve Block scope_info1_text = ""; 8826ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 8838defd9ff6930b4e24729971a61cf7469daf119beSteve Block if (scope_info2) { 884f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch scope_info2_text = scope_info2.toString(); 8858defd9ff6930b4e24729971a61cf7469daf119beSteve Block } else { 8868defd9ff6930b4e24729971a61cf7469daf119beSteve Block scope_info2_text = ""; 8876ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 888f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 8898defd9ff6930b4e24729971a61cf7469daf119beSteve Block if (scope_info1_text != scope_info2_text) { 8908defd9ff6930b4e24729971a61cf7469daf119beSteve Block return "Incompatible variable maps: [" + scope_info1_text + 891f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch "] and [" + scope_info2_text + "]"; 8928defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 8938defd9ff6930b4e24729971a61cf7469daf119beSteve Block // No differences. Return undefined. 8948defd9ff6930b4e24729971a61cf7469daf119beSteve Block return; 8956ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 896f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 8976ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Minifier forward declaration. 8986ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var FunctionPatchabilityStatus; 899f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 9006ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // For array of wrapped shared function infos checks that none of them 9016ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // have activations on stack (of any thread). Throws a Failure exception 9026ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // if this proves to be false. 9036ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function CheckStackActivations(shared_wrapper_list, change_log) { 9046ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var shared_list = new Array(); 9056ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < shared_wrapper_list.length; i++) { 9066ded16be15dd865a9b21ea304d5273c8be299c87Steve Block shared_list[i] = shared_wrapper_list[i].info; 9076ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 9086ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var result = %LiveEditCheckAndDropActivations(shared_list, true); 9096ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (result[shared_list.length]) { 9106ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Extra array element may contain error message. 9116ded16be15dd865a9b21ea304d5273c8be299c87Steve Block throw new Failure(result[shared_list.length]); 9126ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 913f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 9146ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var problems = new Array(); 9156ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var dropped = new Array(); 9166ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < shared_list.length; i++) { 9176ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var shared = shared_wrapper_list[i]; 9186ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (result[i] == FunctionPatchabilityStatus.REPLACED_ON_ACTIVE_STACK) { 9196ded16be15dd865a9b21ea304d5273c8be299c87Steve Block dropped.push({ name: shared.function_name } ); 9206ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else if (result[i] != FunctionPatchabilityStatus.AVAILABLE_FOR_PATCH) { 9216ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var description = { 9226ded16be15dd865a9b21ea304d5273c8be299c87Steve Block name: shared.function_name, 923f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch start_pos: shared.start_position, 9246ded16be15dd865a9b21ea304d5273c8be299c87Steve Block end_pos: shared.end_position, 9256ded16be15dd865a9b21ea304d5273c8be299c87Steve Block replace_problem: 9266ded16be15dd865a9b21ea304d5273c8be299c87Steve Block FunctionPatchabilityStatus.SymbolName(result[i]) 9276ded16be15dd865a9b21ea304d5273c8be299c87Steve Block }; 9286ded16be15dd865a9b21ea304d5273c8be299c87Steve Block problems.push(description); 9296ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 9306ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 9316ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (dropped.length > 0) { 9326ded16be15dd865a9b21ea304d5273c8be299c87Steve Block change_log.push({ dropped_from_stack: dropped }); 9336ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 9346ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (problems.length > 0) { 9356ded16be15dd865a9b21ea304d5273c8be299c87Steve Block change_log.push( { functions_on_stack: problems } ); 9366ded16be15dd865a9b21ea304d5273c8be299c87Steve Block throw new Failure("Blocked by functions on stack"); 9376ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 938f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 9398defd9ff6930b4e24729971a61cf7469daf119beSteve Block return dropped.length; 9406ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 941f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 9426ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // A copy of the FunctionPatchabilityStatus enum from liveedit.h 9436ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var FunctionPatchabilityStatus = { 9446ded16be15dd865a9b21ea304d5273c8be299c87Steve Block AVAILABLE_FOR_PATCH: 1, 9456ded16be15dd865a9b21ea304d5273c8be299c87Steve Block BLOCKED_ON_ACTIVE_STACK: 2, 9466ded16be15dd865a9b21ea304d5273c8be299c87Steve Block BLOCKED_ON_OTHER_STACK: 3, 9476ded16be15dd865a9b21ea304d5273c8be299c87Steve Block BLOCKED_UNDER_NATIVE_CODE: 4, 9486ded16be15dd865a9b21ea304d5273c8be299c87Steve Block REPLACED_ON_ACTIVE_STACK: 5 9496ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 950f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 9516ded16be15dd865a9b21ea304d5273c8be299c87Steve Block FunctionPatchabilityStatus.SymbolName = function(code) { 9526ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var enum = FunctionPatchabilityStatus; 9536ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (name in enum) { 9546ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (enum[name] == code) { 9556ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return name; 9566ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 957f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch } 9586ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 959f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 960f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 9616ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // A logical failure in liveedit process. This means that change_log 9626ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // is valid and consistent description of what happened. 9636ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function Failure(message) { 9646ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.message = message; 9656ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 9666ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Function (constructor) is public. 9676ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.Failure = Failure; 968f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 9696ded16be15dd865a9b21ea304d5273c8be299c87Steve Block Failure.prototype.toString = function() { 9706ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return "LiveEdit Failure: " + this.message; 9716ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 972f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 9736ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // A testing entry. 9746ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function GetPcFromSourcePos(func, source_pos) { 9756ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return %GetFunctionCodePositionFromSource(func, source_pos); 9766ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 9776ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Function is public. 9786ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.GetPcFromSourcePos = GetPcFromSourcePos; 9796ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 9806ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // LiveEdit main entry point: changes a script text to a new string. 9818defd9ff6930b4e24729971a61cf7469daf119beSteve Block function SetScriptSource(script, new_source, preview_only, change_log) { 9826ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var old_source = script.source; 983b8e0da25ee8efac3bb05cd6b2730aafbd96119f4Ben Murdoch var diff = CompareStrings(old_source, new_source); 9848defd9ff6930b4e24729971a61cf7469daf119beSteve Block return ApplyPatchMultiChunk(script, diff, new_source, preview_only, 9858defd9ff6930b4e24729971a61cf7469daf119beSteve Block change_log); 9866ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 9876ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Function is public. 9886ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.SetScriptSource = SetScriptSource; 989f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 990b8e0da25ee8efac3bb05cd6b2730aafbd96119f4Ben Murdoch function CompareStrings(s1, s2) { 991b8e0da25ee8efac3bb05cd6b2730aafbd96119f4Ben Murdoch return %LiveEditCompareStrings(s1, s2); 9926ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 9936ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 9946ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Applies the change to the script. 9956ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // The change is always a substring (change_pos, change_pos + change_len) 9966ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // being replaced with a completely different string new_str. 9976ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // This API is a legacy and is obsolete. 9986ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // 9996ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // @param {Script} script that is being changed 10006ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // @param {Array} change_log a list that collects engineer-readable 10016ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // description of what happened. 10026ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function ApplySingleChunkPatch(script, change_pos, change_len, new_str, 10036ded16be15dd865a9b21ea304d5273c8be299c87Steve Block change_log) { 10046ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var old_source = script.source; 1005f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 10066ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Prepare new source string. 10076ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var new_source = old_source.substring(0, change_pos) + 10086ded16be15dd865a9b21ea304d5273c8be299c87Steve Block new_str + old_source.substring(change_pos + change_len); 1009f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 10106ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return ApplyPatchMultiChunk(script, 10116ded16be15dd865a9b21ea304d5273c8be299c87Steve Block [ change_pos, change_pos + change_len, change_pos + new_str.length], 10128defd9ff6930b4e24729971a61cf7469daf119beSteve Block new_source, false, change_log); 10138defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 1014f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 10158defd9ff6930b4e24729971a61cf7469daf119beSteve Block // Creates JSON description for a change tree. 10168defd9ff6930b4e24729971a61cf7469daf119beSteve Block function DescribeChangeTree(old_code_tree) { 1017f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 10188defd9ff6930b4e24729971a61cf7469daf119beSteve Block function ProcessOldNode(node) { 10198defd9ff6930b4e24729971a61cf7469daf119beSteve Block var child_infos = []; 10208defd9ff6930b4e24729971a61cf7469daf119beSteve Block for (var i = 0; i < node.children.length; i++) { 10218defd9ff6930b4e24729971a61cf7469daf119beSteve Block var child = node.children[i]; 10228defd9ff6930b4e24729971a61cf7469daf119beSteve Block if (child.status != FunctionStatus.UNCHANGED) { 10238defd9ff6930b4e24729971a61cf7469daf119beSteve Block child_infos.push(ProcessOldNode(child)); 10248defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 10258defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 10268defd9ff6930b4e24729971a61cf7469daf119beSteve Block var new_child_infos = []; 10278defd9ff6930b4e24729971a61cf7469daf119beSteve Block if (node.textually_unmatched_new_nodes) { 10288defd9ff6930b4e24729971a61cf7469daf119beSteve Block for (var i = 0; i < node.textually_unmatched_new_nodes.length; i++) { 10298defd9ff6930b4e24729971a61cf7469daf119beSteve Block var child = node.textually_unmatched_new_nodes[i]; 10308defd9ff6930b4e24729971a61cf7469daf119beSteve Block new_child_infos.push(ProcessNewNode(child)); 10318defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 10328defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 10338defd9ff6930b4e24729971a61cf7469daf119beSteve Block var res = { 10348defd9ff6930b4e24729971a61cf7469daf119beSteve Block name: node.info.function_name, 10358defd9ff6930b4e24729971a61cf7469daf119beSteve Block positions: DescribePositions(node), 10368defd9ff6930b4e24729971a61cf7469daf119beSteve Block status: node.status, 10378defd9ff6930b4e24729971a61cf7469daf119beSteve Block children: child_infos, 1038f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch new_children: new_child_infos 10398defd9ff6930b4e24729971a61cf7469daf119beSteve Block }; 10408defd9ff6930b4e24729971a61cf7469daf119beSteve Block if (node.status_explanation) { 10418defd9ff6930b4e24729971a61cf7469daf119beSteve Block res.status_explanation = node.status_explanation; 10428defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 10438defd9ff6930b4e24729971a61cf7469daf119beSteve Block if (node.textual_corresponding_node) { 10448defd9ff6930b4e24729971a61cf7469daf119beSteve Block res.new_positions = DescribePositions(node.textual_corresponding_node); 10458defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 10468defd9ff6930b4e24729971a61cf7469daf119beSteve Block return res; 10478defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 1048f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 10498defd9ff6930b4e24729971a61cf7469daf119beSteve Block function ProcessNewNode(node) { 10508defd9ff6930b4e24729971a61cf7469daf119beSteve Block var child_infos = []; 10518defd9ff6930b4e24729971a61cf7469daf119beSteve Block // Do not list ancestors. 10528defd9ff6930b4e24729971a61cf7469daf119beSteve Block if (false) { 10538defd9ff6930b4e24729971a61cf7469daf119beSteve Block for (var i = 0; i < node.children.length; i++) { 10548defd9ff6930b4e24729971a61cf7469daf119beSteve Block child_infos.push(ProcessNewNode(node.children[i])); 10558defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 10568defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 10578defd9ff6930b4e24729971a61cf7469daf119beSteve Block var res = { 10588defd9ff6930b4e24729971a61cf7469daf119beSteve Block name: node.info.function_name, 10598defd9ff6930b4e24729971a61cf7469daf119beSteve Block positions: DescribePositions(node), 10608defd9ff6930b4e24729971a61cf7469daf119beSteve Block children: child_infos, 10618defd9ff6930b4e24729971a61cf7469daf119beSteve Block }; 10628defd9ff6930b4e24729971a61cf7469daf119beSteve Block return res; 10638defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 1064f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 10658defd9ff6930b4e24729971a61cf7469daf119beSteve Block function DescribePositions(node) { 10668defd9ff6930b4e24729971a61cf7469daf119beSteve Block return { 10678defd9ff6930b4e24729971a61cf7469daf119beSteve Block start_position: node.info.start_position, 10688defd9ff6930b4e24729971a61cf7469daf119beSteve Block end_position: node.info.end_position 10698defd9ff6930b4e24729971a61cf7469daf119beSteve Block }; 10708defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 1071f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 10728defd9ff6930b4e24729971a61cf7469daf119beSteve Block return ProcessOldNode(old_code_tree); 10736ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 10746ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 1075f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 10766ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Functions are public for tests. 10776ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.TestApi = { 10786ded16be15dd865a9b21ea304d5273c8be299c87Steve Block PosTranslator: PosTranslator, 1079b8e0da25ee8efac3bb05cd6b2730aafbd96119f4Ben Murdoch CompareStrings: CompareStrings, 10806ded16be15dd865a9b21ea304d5273c8be299c87Steve Block ApplySingleChunkPatch: ApplySingleChunkPatch 10816ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 10826ded16be15dd865a9b21ea304d5273c8be299c87Steve Block} 1083