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) { 3283ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch %LiveEditReplaceRefToNestedFunction( 3293ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch old_info.info, 3303ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch corresponding_child_info, 3313ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch old_child_info.info); 332b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch }); 333b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch } 3346ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 3356ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 336b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch }); 337f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 3386ded16be15dd865a9b21ea304d5273c8be299c87Steve Block change_log.push( {function_patched: new_info.function_name} ); 3396ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else { 3406ded16be15dd865a9b21ea304d5273c8be299c87Steve Block change_log.push( {function_patched: new_info.function_name, 3416ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function_info_not_found: true} ); 3426ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 3436ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 3446ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 345f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 3466ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Makes a function associated with another instance of a script (the 3476ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // one representing its old version). This way the function still 3486ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // may access its own text. 3496ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function LinkToOldScript(old_info_node, old_script, report_array) { 350b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch if (old_info_node.live_shared_function_infos) { 351b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch old_info_node.live_shared_function_infos. 352b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch forEach(function (info) { 353b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch %LiveEditFunctionSetScript(info.info, old_script); 354b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch }); 355b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch 356b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch report_array.push( { name: old_info_node.info.function_name } ); 3576ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else { 3586ded16be15dd865a9b21ea304d5273c8be299c87Steve Block report_array.push( 3596ded16be15dd865a9b21ea304d5273c8be299c87Steve Block { name: old_info_node.info.function_name, not_found: true } ); 3606ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 3616ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 362f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 3636ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 3646ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Returns function that restores breakpoints. 3656ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function TemporaryRemoveBreakPoints(original_script, change_log) { 3666ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var script_break_points = GetScriptBreakPoints(original_script); 367f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 3686ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var break_points_update_report = []; 3696ded16be15dd865a9b21ea304d5273c8be299c87Steve Block change_log.push( { break_points_update: break_points_update_report } ); 3706ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 3716ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var break_point_old_positions = []; 3726ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < script_break_points.length; i++) { 3736ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var break_point = script_break_points[i]; 3746ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 3756ded16be15dd865a9b21ea304d5273c8be299c87Steve Block break_point.clear(); 376f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 377f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch // TODO(LiveEdit): be careful with resource offset here. 3786ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var break_point_position = Debug.findScriptSourcePosition(original_script, 3796ded16be15dd865a9b21ea304d5273c8be299c87Steve Block break_point.line(), break_point.column()); 380f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 3816ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var old_position_description = { 3826ded16be15dd865a9b21ea304d5273c8be299c87Steve Block position: break_point_position, 3836ded16be15dd865a9b21ea304d5273c8be299c87Steve Block line: break_point.line(), 3846ded16be15dd865a9b21ea304d5273c8be299c87Steve Block column: break_point.column() 3853ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch }; 3866ded16be15dd865a9b21ea304d5273c8be299c87Steve Block break_point_old_positions.push(old_position_description); 3876ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 388f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 389f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 3906ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Restores breakpoints and creates their copies in the "old" copy of 3916ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // the script. 3926ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return function (pos_translator, old_script_copy_opt) { 3936ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Update breakpoints (change positions and restore them in old version 3946ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // of script. 3956ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < script_break_points.length; i++) { 3966ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var break_point = script_break_points[i]; 3976ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (old_script_copy_opt) { 3986ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var clone = break_point.cloneForOtherScript(old_script_copy_opt); 3996ded16be15dd865a9b21ea304d5273c8be299c87Steve Block clone.set(old_script_copy_opt); 400f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 4016ded16be15dd865a9b21ea304d5273c8be299c87Steve Block break_points_update_report.push( { 4026ded16be15dd865a9b21ea304d5273c8be299c87Steve Block type: "copied_to_old", 4036ded16be15dd865a9b21ea304d5273c8be299c87Steve Block id: break_point.number(), 404f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch new_id: clone.number(), 4056ded16be15dd865a9b21ea304d5273c8be299c87Steve Block positions: break_point_old_positions[i] 4066ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } ); 4076ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 408f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 4096ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var updated_position = pos_translator.Translate( 4106ded16be15dd865a9b21ea304d5273c8be299c87Steve Block break_point_old_positions[i].position, 4116ded16be15dd865a9b21ea304d5273c8be299c87Steve Block PosTranslator.ShiftWithTopInsideChunkHandler); 412f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 4136ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var new_location = 4146ded16be15dd865a9b21ea304d5273c8be299c87Steve Block original_script.locationFromPosition(updated_position, false); 4156ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 4166ded16be15dd865a9b21ea304d5273c8be299c87Steve Block break_point.update_positions(new_location.line, new_location.column); 4176ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 4186ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var new_position_description = { 4196ded16be15dd865a9b21ea304d5273c8be299c87Steve Block position: updated_position, 4206ded16be15dd865a9b21ea304d5273c8be299c87Steve Block line: new_location.line, 4216ded16be15dd865a9b21ea304d5273c8be299c87Steve Block column: new_location.column 4223ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch }; 423f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 4246ded16be15dd865a9b21ea304d5273c8be299c87Steve Block break_point.set(original_script); 425f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 4266ded16be15dd865a9b21ea304d5273c8be299c87Steve Block break_points_update_report.push( { type: "position_changed", 4276ded16be15dd865a9b21ea304d5273c8be299c87Steve Block id: break_point.number(), 4286ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_positions: break_point_old_positions[i], 4296ded16be15dd865a9b21ea304d5273c8be299c87Steve Block new_positions: new_position_description 4306ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } ); 4316ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 4323ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch }; 4336ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 4346ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 435f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 4366ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function Assert(condition, message) { 4376ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (!condition) { 4386ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (message) { 4396ded16be15dd865a9b21ea304d5273c8be299c87Steve Block throw "Assert " + message; 4406ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else { 4416ded16be15dd865a9b21ea304d5273c8be299c87Steve Block throw "Assert"; 4426ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 4436ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 4446ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 4456ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 4466ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function DiffChunk(pos1, pos2, len1, len2) { 4476ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.pos1 = pos1; 4486ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.pos2 = pos2; 4496ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.len1 = len1; 4506ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.len2 = len2; 4516ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 452f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 4536ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function PosTranslator(diff_array) { 4546ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var chunks = new Array(); 4556ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var current_diff = 0; 4566ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < diff_array.length; i += 3) { 4576ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var pos1_begin = diff_array[i]; 4586ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var pos2_begin = pos1_begin + current_diff; 4596ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var pos1_end = diff_array[i + 1]; 4606ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var pos2_end = diff_array[i + 2]; 4616ded16be15dd865a9b21ea304d5273c8be299c87Steve Block chunks.push(new DiffChunk(pos1_begin, pos2_begin, pos1_end - pos1_begin, 4626ded16be15dd865a9b21ea304d5273c8be299c87Steve Block pos2_end - pos2_begin)); 463f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch current_diff = pos2_end - pos1_end; 4646ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 4656ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.chunks = chunks; 4666ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 4676ded16be15dd865a9b21ea304d5273c8be299c87Steve Block PosTranslator.prototype.GetChunks = function() { 4686ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return this.chunks; 4693ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch }; 470f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 4716ded16be15dd865a9b21ea304d5273c8be299c87Steve Block PosTranslator.prototype.Translate = function(pos, inside_chunk_handler) { 472f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch var array = this.chunks; 4736ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (array.length == 0 || pos < array[0].pos1) { 4746ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return pos; 4756ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 4766ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var chunk_index1 = 0; 4776ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var chunk_index2 = array.length - 1; 4786ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 4796ded16be15dd865a9b21ea304d5273c8be299c87Steve Block while (chunk_index1 < chunk_index2) { 4806ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var middle_index = Math.floor((chunk_index1 + chunk_index2) / 2); 4816ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (pos < array[middle_index + 1].pos1) { 4826ded16be15dd865a9b21ea304d5273c8be299c87Steve Block chunk_index2 = middle_index; 4836ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else { 4846ded16be15dd865a9b21ea304d5273c8be299c87Steve Block chunk_index1 = middle_index + 1; 4856ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 4866ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 4876ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var chunk = array[chunk_index1]; 4886ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (pos >= chunk.pos1 + chunk.len1) { 489f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch return pos + chunk.pos2 + chunk.len2 - chunk.pos1 - chunk.len1; 4906ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 491f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 4926ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (!inside_chunk_handler) { 4936ded16be15dd865a9b21ea304d5273c8be299c87Steve Block inside_chunk_handler = PosTranslator.DefaultInsideChunkHandler; 4946ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 4956ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return inside_chunk_handler(pos, chunk); 4963ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch }; 4976ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 4986ded16be15dd865a9b21ea304d5273c8be299c87Steve Block PosTranslator.DefaultInsideChunkHandler = function(pos, diff_chunk) { 4996ded16be15dd865a9b21ea304d5273c8be299c87Steve Block Assert(false, "Cannot translate position in changed area"); 5003ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch }; 501f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 5026ded16be15dd865a9b21ea304d5273c8be299c87Steve Block PosTranslator.ShiftWithTopInsideChunkHandler = 5036ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function(pos, diff_chunk) { 5046ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // We carelessly do not check whether we stay inside the chunk after 5056ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // translation. 506f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch return pos - diff_chunk.pos1 + diff_chunk.pos2; 5073ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch }; 508f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 5096ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var FunctionStatus = { 5106ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // No change to function or its inner functions; however its positions 511f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch // in script may have been shifted. 5126ded16be15dd865a9b21ea304d5273c8be299c87Steve Block UNCHANGED: "unchanged", 5136ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // The code of a function remains unchanged, but something happened inside 5146ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // some inner functions. 5156ded16be15dd865a9b21ea304d5273c8be299c87Steve Block SOURCE_CHANGED: "source changed", 5166ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // The code of a function is changed or some nested function cannot be 5176ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // properly patched so this function must be recompiled. 5186ded16be15dd865a9b21ea304d5273c8be299c87Steve Block CHANGED: "changed", 5196ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Function is changed but cannot be patched. 5206ded16be15dd865a9b21ea304d5273c8be299c87Steve Block DAMAGED: "damaged" 5213ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch }; 522f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 5236ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function CodeInfoTreeNode(code_info, children, array_index) { 5246ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.info = code_info; 5256ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.children = children; 5266ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // an index in array of compile_info 527f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch this.array_index = array_index; 5286ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.parent = void 0; 529f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 5306ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.status = FunctionStatus.UNCHANGED; 5316ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Status explanation is used for debugging purposes and will be shown 5326ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // in user UI if some explanations are needed. 5336ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.status_explanation = void 0; 5346ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.new_start_pos = void 0; 5356ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.new_end_pos = void 0; 5366ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.corresponding_node = void 0; 5376ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.unmatched_new_nodes = void 0; 538f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 5398defd9ff6930b4e24729971a61cf7469daf119beSteve Block // 'Textual' correspondence/matching is weaker than 'pure' 5408defd9ff6930b4e24729971a61cf7469daf119beSteve Block // correspondence/matching. We need 'textual' level for visual presentation 5418defd9ff6930b4e24729971a61cf7469daf119beSteve Block // in UI, we use 'pure' level for actual code manipulation. 5428defd9ff6930b4e24729971a61cf7469daf119beSteve Block // Sometimes only function body is changed (functions in old and new script 5438defd9ff6930b4e24729971a61cf7469daf119beSteve Block // textually correspond), but we cannot patch the code, so we see them 544f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch // as an old function deleted and new function created. 5458defd9ff6930b4e24729971a61cf7469daf119beSteve Block this.textual_corresponding_node = void 0; 5468defd9ff6930b4e24729971a61cf7469daf119beSteve Block this.textually_unmatched_new_nodes = void 0; 547f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 548b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch this.live_shared_function_infos = void 0; 5496ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 550f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 5516ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // From array of function infos that is implicitly a tree creates 5526ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // an actual tree of functions in script. 5536ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function BuildCodeInfoTree(code_info_array) { 5546ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Throughtout all function we iterate over input array. 5556ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var index = 0; 5566ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 557f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch // Recursive function that builds a branch of tree. 5586ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function BuildNode() { 5596ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var my_index = index; 5606ded16be15dd865a9b21ea304d5273c8be299c87Steve Block index++; 5616ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var child_array = new Array(); 5626ded16be15dd865a9b21ea304d5273c8be299c87Steve Block while (index < code_info_array.length && 5636ded16be15dd865a9b21ea304d5273c8be299c87Steve Block code_info_array[index].outer_index == my_index) { 5646ded16be15dd865a9b21ea304d5273c8be299c87Steve Block child_array.push(BuildNode()); 5656ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 5666ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var node = new CodeInfoTreeNode(code_info_array[my_index], child_array, 5676ded16be15dd865a9b21ea304d5273c8be299c87Steve Block my_index); 5686ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < child_array.length; i++) { 5696ded16be15dd865a9b21ea304d5273c8be299c87Steve Block child_array[i].parent = node; 5706ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 5716ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return node; 5726ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 573f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 5746ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var root = BuildNode(); 5756ded16be15dd865a9b21ea304d5273c8be299c87Steve Block Assert(index == code_info_array.length); 5766ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return root; 5776ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 5786ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 5796ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Applies a list of the textual diff chunks onto the tree of functions. 5806ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Determines status of each function (from unchanged to damaged). However 5816ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // children of unchanged functions are ignored. 5826ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function MarkChangedFunctions(code_info_tree, chunks) { 5836ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 5843ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch // A convenient iterator over diff chunks that also translates 5856ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // positions from old to new in a current non-changed part of script. 5866ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var chunk_it = new function() { 5876ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var chunk_index = 0; 5886ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var pos_diff = 0; 5893ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch this.current = function() { return chunks[chunk_index]; }; 5906ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.next = function() { 5916ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var chunk = chunks[chunk_index]; 592f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch pos_diff = chunk.pos2 + chunk.len2 - (chunk.pos1 + chunk.len1); 5936ded16be15dd865a9b21ea304d5273c8be299c87Steve Block chunk_index++; 5943ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch }; 5953ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch this.done = function() { return chunk_index >= chunks.length; }; 5963ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch this.TranslatePos = function(pos) { return pos + pos_diff; }; 5976ded16be15dd865a9b21ea304d5273c8be299c87Steve Block }; 5986ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 5996ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // A recursive function that processes internals of a function and all its 6006ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // inner functions. Iterator chunk_it initially points to a chunk that is 6016ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // below function start. 6026ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function ProcessInternals(info_node) { 6036ded16be15dd865a9b21ea304d5273c8be299c87Steve Block info_node.new_start_pos = chunk_it.TranslatePos( 604f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch info_node.info.start_position); 6056ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var child_index = 0; 6066ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var code_changed = false; 6076ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var source_changed = false; 6086ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Simultaneously iterates over child functions and over chunks. 6096ded16be15dd865a9b21ea304d5273c8be299c87Steve Block while (!chunk_it.done() && 6106ded16be15dd865a9b21ea304d5273c8be299c87Steve Block chunk_it.current().pos1 < info_node.info.end_position) { 6116ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (child_index < info_node.children.length) { 6126ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var child = info_node.children[child_index]; 613f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 6146ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (child.info.end_position <= chunk_it.current().pos1) { 6156ded16be15dd865a9b21ea304d5273c8be299c87Steve Block ProcessUnchangedChild(child); 6166ded16be15dd865a9b21ea304d5273c8be299c87Steve Block child_index++; 6176ded16be15dd865a9b21ea304d5273c8be299c87Steve Block continue; 6186ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else if (child.info.start_position >= 6196ded16be15dd865a9b21ea304d5273c8be299c87Steve Block chunk_it.current().pos1 + chunk_it.current().len1) { 6206ded16be15dd865a9b21ea304d5273c8be299c87Steve Block code_changed = true; 6216ded16be15dd865a9b21ea304d5273c8be299c87Steve Block chunk_it.next(); 6226ded16be15dd865a9b21ea304d5273c8be299c87Steve Block continue; 6236ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else if (child.info.start_position <= chunk_it.current().pos1 && 6246ded16be15dd865a9b21ea304d5273c8be299c87Steve Block child.info.end_position >= chunk_it.current().pos1 + 6256ded16be15dd865a9b21ea304d5273c8be299c87Steve Block chunk_it.current().len1) { 6266ded16be15dd865a9b21ea304d5273c8be299c87Steve Block ProcessInternals(child); 6276ded16be15dd865a9b21ea304d5273c8be299c87Steve Block source_changed = source_changed || 6286ded16be15dd865a9b21ea304d5273c8be299c87Steve Block ( child.status != FunctionStatus.UNCHANGED ); 6296ded16be15dd865a9b21ea304d5273c8be299c87Steve Block code_changed = code_changed || 6306ded16be15dd865a9b21ea304d5273c8be299c87Steve Block ( child.status == FunctionStatus.DAMAGED ); 6316ded16be15dd865a9b21ea304d5273c8be299c87Steve Block child_index++; 6326ded16be15dd865a9b21ea304d5273c8be299c87Steve Block continue; 6336ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else { 6346ded16be15dd865a9b21ea304d5273c8be299c87Steve Block code_changed = true; 6356ded16be15dd865a9b21ea304d5273c8be299c87Steve Block child.status = FunctionStatus.DAMAGED; 6366ded16be15dd865a9b21ea304d5273c8be299c87Steve Block child.status_explanation = 6376ded16be15dd865a9b21ea304d5273c8be299c87Steve Block "Text diff overlaps with function boundary"; 6386ded16be15dd865a9b21ea304d5273c8be299c87Steve Block child_index++; 6396ded16be15dd865a9b21ea304d5273c8be299c87Steve Block continue; 6406ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 6416ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else { 642f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch if (chunk_it.current().pos1 + chunk_it.current().len1 <= 6436ded16be15dd865a9b21ea304d5273c8be299c87Steve Block info_node.info.end_position) { 6446ded16be15dd865a9b21ea304d5273c8be299c87Steve Block info_node.status = FunctionStatus.CHANGED; 6456ded16be15dd865a9b21ea304d5273c8be299c87Steve Block chunk_it.next(); 6466ded16be15dd865a9b21ea304d5273c8be299c87Steve Block continue; 6476ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else { 6486ded16be15dd865a9b21ea304d5273c8be299c87Steve Block info_node.status = FunctionStatus.DAMAGED; 6496ded16be15dd865a9b21ea304d5273c8be299c87Steve Block info_node.status_explanation = 6506ded16be15dd865a9b21ea304d5273c8be299c87Steve Block "Text diff overlaps with function boundary"; 6516ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return; 6526ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 6536ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 6546ded16be15dd865a9b21ea304d5273c8be299c87Steve Block Assert("Unreachable", false); 6556ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 6566ded16be15dd865a9b21ea304d5273c8be299c87Steve Block while (child_index < info_node.children.length) { 6576ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var child = info_node.children[child_index]; 6586ded16be15dd865a9b21ea304d5273c8be299c87Steve Block ProcessUnchangedChild(child); 6596ded16be15dd865a9b21ea304d5273c8be299c87Steve Block child_index++; 6606ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 6616ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (code_changed) { 6626ded16be15dd865a9b21ea304d5273c8be299c87Steve Block info_node.status = FunctionStatus.CHANGED; 6636ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else if (source_changed) { 6646ded16be15dd865a9b21ea304d5273c8be299c87Steve Block info_node.status = FunctionStatus.SOURCE_CHANGED; 6656ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 6666ded16be15dd865a9b21ea304d5273c8be299c87Steve Block info_node.new_end_pos = 667f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch chunk_it.TranslatePos(info_node.info.end_position); 6686ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 669f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 6706ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function ProcessUnchangedChild(node) { 6716ded16be15dd865a9b21ea304d5273c8be299c87Steve Block node.new_start_pos = chunk_it.TranslatePos(node.info.start_position); 6726ded16be15dd865a9b21ea304d5273c8be299c87Steve Block node.new_end_pos = chunk_it.TranslatePos(node.info.end_position); 6736ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 674f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 6756ded16be15dd865a9b21ea304d5273c8be299c87Steve Block ProcessInternals(code_info_tree); 6766ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 6776ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 6786ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // For ecah old function (if it is not damaged) tries to find a corresponding 6796ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // function in new script. Typically it should succeed (non-damaged functions 6806ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // by definition may only have changes inside their bodies). However there are 6816ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // reasons for corresponence not to be found; function with unmodified text 6826ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // in new script may become enclosed into other function; the innocent change 6836ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // inside function body may in fact be something like "} function B() {" that 6846ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // splits a function into 2 functions. 6856ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function FindCorrespondingFunctions(old_code_tree, new_code_tree) { 6866ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 6876ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // A recursive function that tries to find a correspondence for all 6886ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // child functions and for their inner functions. 6896ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function ProcessChildren(old_node, new_node) { 6906ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var old_children = old_node.children; 6916ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var new_children = new_node.children; 692f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 6936ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var unmatched_new_nodes_list = []; 6948defd9ff6930b4e24729971a61cf7469daf119beSteve Block var textually_unmatched_new_nodes_list = []; 6956ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 6966ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var old_index = 0; 6976ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var new_index = 0; 6986ded16be15dd865a9b21ea304d5273c8be299c87Steve Block while (old_index < old_children.length) { 6996ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (old_children[old_index].status == FunctionStatus.DAMAGED) { 7006ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_index++; 7016ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else if (new_index < new_children.length) { 7026ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (new_children[new_index].info.start_position < 7036ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_children[old_index].new_start_pos) { 7046ded16be15dd865a9b21ea304d5273c8be299c87Steve Block unmatched_new_nodes_list.push(new_children[new_index]); 7058defd9ff6930b4e24729971a61cf7469daf119beSteve Block textually_unmatched_new_nodes_list.push(new_children[new_index]); 7066ded16be15dd865a9b21ea304d5273c8be299c87Steve Block new_index++; 7076ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else if (new_children[new_index].info.start_position == 7086ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_children[old_index].new_start_pos) { 7096ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (new_children[new_index].info.end_position == 7106ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_children[old_index].new_end_pos) { 7116ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_children[old_index].corresponding_node = 7126ded16be15dd865a9b21ea304d5273c8be299c87Steve Block new_children[new_index]; 7138defd9ff6930b4e24729971a61cf7469daf119beSteve Block old_children[old_index].textual_corresponding_node = 7148defd9ff6930b4e24729971a61cf7469daf119beSteve Block new_children[new_index]; 7156ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (old_children[old_index].status != FunctionStatus.UNCHANGED) { 7166ded16be15dd865a9b21ea304d5273c8be299c87Steve Block ProcessChildren(old_children[old_index], 7176ded16be15dd865a9b21ea304d5273c8be299c87Steve Block new_children[new_index]); 7186ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (old_children[old_index].status == FunctionStatus.DAMAGED) { 7196ded16be15dd865a9b21ea304d5273c8be299c87Steve Block unmatched_new_nodes_list.push( 7206ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_children[old_index].corresponding_node); 7216ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_children[old_index].corresponding_node = void 0; 7226ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_node.status = FunctionStatus.CHANGED; 7236ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 7246ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 7256ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else { 7266ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_children[old_index].status = FunctionStatus.DAMAGED; 7276ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_children[old_index].status_explanation = 7286ded16be15dd865a9b21ea304d5273c8be299c87Steve Block "No corresponding function in new script found"; 7296ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_node.status = FunctionStatus.CHANGED; 7306ded16be15dd865a9b21ea304d5273c8be299c87Steve Block unmatched_new_nodes_list.push(new_children[new_index]); 7318defd9ff6930b4e24729971a61cf7469daf119beSteve Block textually_unmatched_new_nodes_list.push(new_children[new_index]); 7326ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 7336ded16be15dd865a9b21ea304d5273c8be299c87Steve Block new_index++; 7346ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_index++; 7356ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else { 7366ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_children[old_index].status = FunctionStatus.DAMAGED; 7376ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_children[old_index].status_explanation = 7386ded16be15dd865a9b21ea304d5273c8be299c87Steve Block "No corresponding function in new script found"; 7396ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_node.status = FunctionStatus.CHANGED; 7406ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_index++; 7416ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 7426ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else { 7436ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_children[old_index].status = FunctionStatus.DAMAGED; 7446ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_children[old_index].status_explanation = 7456ded16be15dd865a9b21ea304d5273c8be299c87Steve Block "No corresponding function in new script found"; 7466ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_node.status = FunctionStatus.CHANGED; 7476ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_index++; 7486ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 7496ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 750f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 7516ded16be15dd865a9b21ea304d5273c8be299c87Steve Block while (new_index < new_children.length) { 7526ded16be15dd865a9b21ea304d5273c8be299c87Steve Block unmatched_new_nodes_list.push(new_children[new_index]); 7538defd9ff6930b4e24729971a61cf7469daf119beSteve Block textually_unmatched_new_nodes_list.push(new_children[new_index]); 7546ded16be15dd865a9b21ea304d5273c8be299c87Steve Block new_index++; 7556ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 756f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 7576ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (old_node.status == FunctionStatus.CHANGED) { 7588defd9ff6930b4e24729971a61cf7469daf119beSteve Block var why_wrong_expectations = 7598defd9ff6930b4e24729971a61cf7469daf119beSteve Block WhyFunctionExpectationsDiffer(old_node.info, new_node.info); 7608defd9ff6930b4e24729971a61cf7469daf119beSteve Block if (why_wrong_expectations) { 7616ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_node.status = FunctionStatus.DAMAGED; 7628defd9ff6930b4e24729971a61cf7469daf119beSteve Block old_node.status_explanation = why_wrong_expectations; 7636ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 7646ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 7656ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_node.unmatched_new_nodes = unmatched_new_nodes_list; 7668defd9ff6930b4e24729971a61cf7469daf119beSteve Block old_node.textually_unmatched_new_nodes = 7678defd9ff6930b4e24729971a61cf7469daf119beSteve Block textually_unmatched_new_nodes_list; 7686ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 7696ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 7706ded16be15dd865a9b21ea304d5273c8be299c87Steve Block ProcessChildren(old_code_tree, new_code_tree); 771f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 7726ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_code_tree.corresponding_node = new_code_tree; 7738defd9ff6930b4e24729971a61cf7469daf119beSteve Block old_code_tree.textual_corresponding_node = new_code_tree; 7748defd9ff6930b4e24729971a61cf7469daf119beSteve Block 7756ded16be15dd865a9b21ea304d5273c8be299c87Steve Block Assert(old_code_tree.status != FunctionStatus.DAMAGED, 7766ded16be15dd865a9b21ea304d5273c8be299c87Steve Block "Script became damaged"); 7776ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 778f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 7796ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function FindLiveSharedInfos(old_code_tree, script) { 7806ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var shared_raw_list = %LiveEditFindSharedFunctionInfosForScript(script); 781f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 7826ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var shared_infos = new Array(); 783f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 7846ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < shared_raw_list.length; i++) { 7856ded16be15dd865a9b21ea304d5273c8be299c87Steve Block shared_infos.push(new SharedInfoWrapper(shared_raw_list[i])); 7866ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 787f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 788b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch // Finds all SharedFunctionInfos that corresponds to compile info 7896ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // in old version of the script. 790b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch function FindFunctionInfos(compile_info) { 791b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch var wrappers = []; 792b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch 7936ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < shared_infos.length; i++) { 7946ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var wrapper = shared_infos[i]; 7956ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (wrapper.start_position == compile_info.start_position && 7966ded16be15dd865a9b21ea304d5273c8be299c87Steve Block wrapper.end_position == compile_info.end_position) { 797b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch wrappers.push(wrapper); 7986ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 7996ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 800b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch 801b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch if (wrappers.length > 0) { 802b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch return wrappers; 803b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch } 8046ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 805f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 8066ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function TraverseTree(node) { 807b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch node.live_shared_function_infos = FindFunctionInfos(node.info); 808b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch 8096ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < node.children.length; i++) { 8106ded16be15dd865a9b21ea304d5273c8be299c87Steve Block TraverseTree(node.children[i]); 8116ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 8126ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 8136ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 8146ded16be15dd865a9b21ea304d5273c8be299c87Steve Block TraverseTree(old_code_tree); 8156ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 8166ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 817f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 8186ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // An object describing function compilation details. Its index fields 8196ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // apply to indexes inside array that stores these objects. 8206ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function FunctionCompileInfo(raw_array) { 8216ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.function_name = raw_array[0]; 8226ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.start_position = raw_array[1]; 8236ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.end_position = raw_array[2]; 8246ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.param_num = raw_array[3]; 8256ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.code = raw_array[4]; 826756813857a4c2a4d8ad2e805969d5768d3cf43a0Iain Merrick this.code_scope_info = raw_array[5]; 827756813857a4c2a4d8ad2e805969d5768d3cf43a0Iain Merrick this.scope_info = raw_array[6]; 828756813857a4c2a4d8ad2e805969d5768d3cf43a0Iain Merrick this.outer_index = raw_array[7]; 829756813857a4c2a4d8ad2e805969d5768d3cf43a0Iain Merrick this.shared_function_info = raw_array[8]; 8306ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.next_sibling_index = null; 8316ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.raw_array = raw_array; 8326ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 833f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 8346ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function SharedInfoWrapper(raw_array) { 8356ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.function_name = raw_array[0]; 8366ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.start_position = raw_array[1]; 8376ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.end_position = raw_array[2]; 8386ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.info = raw_array[3]; 8396ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.raw_array = raw_array; 8406ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 8416ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 8426ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Changes positions (including all statments) in function. 8436ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function PatchPositions(old_info_node, diff_array, report_array) { 844b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch if (old_info_node.live_shared_function_infos) { 845b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch old_info_node.live_shared_function_infos.forEach(function (info) { 846b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch %LiveEditPatchFunctionPositions(info.raw_array, 847b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch diff_array); 848b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch }); 849b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch 850b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch report_array.push( { name: old_info_node.info.function_name } ); 851b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch } else { 8526ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // TODO(LiveEdit): function is not compiled yet or is already collected. 853f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch report_array.push( 8546ded16be15dd865a9b21ea304d5273c8be299c87Steve Block { name: old_info_node.info.function_name, info_not_found: true } ); 8556ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 8566ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 8576ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 8586ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Adds a suffix to script name to mark that it is old version. 8596ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function CreateNameForOldScript(script) { 8606ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // TODO(635): try better than this; support several changes. 8616ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return script.name + " (old)"; 8626ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 863f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 8646ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Compares a function interface old and new version, whether it 8658defd9ff6930b4e24729971a61cf7469daf119beSteve Block // changed or not. Returns explanation if they differ. 8668defd9ff6930b4e24729971a61cf7469daf119beSteve Block function WhyFunctionExpectationsDiffer(function_info1, function_info2) { 8676ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Check that function has the same number of parameters (there may exist 8686ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // an adapter, that won't survive function parameter number change). 8696ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (function_info1.param_num != function_info2.param_num) { 870f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch return "Changed parameter number: " + function_info1.param_num + 8718defd9ff6930b4e24729971a61cf7469daf119beSteve Block " and " + function_info2.param_num; 8726ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 8736ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var scope_info1 = function_info1.scope_info; 8746ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var scope_info2 = function_info2.scope_info; 8758defd9ff6930b4e24729971a61cf7469daf119beSteve Block 876f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch var scope_info1_text; 877f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch var scope_info2_text; 878f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 8798defd9ff6930b4e24729971a61cf7469daf119beSteve Block if (scope_info1) { 880f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch scope_info1_text = scope_info1.toString(); 8818defd9ff6930b4e24729971a61cf7469daf119beSteve Block } else { 8828defd9ff6930b4e24729971a61cf7469daf119beSteve Block scope_info1_text = ""; 8836ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 8848defd9ff6930b4e24729971a61cf7469daf119beSteve Block if (scope_info2) { 885f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch scope_info2_text = scope_info2.toString(); 8868defd9ff6930b4e24729971a61cf7469daf119beSteve Block } else { 8878defd9ff6930b4e24729971a61cf7469daf119beSteve Block scope_info2_text = ""; 8886ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 889f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 8908defd9ff6930b4e24729971a61cf7469daf119beSteve Block if (scope_info1_text != scope_info2_text) { 8918defd9ff6930b4e24729971a61cf7469daf119beSteve Block return "Incompatible variable maps: [" + scope_info1_text + 892f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch "] and [" + scope_info2_text + "]"; 8938defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 8948defd9ff6930b4e24729971a61cf7469daf119beSteve Block // No differences. Return undefined. 8958defd9ff6930b4e24729971a61cf7469daf119beSteve Block return; 8966ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 897f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 8986ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Minifier forward declaration. 8996ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var FunctionPatchabilityStatus; 900f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 9016ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // For array of wrapped shared function infos checks that none of them 9026ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // have activations on stack (of any thread). Throws a Failure exception 9036ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // if this proves to be false. 9046ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function CheckStackActivations(shared_wrapper_list, change_log) { 9056ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var shared_list = new Array(); 9066ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < shared_wrapper_list.length; i++) { 9076ded16be15dd865a9b21ea304d5273c8be299c87Steve Block shared_list[i] = shared_wrapper_list[i].info; 9086ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 9096ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var result = %LiveEditCheckAndDropActivations(shared_list, true); 9106ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (result[shared_list.length]) { 9116ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Extra array element may contain error message. 9126ded16be15dd865a9b21ea304d5273c8be299c87Steve Block throw new Failure(result[shared_list.length]); 9136ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 914f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 9156ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var problems = new Array(); 9166ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var dropped = new Array(); 9176ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < shared_list.length; i++) { 9186ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var shared = shared_wrapper_list[i]; 9196ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (result[i] == FunctionPatchabilityStatus.REPLACED_ON_ACTIVE_STACK) { 9206ded16be15dd865a9b21ea304d5273c8be299c87Steve Block dropped.push({ name: shared.function_name } ); 9216ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else if (result[i] != FunctionPatchabilityStatus.AVAILABLE_FOR_PATCH) { 9226ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var description = { 9236ded16be15dd865a9b21ea304d5273c8be299c87Steve Block name: shared.function_name, 924f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch start_pos: shared.start_position, 9256ded16be15dd865a9b21ea304d5273c8be299c87Steve Block end_pos: shared.end_position, 9266ded16be15dd865a9b21ea304d5273c8be299c87Steve Block replace_problem: 9276ded16be15dd865a9b21ea304d5273c8be299c87Steve Block FunctionPatchabilityStatus.SymbolName(result[i]) 9286ded16be15dd865a9b21ea304d5273c8be299c87Steve Block }; 9296ded16be15dd865a9b21ea304d5273c8be299c87Steve Block problems.push(description); 9306ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 9316ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 9326ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (dropped.length > 0) { 9336ded16be15dd865a9b21ea304d5273c8be299c87Steve Block change_log.push({ dropped_from_stack: dropped }); 9346ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 9356ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (problems.length > 0) { 9366ded16be15dd865a9b21ea304d5273c8be299c87Steve Block change_log.push( { functions_on_stack: problems } ); 9376ded16be15dd865a9b21ea304d5273c8be299c87Steve Block throw new Failure("Blocked by functions on stack"); 9386ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 939f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 9408defd9ff6930b4e24729971a61cf7469daf119beSteve Block return dropped.length; 9416ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 942f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 9436ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // A copy of the FunctionPatchabilityStatus enum from liveedit.h 9446ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var FunctionPatchabilityStatus = { 9456ded16be15dd865a9b21ea304d5273c8be299c87Steve Block AVAILABLE_FOR_PATCH: 1, 9466ded16be15dd865a9b21ea304d5273c8be299c87Steve Block BLOCKED_ON_ACTIVE_STACK: 2, 9476ded16be15dd865a9b21ea304d5273c8be299c87Steve Block BLOCKED_ON_OTHER_STACK: 3, 9486ded16be15dd865a9b21ea304d5273c8be299c87Steve Block BLOCKED_UNDER_NATIVE_CODE: 4, 9496ded16be15dd865a9b21ea304d5273c8be299c87Steve Block REPLACED_ON_ACTIVE_STACK: 5 9503ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch }; 951f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 9526ded16be15dd865a9b21ea304d5273c8be299c87Steve Block FunctionPatchabilityStatus.SymbolName = function(code) { 9533ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch var enumeration = FunctionPatchabilityStatus; 9543ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch for (name in enumeration) { 9553ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch if (enumeration[name] == code) { 9566ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return name; 9576ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 958f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch } 9593ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch }; 960f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 961f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 9626ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // A logical failure in liveedit process. This means that change_log 9636ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // is valid and consistent description of what happened. 9646ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function Failure(message) { 9656ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.message = message; 9666ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 9676ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Function (constructor) is public. 9686ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.Failure = Failure; 969f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 9706ded16be15dd865a9b21ea304d5273c8be299c87Steve Block Failure.prototype.toString = function() { 9716ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return "LiveEdit Failure: " + this.message; 9723ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch }; 973f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 9746ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // A testing entry. 9756ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function GetPcFromSourcePos(func, source_pos) { 9766ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return %GetFunctionCodePositionFromSource(func, source_pos); 9776ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 9786ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Function is public. 9796ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.GetPcFromSourcePos = GetPcFromSourcePos; 9806ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 9816ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // LiveEdit main entry point: changes a script text to a new string. 9828defd9ff6930b4e24729971a61cf7469daf119beSteve Block function SetScriptSource(script, new_source, preview_only, change_log) { 9836ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var old_source = script.source; 984b8e0da25ee8efac3bb05cd6b2730aafbd96119f4Ben Murdoch var diff = CompareStrings(old_source, new_source); 9858defd9ff6930b4e24729971a61cf7469daf119beSteve Block return ApplyPatchMultiChunk(script, diff, new_source, preview_only, 9868defd9ff6930b4e24729971a61cf7469daf119beSteve Block change_log); 9876ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 9886ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Function is public. 9896ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.SetScriptSource = SetScriptSource; 990f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 991b8e0da25ee8efac3bb05cd6b2730aafbd96119f4Ben Murdoch function CompareStrings(s1, s2) { 992b8e0da25ee8efac3bb05cd6b2730aafbd96119f4Ben Murdoch return %LiveEditCompareStrings(s1, s2); 9936ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 9946ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 9956ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Applies the change to the script. 9966ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // The change is always a substring (change_pos, change_pos + change_len) 9976ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // being replaced with a completely different string new_str. 9986ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // This API is a legacy and is obsolete. 9996ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // 10006ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // @param {Script} script that is being changed 10016ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // @param {Array} change_log a list that collects engineer-readable 10026ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // description of what happened. 10036ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function ApplySingleChunkPatch(script, change_pos, change_len, new_str, 10046ded16be15dd865a9b21ea304d5273c8be299c87Steve Block change_log) { 10056ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var old_source = script.source; 1006f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 10076ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Prepare new source string. 10086ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var new_source = old_source.substring(0, change_pos) + 10096ded16be15dd865a9b21ea304d5273c8be299c87Steve Block new_str + old_source.substring(change_pos + change_len); 1010f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 10116ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return ApplyPatchMultiChunk(script, 10126ded16be15dd865a9b21ea304d5273c8be299c87Steve Block [ change_pos, change_pos + change_len, change_pos + new_str.length], 10138defd9ff6930b4e24729971a61cf7469daf119beSteve Block new_source, false, change_log); 10148defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 1015f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 10168defd9ff6930b4e24729971a61cf7469daf119beSteve Block // Creates JSON description for a change tree. 10178defd9ff6930b4e24729971a61cf7469daf119beSteve Block function DescribeChangeTree(old_code_tree) { 1018f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 10198defd9ff6930b4e24729971a61cf7469daf119beSteve Block function ProcessOldNode(node) { 10208defd9ff6930b4e24729971a61cf7469daf119beSteve Block var child_infos = []; 10218defd9ff6930b4e24729971a61cf7469daf119beSteve Block for (var i = 0; i < node.children.length; i++) { 10228defd9ff6930b4e24729971a61cf7469daf119beSteve Block var child = node.children[i]; 10238defd9ff6930b4e24729971a61cf7469daf119beSteve Block if (child.status != FunctionStatus.UNCHANGED) { 10248defd9ff6930b4e24729971a61cf7469daf119beSteve Block child_infos.push(ProcessOldNode(child)); 10258defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 10268defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 10278defd9ff6930b4e24729971a61cf7469daf119beSteve Block var new_child_infos = []; 10288defd9ff6930b4e24729971a61cf7469daf119beSteve Block if (node.textually_unmatched_new_nodes) { 10298defd9ff6930b4e24729971a61cf7469daf119beSteve Block for (var i = 0; i < node.textually_unmatched_new_nodes.length; i++) { 10308defd9ff6930b4e24729971a61cf7469daf119beSteve Block var child = node.textually_unmatched_new_nodes[i]; 10318defd9ff6930b4e24729971a61cf7469daf119beSteve Block new_child_infos.push(ProcessNewNode(child)); 10328defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 10338defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 10348defd9ff6930b4e24729971a61cf7469daf119beSteve Block var res = { 10358defd9ff6930b4e24729971a61cf7469daf119beSteve Block name: node.info.function_name, 10368defd9ff6930b4e24729971a61cf7469daf119beSteve Block positions: DescribePositions(node), 10378defd9ff6930b4e24729971a61cf7469daf119beSteve Block status: node.status, 10388defd9ff6930b4e24729971a61cf7469daf119beSteve Block children: child_infos, 1039f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch new_children: new_child_infos 10408defd9ff6930b4e24729971a61cf7469daf119beSteve Block }; 10418defd9ff6930b4e24729971a61cf7469daf119beSteve Block if (node.status_explanation) { 10428defd9ff6930b4e24729971a61cf7469daf119beSteve Block res.status_explanation = node.status_explanation; 10438defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 10448defd9ff6930b4e24729971a61cf7469daf119beSteve Block if (node.textual_corresponding_node) { 10458defd9ff6930b4e24729971a61cf7469daf119beSteve Block res.new_positions = DescribePositions(node.textual_corresponding_node); 10468defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 10478defd9ff6930b4e24729971a61cf7469daf119beSteve Block return res; 10488defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 1049f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 10508defd9ff6930b4e24729971a61cf7469daf119beSteve Block function ProcessNewNode(node) { 10518defd9ff6930b4e24729971a61cf7469daf119beSteve Block var child_infos = []; 10528defd9ff6930b4e24729971a61cf7469daf119beSteve Block // Do not list ancestors. 10538defd9ff6930b4e24729971a61cf7469daf119beSteve Block if (false) { 10548defd9ff6930b4e24729971a61cf7469daf119beSteve Block for (var i = 0; i < node.children.length; i++) { 10558defd9ff6930b4e24729971a61cf7469daf119beSteve Block child_infos.push(ProcessNewNode(node.children[i])); 10568defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 10578defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 10588defd9ff6930b4e24729971a61cf7469daf119beSteve Block var res = { 10598defd9ff6930b4e24729971a61cf7469daf119beSteve Block name: node.info.function_name, 10608defd9ff6930b4e24729971a61cf7469daf119beSteve Block positions: DescribePositions(node), 10618defd9ff6930b4e24729971a61cf7469daf119beSteve Block children: child_infos, 10628defd9ff6930b4e24729971a61cf7469daf119beSteve Block }; 10638defd9ff6930b4e24729971a61cf7469daf119beSteve Block return res; 10648defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 1065f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 10668defd9ff6930b4e24729971a61cf7469daf119beSteve Block function DescribePositions(node) { 10678defd9ff6930b4e24729971a61cf7469daf119beSteve Block return { 10688defd9ff6930b4e24729971a61cf7469daf119beSteve Block start_position: node.info.start_position, 10698defd9ff6930b4e24729971a61cf7469daf119beSteve Block end_position: node.info.end_position 10708defd9ff6930b4e24729971a61cf7469daf119beSteve Block }; 10718defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 1072f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 10738defd9ff6930b4e24729971a61cf7469daf119beSteve Block return ProcessOldNode(old_code_tree); 10746ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 10756ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 1076f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 10776ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Functions are public for tests. 10786ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.TestApi = { 10796ded16be15dd865a9b21ea304d5273c8be299c87Steve Block PosTranslator: PosTranslator, 1080b8e0da25ee8efac3bb05cd6b2730aafbd96119f4Ben Murdoch CompareStrings: CompareStrings, 10816ded16be15dd865a9b21ea304d5273c8be299c87Steve Block ApplySingleChunkPatch: ApplySingleChunkPatch 10823ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch }; 10833ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch}; 1084