1b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// Copyright 2012 the V8 project authors. All rights reserved. 2b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// Use of this source code is governed by a BSD-style license that can be 3b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// found in the LICENSE file. 46ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 56ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// LiveEdit feature implementation. The script should be executed after 6014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch// debug.js. 76ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 86ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// A LiveEdit namespace. It contains functions that modifies JavaScript code 96ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// according to changes of script source (if possible). 106ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// 116ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// When new script source is put in, the difference is calculated textually, 126ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// in form of list of delete/add/change chunks. The functions that include 136ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// change chunk(s) get recompiled, or their enclosing functions are 146ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// recompiled instead. 156ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// If the function may not be recompiled (e.g. it was completely erased in new 166ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// version of the script) it remains unchanged, but the code that could 176ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// create a new instance of this function goes away. An old version of script 186ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// is created to back up this obsolete function. 196ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// All unchanged functions have their positions updated accordingly. 206ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// 216ded16be15dd865a9b21ea304d5273c8be299c87Steve Block// LiveEdit namespace is declared inside a single function constructor. 22958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier 23014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch(function(global, utils) { 24014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch "use strict"; 25958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier 26014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch // ------------------------------------------------------------------- 27014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch // Imports 28014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch 29014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch var FindScriptSourcePosition = global.Debug.findScriptSourcePosition; 30014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch var GetScriptBreakPoints; 31014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch var GlobalArray = global.Array; 32014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch var MathFloor = global.Math.floor; 33014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch var SyntaxError = global.SyntaxError; 34014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch 35014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch utils.Import(function(from) { 36014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch GetScriptBreakPoints = from.GetScriptBreakPoints; 37014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch }); 38014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch 39014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch // ------------------------------------------------------------------- 406ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 416ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Forward declaration for minifier. 426ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var FunctionStatus; 43f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 446ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Applies the change to the script. 456ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // The change is in form of list of chunks encoded in a single array as 466ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // a series of triplets (pos1_start, pos1_end, pos2_end) 478defd9ff6930b4e24729971a61cf7469daf119beSteve Block function ApplyPatchMultiChunk(script, diff_array, new_source, preview_only, 488defd9ff6930b4e24729971a61cf7469daf119beSteve Block change_log) { 496ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 506ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var old_source = script.source; 516ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 526ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Gather compile information about old version of script. 536ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var old_compile_info = GatherCompileInfo(old_source, script); 54f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 556ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Build tree structures for old and new versions of the script. 566ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var root_old_node = BuildCodeInfoTree(old_compile_info); 576ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 586ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var pos_translator = new PosTranslator(diff_array); 596ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 606ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Analyze changes. 616ded16be15dd865a9b21ea304d5273c8be299c87Steve Block MarkChangedFunctions(root_old_node, pos_translator.GetChunks()); 626ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 636ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Find all SharedFunctionInfo's that were compiled from this script. 646ded16be15dd865a9b21ea304d5273c8be299c87Steve Block FindLiveSharedInfos(root_old_node, script); 65f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 666ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Gather compile information about new version of script. 676ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var new_compile_info; 686ded16be15dd865a9b21ea304d5273c8be299c87Steve Block try { 696ded16be15dd865a9b21ea304d5273c8be299c87Steve Block new_compile_info = GatherCompileInfo(new_source, script); 706ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } catch (e) { 71b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch var failure = 72b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch new Failure("Failed to compile new version of script: " + e); 73b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch if (e instanceof SyntaxError) { 74b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch var details = { 75b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch type: "liveedit_compile_error", 76b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch syntaxErrorMessage: e.message 77b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch }; 78b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CopyErrorPositionToDetails(e, details); 79b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch failure.details = details; 80b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } 81b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch throw failure; 826ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 836ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var root_new_node = BuildCodeInfoTree(new_compile_info); 846ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 856ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Link recompiled script data with other data. 866ded16be15dd865a9b21ea304d5273c8be299c87Steve Block FindCorrespondingFunctions(root_old_node, root_new_node); 87f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 886ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Prepare to-do lists. 89014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch var replace_code_list = new GlobalArray(); 90014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch var link_to_old_script_list = new GlobalArray(); 91014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch var link_to_original_script_list = new GlobalArray(); 92014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch var update_positions_list = new GlobalArray(); 936ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 946ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function HarvestTodo(old_node) { 956ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function CollectDamaged(node) { 966ded16be15dd865a9b21ea304d5273c8be299c87Steve Block link_to_old_script_list.push(node); 976ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < node.children.length; i++) { 986ded16be15dd865a9b21ea304d5273c8be299c87Steve Block CollectDamaged(node.children[i]); 996ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 1006ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 1016ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 1026ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Recursively collects all newly compiled functions that are going into 1038defd9ff6930b4e24729971a61cf7469daf119beSteve Block // business and should have link to the actual script updated. 1046ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function CollectNew(node_list) { 1056ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < node_list.length; i++) { 1066ded16be15dd865a9b21ea304d5273c8be299c87Steve Block link_to_original_script_list.push(node_list[i]); 1076ded16be15dd865a9b21ea304d5273c8be299c87Steve Block CollectNew(node_list[i].children); 1086ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 1096ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 110f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 1116ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (old_node.status == FunctionStatus.DAMAGED) { 1126ded16be15dd865a9b21ea304d5273c8be299c87Steve Block CollectDamaged(old_node); 1136ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return; 1146ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 1156ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (old_node.status == FunctionStatus.UNCHANGED) { 1166ded16be15dd865a9b21ea304d5273c8be299c87Steve Block update_positions_list.push(old_node); 1176ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else if (old_node.status == FunctionStatus.SOURCE_CHANGED) { 1186ded16be15dd865a9b21ea304d5273c8be299c87Steve Block update_positions_list.push(old_node); 1196ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else if (old_node.status == FunctionStatus.CHANGED) { 1206ded16be15dd865a9b21ea304d5273c8be299c87Steve Block replace_code_list.push(old_node); 1216ded16be15dd865a9b21ea304d5273c8be299c87Steve Block CollectNew(old_node.unmatched_new_nodes); 1226ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 1236ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < old_node.children.length; i++) { 1246ded16be15dd865a9b21ea304d5273c8be299c87Steve Block HarvestTodo(old_node.children[i]); 1256ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 1266ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 1276ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 1288defd9ff6930b4e24729971a61cf7469daf119beSteve Block var preview_description = { 1298defd9ff6930b4e24729971a61cf7469daf119beSteve Block change_tree: DescribeChangeTree(root_old_node), 1308defd9ff6930b4e24729971a61cf7469daf119beSteve Block textual_diff: { 1318defd9ff6930b4e24729971a61cf7469daf119beSteve Block old_len: old_source.length, 1328defd9ff6930b4e24729971a61cf7469daf119beSteve Block new_len: new_source.length, 1338defd9ff6930b4e24729971a61cf7469daf119beSteve Block chunks: diff_array 1348defd9ff6930b4e24729971a61cf7469daf119beSteve Block }, 1358defd9ff6930b4e24729971a61cf7469daf119beSteve Block updated: false 1368defd9ff6930b4e24729971a61cf7469daf119beSteve Block }; 137f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 1388defd9ff6930b4e24729971a61cf7469daf119beSteve Block if (preview_only) { 1398defd9ff6930b4e24729971a61cf7469daf119beSteve Block return preview_description; 1408defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 141f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 1426ded16be15dd865a9b21ea304d5273c8be299c87Steve Block HarvestTodo(root_old_node); 143f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 1446ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Collect shared infos for functions whose code need to be patched. 145014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch var replaced_function_old_infos = new GlobalArray(); 146014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch var replaced_function_new_infos = new GlobalArray(); 1476ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < replace_code_list.length; i++) { 148014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch var old_infos = replace_code_list[i].live_shared_function_infos; 149014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch var new_info = 150014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch replace_code_list[i].corresponding_node.info.shared_function_info; 151014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch 152014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch if (old_infos) { 153014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch for (var j = 0; j < old_infos.length; j++) { 154014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch replaced_function_old_infos.push(old_infos[j]); 155014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch replaced_function_new_infos.push(new_info); 156b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch } 1576ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 1586ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 1596ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 1606ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // We haven't changed anything before this line yet. 1616ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Committing all changes. 162f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 1638defd9ff6930b4e24729971a61cf7469daf119beSteve Block // Check that function being patched is not currently on stack or drop them. 1648defd9ff6930b4e24729971a61cf7469daf119beSteve Block var dropped_functions_number = 165014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch CheckStackActivations(replaced_function_old_infos, 166014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch replaced_function_new_infos, 167014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch change_log); 168f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 169b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // Our current implementation requires client to manually issue "step in" 170014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch // command for correct stack state if the stack was modified. 171014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch preview_description.stack_modified = dropped_functions_number != 0; 172b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 173f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch // Start with breakpoints. Convert their line/column positions and 1746ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // temporary remove. 1756ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var break_points_restorer = TemporaryRemoveBreakPoints(script, change_log); 1766ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 1776ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var old_script; 1786ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 1796ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Create an old script only if there are function that should be linked 1806ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // to old version. 1816ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (link_to_old_script_list.length == 0) { 1826ded16be15dd865a9b21ea304d5273c8be299c87Steve Block %LiveEditReplaceScript(script, new_source, null); 183b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch old_script = UNDEFINED; 1846ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else { 1856ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var old_script_name = CreateNameForOldScript(script); 186f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 1876ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Update the script text and create a new script representing an old 1886ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // version of the script. 1896ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_script = %LiveEditReplaceScript(script, new_source, 1906ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_script_name); 191f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 192014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch var link_to_old_script_report = new GlobalArray(); 1936ded16be15dd865a9b21ea304d5273c8be299c87Steve Block change_log.push( { linked_to_old_script: link_to_old_script_report } ); 194f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 1956ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // We need to link to old script all former nested functions. 1966ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < link_to_old_script_list.length; i++) { 1976ded16be15dd865a9b21ea304d5273c8be299c87Steve Block LinkToOldScript(link_to_old_script_list[i], old_script, 1986ded16be15dd865a9b21ea304d5273c8be299c87Steve Block link_to_old_script_report); 1996ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 200f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 2018defd9ff6930b4e24729971a61cf7469daf119beSteve Block preview_description.created_script_name = old_script_name; 2026ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 203f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 2046ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Link to an actual script all the functions that we are going to use. 2056ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < link_to_original_script_list.length; i++) { 2066ded16be15dd865a9b21ea304d5273c8be299c87Steve Block %LiveEditFunctionSetScript( 2076ded16be15dd865a9b21ea304d5273c8be299c87Steve Block link_to_original_script_list[i].info.shared_function_info, script); 2086ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 2096ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 2106ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < replace_code_list.length; i++) { 2116ded16be15dd865a9b21ea304d5273c8be299c87Steve Block PatchFunctionCode(replace_code_list[i], change_log); 2126ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 213f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 214014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch var position_patch_report = new GlobalArray(); 2156ded16be15dd865a9b21ea304d5273c8be299c87Steve Block change_log.push( {position_patched: position_patch_report} ); 216f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 2176ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < update_positions_list.length; i++) { 218b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // TODO(LiveEdit): take into account whether it's source_changed or 2196ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // unchanged and whether positions changed at all. 2206ded16be15dd865a9b21ea304d5273c8be299c87Steve Block PatchPositions(update_positions_list[i], diff_array, 2216ded16be15dd865a9b21ea304d5273c8be299c87Steve Block position_patch_report); 222b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch 223b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch if (update_positions_list[i].live_shared_function_infos) { 224b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch update_positions_list[i].live_shared_function_infos. 225b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch forEach(function (info) { 226b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch %LiveEditFunctionSourceUpdated(info.raw_array); 227b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch }); 228b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch } 2296ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 230f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 2316ded16be15dd865a9b21ea304d5273c8be299c87Steve Block break_points_restorer(pos_translator, old_script); 232f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 2338defd9ff6930b4e24729971a61cf7469daf119beSteve Block preview_description.updated = true; 2348defd9ff6930b4e24729971a61cf7469daf119beSteve Block return preview_description; 2356ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 236f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 2376ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Fully compiles source string as a script. Returns Array of 2386ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // FunctionCompileInfo -- a descriptions of all functions of the script. 2396ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Elements of array are ordered by start positions of functions (from top 2406ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // to bottom) in the source. Fields outer_index and next_sibling_index help 2416ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // to navigate the nesting structure of functions. 2426ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // 2436ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // All functions get compiled linked to script provided as parameter script. 2446ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // TODO(LiveEdit): consider not using actual scripts as script, because 245f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch // we have to manually erase all links right after compile. 2466ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function GatherCompileInfo(source, script) { 2476ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Get function info, elements are partially sorted (it is a tree of 2486ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // nested functions serialized as parent followed by serialized children. 2496ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var raw_compile_info = %LiveEditGatherCompileInfo(script, source); 2506ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 2516ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Sort function infos by start position field. 252014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch var compile_info = new GlobalArray(); 253014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch var old_index_map = new GlobalArray(); 2546ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < raw_compile_info.length; i++) { 2556ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var info = new FunctionCompileInfo(raw_compile_info[i]); 2566ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Remove all links to the actual script. Breakpoints system and 2576ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // LiveEdit itself believe that any function in heap that points to a 2586ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // particular script is a regular function. 2596ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // For some functions we will restore this link later. 260b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch %LiveEditFunctionSetScript(info.shared_function_info, UNDEFINED); 2616ded16be15dd865a9b21ea304d5273c8be299c87Steve Block compile_info.push(info); 2626ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_index_map.push(i); 2636ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 2646ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 2656ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < compile_info.length; i++) { 2666ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var k = i; 2676ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var j = i + 1; j < compile_info.length; j++) { 2686ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (compile_info[k].start_position > compile_info[j].start_position) { 2696ded16be15dd865a9b21ea304d5273c8be299c87Steve Block k = j; 2706ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 2716ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 2726ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (k != i) { 2736ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var temp_info = compile_info[k]; 2746ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var temp_index = old_index_map[k]; 2756ded16be15dd865a9b21ea304d5273c8be299c87Steve Block compile_info[k] = compile_info[i]; 2766ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_index_map[k] = old_index_map[i]; 2776ded16be15dd865a9b21ea304d5273c8be299c87Steve Block compile_info[i] = temp_info; 2786ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_index_map[i] = temp_index; 2796ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 2806ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 2816ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 282b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // After sorting update outer_index field using old_index_map. Also 2836ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // set next_sibling_index field. 2846ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var current_index = 0; 2856ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 2866ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // The recursive function, that goes over all children of a particular 2876ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // node (i.e. function info). 2886ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function ResetIndexes(new_parent_index, old_parent_index) { 2896ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var previous_sibling = -1; 2906ded16be15dd865a9b21ea304d5273c8be299c87Steve Block while (current_index < compile_info.length && 2916ded16be15dd865a9b21ea304d5273c8be299c87Steve Block compile_info[current_index].outer_index == old_parent_index) { 2926ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var saved_index = current_index; 2936ded16be15dd865a9b21ea304d5273c8be299c87Steve Block compile_info[saved_index].outer_index = new_parent_index; 2946ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (previous_sibling != -1) { 2956ded16be15dd865a9b21ea304d5273c8be299c87Steve Block compile_info[previous_sibling].next_sibling_index = saved_index; 2966ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 2976ded16be15dd865a9b21ea304d5273c8be299c87Steve Block previous_sibling = saved_index; 2986ded16be15dd865a9b21ea304d5273c8be299c87Steve Block current_index++; 2996ded16be15dd865a9b21ea304d5273c8be299c87Steve Block ResetIndexes(saved_index, old_index_map[saved_index]); 3006ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 3016ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (previous_sibling != -1) { 3026ded16be15dd865a9b21ea304d5273c8be299c87Steve Block compile_info[previous_sibling].next_sibling_index = -1; 3036ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 3046ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 3056ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 3066ded16be15dd865a9b21ea304d5273c8be299c87Steve Block ResetIndexes(-1, -1); 3076ded16be15dd865a9b21ea304d5273c8be299c87Steve Block Assert(current_index == compile_info.length); 3086ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 3096ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return compile_info; 3106ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 3116ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 312f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 3136ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Replaces function's Code. 3146ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function PatchFunctionCode(old_node, change_log) { 3156ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var new_info = old_node.corresponding_node.info; 316b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch if (old_node.live_shared_function_infos) { 317b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch old_node.live_shared_function_infos.forEach(function (old_info) { 318b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch %LiveEditReplaceFunctionCode(new_info.raw_array, 319b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch old_info.raw_array); 320b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch 321b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch // The function got a new code. However, this new code brings all new 322b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch // instances of SharedFunctionInfo for nested functions. However, 323b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch // we want the original instances to be used wherever possible. 324b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch // (This is because old instances and new instances will be both 325b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch // linked to a script and breakpoints subsystem does not really 326b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch // expects this; neither does LiveEdit subsystem on next call). 327b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch for (var i = 0; i < old_node.children.length; i++) { 328b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch if (old_node.children[i].corresponding_node) { 329b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch var corresponding_child_info = 330b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch old_node.children[i].corresponding_node.info. 331b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch shared_function_info; 332b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch 333b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch if (old_node.children[i].live_shared_function_infos) { 334b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch old_node.children[i].live_shared_function_infos. 335b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch forEach(function (old_child_info) { 3363ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch %LiveEditReplaceRefToNestedFunction( 3373ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch old_info.info, 3383ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch corresponding_child_info, 3393ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch old_child_info.info); 340b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch }); 341b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch } 3426ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 3436ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 344b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch }); 345f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 3466ded16be15dd865a9b21ea304d5273c8be299c87Steve Block change_log.push( {function_patched: new_info.function_name} ); 3476ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else { 3486ded16be15dd865a9b21ea304d5273c8be299c87Steve Block change_log.push( {function_patched: new_info.function_name, 3496ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function_info_not_found: true} ); 3506ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 3516ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 3526ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 353f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 3546ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Makes a function associated with another instance of a script (the 3556ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // one representing its old version). This way the function still 3566ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // may access its own text. 3576ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function LinkToOldScript(old_info_node, old_script, report_array) { 358b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch if (old_info_node.live_shared_function_infos) { 359b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch old_info_node.live_shared_function_infos. 360b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch forEach(function (info) { 361b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch %LiveEditFunctionSetScript(info.info, old_script); 362b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch }); 363b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch 364b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch report_array.push( { name: old_info_node.info.function_name } ); 3656ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else { 3666ded16be15dd865a9b21ea304d5273c8be299c87Steve Block report_array.push( 3676ded16be15dd865a9b21ea304d5273c8be299c87Steve Block { name: old_info_node.info.function_name, not_found: true } ); 3686ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 3696ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 370f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 3716ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 3726ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Returns function that restores breakpoints. 3736ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function TemporaryRemoveBreakPoints(original_script, change_log) { 3746ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var script_break_points = GetScriptBreakPoints(original_script); 375f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 3766ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var break_points_update_report = []; 3776ded16be15dd865a9b21ea304d5273c8be299c87Steve Block change_log.push( { break_points_update: break_points_update_report } ); 3786ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 3796ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var break_point_old_positions = []; 3806ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < script_break_points.length; i++) { 3816ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var break_point = script_break_points[i]; 3826ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 3836ded16be15dd865a9b21ea304d5273c8be299c87Steve Block break_point.clear(); 384f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 385f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch // TODO(LiveEdit): be careful with resource offset here. 386014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch var break_point_position = FindScriptSourcePosition(original_script, 3876ded16be15dd865a9b21ea304d5273c8be299c87Steve Block break_point.line(), break_point.column()); 388f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 3896ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var old_position_description = { 3906ded16be15dd865a9b21ea304d5273c8be299c87Steve Block position: break_point_position, 3916ded16be15dd865a9b21ea304d5273c8be299c87Steve Block line: break_point.line(), 3926ded16be15dd865a9b21ea304d5273c8be299c87Steve Block column: break_point.column() 3933ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch }; 3946ded16be15dd865a9b21ea304d5273c8be299c87Steve Block break_point_old_positions.push(old_position_description); 3956ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 396f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 397f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 3986ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Restores breakpoints and creates their copies in the "old" copy of 3996ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // the script. 4006ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return function (pos_translator, old_script_copy_opt) { 4016ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Update breakpoints (change positions and restore them in old version 4026ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // of script. 4036ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < script_break_points.length; i++) { 4046ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var break_point = script_break_points[i]; 4056ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (old_script_copy_opt) { 4066ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var clone = break_point.cloneForOtherScript(old_script_copy_opt); 4076ded16be15dd865a9b21ea304d5273c8be299c87Steve Block clone.set(old_script_copy_opt); 408f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 4096ded16be15dd865a9b21ea304d5273c8be299c87Steve Block break_points_update_report.push( { 4106ded16be15dd865a9b21ea304d5273c8be299c87Steve Block type: "copied_to_old", 4116ded16be15dd865a9b21ea304d5273c8be299c87Steve Block id: break_point.number(), 412f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch new_id: clone.number(), 4136ded16be15dd865a9b21ea304d5273c8be299c87Steve Block positions: break_point_old_positions[i] 4146ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } ); 4156ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 416f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 4176ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var updated_position = pos_translator.Translate( 4186ded16be15dd865a9b21ea304d5273c8be299c87Steve Block break_point_old_positions[i].position, 4196ded16be15dd865a9b21ea304d5273c8be299c87Steve Block PosTranslator.ShiftWithTopInsideChunkHandler); 420f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 4216ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var new_location = 4226ded16be15dd865a9b21ea304d5273c8be299c87Steve Block original_script.locationFromPosition(updated_position, false); 4236ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 4246ded16be15dd865a9b21ea304d5273c8be299c87Steve Block break_point.update_positions(new_location.line, new_location.column); 4256ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 4266ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var new_position_description = { 4276ded16be15dd865a9b21ea304d5273c8be299c87Steve Block position: updated_position, 4286ded16be15dd865a9b21ea304d5273c8be299c87Steve Block line: new_location.line, 4296ded16be15dd865a9b21ea304d5273c8be299c87Steve Block column: new_location.column 4303ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch }; 431f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 4326ded16be15dd865a9b21ea304d5273c8be299c87Steve Block break_point.set(original_script); 433f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 4346ded16be15dd865a9b21ea304d5273c8be299c87Steve Block break_points_update_report.push( { type: "position_changed", 4356ded16be15dd865a9b21ea304d5273c8be299c87Steve Block id: break_point.number(), 4366ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_positions: break_point_old_positions[i], 4376ded16be15dd865a9b21ea304d5273c8be299c87Steve Block new_positions: new_position_description 4386ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } ); 4396ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 4403ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch }; 4416ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 4426ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 443f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 4446ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function Assert(condition, message) { 4456ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (!condition) { 4466ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (message) { 4476ded16be15dd865a9b21ea304d5273c8be299c87Steve Block throw "Assert " + message; 4486ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else { 4496ded16be15dd865a9b21ea304d5273c8be299c87Steve Block throw "Assert"; 4506ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 4516ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 4526ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 4536ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 4546ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function DiffChunk(pos1, pos2, len1, len2) { 4556ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.pos1 = pos1; 4566ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.pos2 = pos2; 4576ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.len1 = len1; 4586ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.len2 = len2; 4596ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 460f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 4616ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function PosTranslator(diff_array) { 462014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch var chunks = new GlobalArray(); 4636ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var current_diff = 0; 4646ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < diff_array.length; i += 3) { 4656ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var pos1_begin = diff_array[i]; 4666ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var pos2_begin = pos1_begin + current_diff; 4676ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var pos1_end = diff_array[i + 1]; 4686ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var pos2_end = diff_array[i + 2]; 4696ded16be15dd865a9b21ea304d5273c8be299c87Steve Block chunks.push(new DiffChunk(pos1_begin, pos2_begin, pos1_end - pos1_begin, 4706ded16be15dd865a9b21ea304d5273c8be299c87Steve Block pos2_end - pos2_begin)); 471f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch current_diff = pos2_end - pos1_end; 4726ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 4736ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.chunks = chunks; 4746ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 4756ded16be15dd865a9b21ea304d5273c8be299c87Steve Block PosTranslator.prototype.GetChunks = function() { 4766ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return this.chunks; 4773ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch }; 478f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 4796ded16be15dd865a9b21ea304d5273c8be299c87Steve Block PosTranslator.prototype.Translate = function(pos, inside_chunk_handler) { 480f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch var array = this.chunks; 4816ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (array.length == 0 || pos < array[0].pos1) { 4826ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return pos; 4836ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 4846ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var chunk_index1 = 0; 4856ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var chunk_index2 = array.length - 1; 4866ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 4876ded16be15dd865a9b21ea304d5273c8be299c87Steve Block while (chunk_index1 < chunk_index2) { 488014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch var middle_index = MathFloor((chunk_index1 + chunk_index2) / 2); 4896ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (pos < array[middle_index + 1].pos1) { 4906ded16be15dd865a9b21ea304d5273c8be299c87Steve Block chunk_index2 = middle_index; 4916ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else { 4926ded16be15dd865a9b21ea304d5273c8be299c87Steve Block chunk_index1 = middle_index + 1; 4936ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 4946ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 4956ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var chunk = array[chunk_index1]; 4966ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (pos >= chunk.pos1 + chunk.len1) { 497f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch return pos + chunk.pos2 + chunk.len2 - chunk.pos1 - chunk.len1; 4986ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 499f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 5006ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (!inside_chunk_handler) { 5016ded16be15dd865a9b21ea304d5273c8be299c87Steve Block inside_chunk_handler = PosTranslator.DefaultInsideChunkHandler; 5026ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 5036ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return inside_chunk_handler(pos, chunk); 5043ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch }; 5056ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 5066ded16be15dd865a9b21ea304d5273c8be299c87Steve Block PosTranslator.DefaultInsideChunkHandler = function(pos, diff_chunk) { 5076ded16be15dd865a9b21ea304d5273c8be299c87Steve Block Assert(false, "Cannot translate position in changed area"); 5083ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch }; 509f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 5106ded16be15dd865a9b21ea304d5273c8be299c87Steve Block PosTranslator.ShiftWithTopInsideChunkHandler = 5116ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function(pos, diff_chunk) { 5126ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // We carelessly do not check whether we stay inside the chunk after 5136ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // translation. 514f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch return pos - diff_chunk.pos1 + diff_chunk.pos2; 5153ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch }; 516f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 5176ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var FunctionStatus = { 5186ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // No change to function or its inner functions; however its positions 519f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch // in script may have been shifted. 5206ded16be15dd865a9b21ea304d5273c8be299c87Steve Block UNCHANGED: "unchanged", 5216ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // The code of a function remains unchanged, but something happened inside 5226ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // some inner functions. 5236ded16be15dd865a9b21ea304d5273c8be299c87Steve Block SOURCE_CHANGED: "source changed", 5246ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // The code of a function is changed or some nested function cannot be 5256ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // properly patched so this function must be recompiled. 5266ded16be15dd865a9b21ea304d5273c8be299c87Steve Block CHANGED: "changed", 5276ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Function is changed but cannot be patched. 5286ded16be15dd865a9b21ea304d5273c8be299c87Steve Block DAMAGED: "damaged" 5293ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch }; 530f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 5316ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function CodeInfoTreeNode(code_info, children, array_index) { 5326ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.info = code_info; 5336ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.children = children; 5346ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // an index in array of compile_info 535f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch this.array_index = array_index; 536b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch this.parent = UNDEFINED; 537f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 5386ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.status = FunctionStatus.UNCHANGED; 5396ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Status explanation is used for debugging purposes and will be shown 5406ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // in user UI if some explanations are needed. 541b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch this.status_explanation = UNDEFINED; 542b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch this.new_start_pos = UNDEFINED; 543b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch this.new_end_pos = UNDEFINED; 544b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch this.corresponding_node = UNDEFINED; 545b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch this.unmatched_new_nodes = UNDEFINED; 546f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 5478defd9ff6930b4e24729971a61cf7469daf119beSteve Block // 'Textual' correspondence/matching is weaker than 'pure' 5488defd9ff6930b4e24729971a61cf7469daf119beSteve Block // correspondence/matching. We need 'textual' level for visual presentation 5498defd9ff6930b4e24729971a61cf7469daf119beSteve Block // in UI, we use 'pure' level for actual code manipulation. 5508defd9ff6930b4e24729971a61cf7469daf119beSteve Block // Sometimes only function body is changed (functions in old and new script 5518defd9ff6930b4e24729971a61cf7469daf119beSteve Block // textually correspond), but we cannot patch the code, so we see them 552f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch // as an old function deleted and new function created. 553b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch this.textual_corresponding_node = UNDEFINED; 554b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch this.textually_unmatched_new_nodes = UNDEFINED; 555f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 556b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch this.live_shared_function_infos = UNDEFINED; 5576ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 558f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 5596ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // From array of function infos that is implicitly a tree creates 5606ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // an actual tree of functions in script. 5616ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function BuildCodeInfoTree(code_info_array) { 5626ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Throughtout all function we iterate over input array. 5636ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var index = 0; 5646ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 565f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch // Recursive function that builds a branch of tree. 5666ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function BuildNode() { 5676ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var my_index = index; 5686ded16be15dd865a9b21ea304d5273c8be299c87Steve Block index++; 569014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch var child_array = new GlobalArray(); 5706ded16be15dd865a9b21ea304d5273c8be299c87Steve Block while (index < code_info_array.length && 5716ded16be15dd865a9b21ea304d5273c8be299c87Steve Block code_info_array[index].outer_index == my_index) { 5726ded16be15dd865a9b21ea304d5273c8be299c87Steve Block child_array.push(BuildNode()); 5736ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 5746ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var node = new CodeInfoTreeNode(code_info_array[my_index], child_array, 5756ded16be15dd865a9b21ea304d5273c8be299c87Steve Block my_index); 5766ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < child_array.length; i++) { 5776ded16be15dd865a9b21ea304d5273c8be299c87Steve Block child_array[i].parent = node; 5786ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 5796ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return node; 5806ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 581f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 5826ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var root = BuildNode(); 5836ded16be15dd865a9b21ea304d5273c8be299c87Steve Block Assert(index == code_info_array.length); 5846ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return root; 5856ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 5866ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 5876ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Applies a list of the textual diff chunks onto the tree of functions. 5886ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Determines status of each function (from unchanged to damaged). However 5896ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // children of unchanged functions are ignored. 5906ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function MarkChangedFunctions(code_info_tree, chunks) { 5916ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 5923ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch // A convenient iterator over diff chunks that also translates 5936ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // positions from old to new in a current non-changed part of script. 5946ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var chunk_it = new function() { 5956ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var chunk_index = 0; 5966ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var pos_diff = 0; 5973ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch this.current = function() { return chunks[chunk_index]; }; 5986ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.next = function() { 5996ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var chunk = chunks[chunk_index]; 600f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch pos_diff = chunk.pos2 + chunk.len2 - (chunk.pos1 + chunk.len1); 6016ded16be15dd865a9b21ea304d5273c8be299c87Steve Block chunk_index++; 6023ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch }; 6033ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch this.done = function() { return chunk_index >= chunks.length; }; 6043ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch this.TranslatePos = function(pos) { return pos + pos_diff; }; 6056ded16be15dd865a9b21ea304d5273c8be299c87Steve Block }; 6066ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 6076ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // A recursive function that processes internals of a function and all its 6086ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // inner functions. Iterator chunk_it initially points to a chunk that is 6096ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // below function start. 6106ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function ProcessInternals(info_node) { 6116ded16be15dd865a9b21ea304d5273c8be299c87Steve Block info_node.new_start_pos = chunk_it.TranslatePos( 612f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch info_node.info.start_position); 6136ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var child_index = 0; 6146ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var code_changed = false; 6156ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var source_changed = false; 6166ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Simultaneously iterates over child functions and over chunks. 6176ded16be15dd865a9b21ea304d5273c8be299c87Steve Block while (!chunk_it.done() && 6186ded16be15dd865a9b21ea304d5273c8be299c87Steve Block chunk_it.current().pos1 < info_node.info.end_position) { 6196ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (child_index < info_node.children.length) { 6206ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var child = info_node.children[child_index]; 621f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 6226ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (child.info.end_position <= chunk_it.current().pos1) { 6236ded16be15dd865a9b21ea304d5273c8be299c87Steve Block ProcessUnchangedChild(child); 6246ded16be15dd865a9b21ea304d5273c8be299c87Steve Block child_index++; 6256ded16be15dd865a9b21ea304d5273c8be299c87Steve Block continue; 6266ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else if (child.info.start_position >= 6276ded16be15dd865a9b21ea304d5273c8be299c87Steve Block chunk_it.current().pos1 + chunk_it.current().len1) { 6286ded16be15dd865a9b21ea304d5273c8be299c87Steve Block code_changed = true; 6296ded16be15dd865a9b21ea304d5273c8be299c87Steve Block chunk_it.next(); 6306ded16be15dd865a9b21ea304d5273c8be299c87Steve Block continue; 6316ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else if (child.info.start_position <= chunk_it.current().pos1 && 6326ded16be15dd865a9b21ea304d5273c8be299c87Steve Block child.info.end_position >= chunk_it.current().pos1 + 6336ded16be15dd865a9b21ea304d5273c8be299c87Steve Block chunk_it.current().len1) { 6346ded16be15dd865a9b21ea304d5273c8be299c87Steve Block ProcessInternals(child); 6356ded16be15dd865a9b21ea304d5273c8be299c87Steve Block source_changed = source_changed || 6366ded16be15dd865a9b21ea304d5273c8be299c87Steve Block ( child.status != FunctionStatus.UNCHANGED ); 6376ded16be15dd865a9b21ea304d5273c8be299c87Steve Block code_changed = code_changed || 6386ded16be15dd865a9b21ea304d5273c8be299c87Steve Block ( child.status == FunctionStatus.DAMAGED ); 6396ded16be15dd865a9b21ea304d5273c8be299c87Steve Block child_index++; 6406ded16be15dd865a9b21ea304d5273c8be299c87Steve Block continue; 6416ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else { 6426ded16be15dd865a9b21ea304d5273c8be299c87Steve Block code_changed = true; 6436ded16be15dd865a9b21ea304d5273c8be299c87Steve Block child.status = FunctionStatus.DAMAGED; 6446ded16be15dd865a9b21ea304d5273c8be299c87Steve Block child.status_explanation = 6456ded16be15dd865a9b21ea304d5273c8be299c87Steve Block "Text diff overlaps with function boundary"; 6466ded16be15dd865a9b21ea304d5273c8be299c87Steve Block child_index++; 6476ded16be15dd865a9b21ea304d5273c8be299c87Steve Block continue; 6486ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 6496ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else { 650f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch if (chunk_it.current().pos1 + chunk_it.current().len1 <= 6516ded16be15dd865a9b21ea304d5273c8be299c87Steve Block info_node.info.end_position) { 6526ded16be15dd865a9b21ea304d5273c8be299c87Steve Block info_node.status = FunctionStatus.CHANGED; 6536ded16be15dd865a9b21ea304d5273c8be299c87Steve Block chunk_it.next(); 6546ded16be15dd865a9b21ea304d5273c8be299c87Steve Block continue; 6556ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else { 6566ded16be15dd865a9b21ea304d5273c8be299c87Steve Block info_node.status = FunctionStatus.DAMAGED; 6576ded16be15dd865a9b21ea304d5273c8be299c87Steve Block info_node.status_explanation = 6586ded16be15dd865a9b21ea304d5273c8be299c87Steve Block "Text diff overlaps with function boundary"; 6596ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return; 6606ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 6616ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 6626ded16be15dd865a9b21ea304d5273c8be299c87Steve Block Assert("Unreachable", false); 6636ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 6646ded16be15dd865a9b21ea304d5273c8be299c87Steve Block while (child_index < info_node.children.length) { 6656ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var child = info_node.children[child_index]; 6666ded16be15dd865a9b21ea304d5273c8be299c87Steve Block ProcessUnchangedChild(child); 6676ded16be15dd865a9b21ea304d5273c8be299c87Steve Block child_index++; 6686ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 6696ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (code_changed) { 6706ded16be15dd865a9b21ea304d5273c8be299c87Steve Block info_node.status = FunctionStatus.CHANGED; 6716ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else if (source_changed) { 6726ded16be15dd865a9b21ea304d5273c8be299c87Steve Block info_node.status = FunctionStatus.SOURCE_CHANGED; 6736ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 6746ded16be15dd865a9b21ea304d5273c8be299c87Steve Block info_node.new_end_pos = 675f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch chunk_it.TranslatePos(info_node.info.end_position); 6766ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 677f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 6786ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function ProcessUnchangedChild(node) { 6796ded16be15dd865a9b21ea304d5273c8be299c87Steve Block node.new_start_pos = chunk_it.TranslatePos(node.info.start_position); 6806ded16be15dd865a9b21ea304d5273c8be299c87Steve Block node.new_end_pos = chunk_it.TranslatePos(node.info.end_position); 6816ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 682f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 6836ded16be15dd865a9b21ea304d5273c8be299c87Steve Block ProcessInternals(code_info_tree); 6846ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 6856ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 686b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // For each old function (if it is not damaged) tries to find a corresponding 6876ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // function in new script. Typically it should succeed (non-damaged functions 6886ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // by definition may only have changes inside their bodies). However there are 689b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // reasons for correspondence not to be found; function with unmodified text 6906ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // in new script may become enclosed into other function; the innocent change 6916ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // inside function body may in fact be something like "} function B() {" that 6926ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // splits a function into 2 functions. 6936ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function FindCorrespondingFunctions(old_code_tree, new_code_tree) { 6946ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 6956ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // A recursive function that tries to find a correspondence for all 6966ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // child functions and for their inner functions. 697b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch function ProcessNode(old_node, new_node) { 698b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch var scope_change_description = 699b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch IsFunctionContextLocalsChanged(old_node.info, new_node.info); 700b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch if (scope_change_description) { 701014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch old_node.status = FunctionStatus.CHANGED; 702b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } 703b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 7046ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var old_children = old_node.children; 7056ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var new_children = new_node.children; 706f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 7076ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var unmatched_new_nodes_list = []; 7088defd9ff6930b4e24729971a61cf7469daf119beSteve Block var textually_unmatched_new_nodes_list = []; 7096ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 7106ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var old_index = 0; 7116ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var new_index = 0; 7126ded16be15dd865a9b21ea304d5273c8be299c87Steve Block while (old_index < old_children.length) { 7136ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (old_children[old_index].status == FunctionStatus.DAMAGED) { 7146ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_index++; 7156ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else if (new_index < new_children.length) { 7166ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (new_children[new_index].info.start_position < 7176ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_children[old_index].new_start_pos) { 7186ded16be15dd865a9b21ea304d5273c8be299c87Steve Block unmatched_new_nodes_list.push(new_children[new_index]); 7198defd9ff6930b4e24729971a61cf7469daf119beSteve Block textually_unmatched_new_nodes_list.push(new_children[new_index]); 7206ded16be15dd865a9b21ea304d5273c8be299c87Steve Block new_index++; 7216ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else if (new_children[new_index].info.start_position == 7226ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_children[old_index].new_start_pos) { 7236ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (new_children[new_index].info.end_position == 7246ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_children[old_index].new_end_pos) { 7256ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_children[old_index].corresponding_node = 7266ded16be15dd865a9b21ea304d5273c8be299c87Steve Block new_children[new_index]; 7278defd9ff6930b4e24729971a61cf7469daf119beSteve Block old_children[old_index].textual_corresponding_node = 7288defd9ff6930b4e24729971a61cf7469daf119beSteve Block new_children[new_index]; 729b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch if (scope_change_description) { 730b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch old_children[old_index].status = FunctionStatus.DAMAGED; 731b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch old_children[old_index].status_explanation = 732b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch "Enclosing function is now incompatible. " + 733b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch scope_change_description; 734b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch old_children[old_index].corresponding_node = UNDEFINED; 735b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } else if (old_children[old_index].status != 736b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch FunctionStatus.UNCHANGED) { 737b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch ProcessNode(old_children[old_index], 7386ded16be15dd865a9b21ea304d5273c8be299c87Steve Block new_children[new_index]); 7396ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (old_children[old_index].status == FunctionStatus.DAMAGED) { 7406ded16be15dd865a9b21ea304d5273c8be299c87Steve Block unmatched_new_nodes_list.push( 7416ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_children[old_index].corresponding_node); 742b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch old_children[old_index].corresponding_node = UNDEFINED; 7436ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_node.status = FunctionStatus.CHANGED; 7446ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 7456ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 7466ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else { 7476ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_children[old_index].status = FunctionStatus.DAMAGED; 7486ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_children[old_index].status_explanation = 7496ded16be15dd865a9b21ea304d5273c8be299c87Steve Block "No corresponding function in new script found"; 7506ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_node.status = FunctionStatus.CHANGED; 7516ded16be15dd865a9b21ea304d5273c8be299c87Steve Block unmatched_new_nodes_list.push(new_children[new_index]); 7528defd9ff6930b4e24729971a61cf7469daf119beSteve Block textually_unmatched_new_nodes_list.push(new_children[new_index]); 7536ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 7546ded16be15dd865a9b21ea304d5273c8be299c87Steve Block new_index++; 7556ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_index++; 7566ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else { 7576ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_children[old_index].status = FunctionStatus.DAMAGED; 7586ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_children[old_index].status_explanation = 7596ded16be15dd865a9b21ea304d5273c8be299c87Steve Block "No corresponding function in new script found"; 7606ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_node.status = FunctionStatus.CHANGED; 7616ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_index++; 7626ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 7636ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else { 7646ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_children[old_index].status = FunctionStatus.DAMAGED; 7656ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_children[old_index].status_explanation = 7666ded16be15dd865a9b21ea304d5273c8be299c87Steve Block "No corresponding function in new script found"; 7676ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_node.status = FunctionStatus.CHANGED; 7686ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_index++; 7696ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 7706ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 771f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 7726ded16be15dd865a9b21ea304d5273c8be299c87Steve Block while (new_index < new_children.length) { 7736ded16be15dd865a9b21ea304d5273c8be299c87Steve Block unmatched_new_nodes_list.push(new_children[new_index]); 7748defd9ff6930b4e24729971a61cf7469daf119beSteve Block textually_unmatched_new_nodes_list.push(new_children[new_index]); 7756ded16be15dd865a9b21ea304d5273c8be299c87Steve Block new_index++; 7766ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 777f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 7786ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (old_node.status == FunctionStatus.CHANGED) { 779b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch if (old_node.info.param_num != new_node.info.param_num) { 7806ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_node.status = FunctionStatus.DAMAGED; 781b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch old_node.status_explanation = "Changed parameter number: " + 782b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch old_node.info.param_num + " and " + new_node.info.param_num; 7836ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 7846ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 7856ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_node.unmatched_new_nodes = unmatched_new_nodes_list; 7868defd9ff6930b4e24729971a61cf7469daf119beSteve Block old_node.textually_unmatched_new_nodes = 7878defd9ff6930b4e24729971a61cf7469daf119beSteve Block textually_unmatched_new_nodes_list; 7886ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 7896ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 790b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch ProcessNode(old_code_tree, new_code_tree); 791f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 7926ded16be15dd865a9b21ea304d5273c8be299c87Steve Block old_code_tree.corresponding_node = new_code_tree; 7938defd9ff6930b4e24729971a61cf7469daf119beSteve Block old_code_tree.textual_corresponding_node = new_code_tree; 7948defd9ff6930b4e24729971a61cf7469daf119beSteve Block 7956ded16be15dd865a9b21ea304d5273c8be299c87Steve Block Assert(old_code_tree.status != FunctionStatus.DAMAGED, 7966ded16be15dd865a9b21ea304d5273c8be299c87Steve Block "Script became damaged"); 7976ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 798f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 7996ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function FindLiveSharedInfos(old_code_tree, script) { 8006ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var shared_raw_list = %LiveEditFindSharedFunctionInfosForScript(script); 801f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 802014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch var shared_infos = new GlobalArray(); 803f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 8046ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < shared_raw_list.length; i++) { 8056ded16be15dd865a9b21ea304d5273c8be299c87Steve Block shared_infos.push(new SharedInfoWrapper(shared_raw_list[i])); 8066ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 807f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 808b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch // Finds all SharedFunctionInfos that corresponds to compile info 8096ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // in old version of the script. 810b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch function FindFunctionInfos(compile_info) { 811b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch var wrappers = []; 812b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch 8136ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < shared_infos.length; i++) { 8146ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var wrapper = shared_infos[i]; 8156ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (wrapper.start_position == compile_info.start_position && 8166ded16be15dd865a9b21ea304d5273c8be299c87Steve Block wrapper.end_position == compile_info.end_position) { 817b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch wrappers.push(wrapper); 8186ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 8196ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 820b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch 821b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch if (wrappers.length > 0) { 822b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch return wrappers; 823b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch } 8246ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 825f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 8266ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function TraverseTree(node) { 827b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch node.live_shared_function_infos = FindFunctionInfos(node.info); 828b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch 8296ded16be15dd865a9b21ea304d5273c8be299c87Steve Block for (var i = 0; i < node.children.length; i++) { 8306ded16be15dd865a9b21ea304d5273c8be299c87Steve Block TraverseTree(node.children[i]); 8316ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 8326ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 8336ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 8346ded16be15dd865a9b21ea304d5273c8be299c87Steve Block TraverseTree(old_code_tree); 8356ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 8366ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 837f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 8386ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // An object describing function compilation details. Its index fields 8396ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // apply to indexes inside array that stores these objects. 8406ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function FunctionCompileInfo(raw_array) { 8416ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.function_name = raw_array[0]; 8426ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.start_position = raw_array[1]; 8436ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.end_position = raw_array[2]; 8446ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.param_num = raw_array[3]; 8456ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.code = raw_array[4]; 846756813857a4c2a4d8ad2e805969d5768d3cf43a0Iain Merrick this.code_scope_info = raw_array[5]; 847756813857a4c2a4d8ad2e805969d5768d3cf43a0Iain Merrick this.scope_info = raw_array[6]; 848756813857a4c2a4d8ad2e805969d5768d3cf43a0Iain Merrick this.outer_index = raw_array[7]; 849756813857a4c2a4d8ad2e805969d5768d3cf43a0Iain Merrick this.shared_function_info = raw_array[8]; 8506ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.next_sibling_index = null; 8516ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.raw_array = raw_array; 8526ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 853f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 8546ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function SharedInfoWrapper(raw_array) { 8556ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.function_name = raw_array[0]; 8566ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.start_position = raw_array[1]; 8576ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.end_position = raw_array[2]; 8586ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.info = raw_array[3]; 8596ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.raw_array = raw_array; 8606ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 8616ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 862b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // Changes positions (including all statements) in function. 8636ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function PatchPositions(old_info_node, diff_array, report_array) { 864b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch if (old_info_node.live_shared_function_infos) { 865b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch old_info_node.live_shared_function_infos.forEach(function (info) { 866b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch %LiveEditPatchFunctionPositions(info.raw_array, 867b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch diff_array); 868b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch }); 869b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch 870b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch report_array.push( { name: old_info_node.info.function_name } ); 871b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch } else { 8726ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // TODO(LiveEdit): function is not compiled yet or is already collected. 873f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch report_array.push( 8746ded16be15dd865a9b21ea304d5273c8be299c87Steve Block { name: old_info_node.info.function_name, info_not_found: true } ); 8756ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 8766ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 8776ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 8786ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Adds a suffix to script name to mark that it is old version. 8796ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function CreateNameForOldScript(script) { 8806ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // TODO(635): try better than this; support several changes. 8816ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return script.name + " (old)"; 8826ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 883f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 884b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // Compares a function scope heap structure, old and new version, whether it 8858defd9ff6930b4e24729971a61cf7469daf119beSteve Block // changed or not. Returns explanation if they differ. 886b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch function IsFunctionContextLocalsChanged(function_info1, function_info2) { 8876ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var scope_info1 = function_info1.scope_info; 8886ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var scope_info2 = function_info2.scope_info; 8898defd9ff6930b4e24729971a61cf7469daf119beSteve Block 890f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch var scope_info1_text; 891f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch var scope_info2_text; 892f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 8938defd9ff6930b4e24729971a61cf7469daf119beSteve Block if (scope_info1) { 894f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch scope_info1_text = scope_info1.toString(); 8958defd9ff6930b4e24729971a61cf7469daf119beSteve Block } else { 8968defd9ff6930b4e24729971a61cf7469daf119beSteve Block scope_info1_text = ""; 8976ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 8988defd9ff6930b4e24729971a61cf7469daf119beSteve Block if (scope_info2) { 899f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch scope_info2_text = scope_info2.toString(); 9008defd9ff6930b4e24729971a61cf7469daf119beSteve Block } else { 9018defd9ff6930b4e24729971a61cf7469daf119beSteve Block scope_info2_text = ""; 9026ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 903f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 9048defd9ff6930b4e24729971a61cf7469daf119beSteve Block if (scope_info1_text != scope_info2_text) { 905b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch return "Variable map changed: [" + scope_info1_text + 906b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch "] => [" + scope_info2_text + "]"; 9078defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 9088defd9ff6930b4e24729971a61cf7469daf119beSteve Block // No differences. Return undefined. 9098defd9ff6930b4e24729971a61cf7469daf119beSteve Block return; 9106ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 911f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 9126ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Minifier forward declaration. 9136ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var FunctionPatchabilityStatus; 914f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 9156ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // For array of wrapped shared function infos checks that none of them 9166ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // have activations on stack (of any thread). Throws a Failure exception 9176ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // if this proves to be false. 918014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch function CheckStackActivations(old_shared_wrapper_list, 919014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch new_shared_list, 920014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch change_log) { 921014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch var old_shared_list = new GlobalArray(); 922014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch for (var i = 0; i < old_shared_wrapper_list.length; i++) { 923014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch old_shared_list[i] = old_shared_wrapper_list[i].info; 9246ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 925014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch var result = %LiveEditCheckAndDropActivations( 926014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch old_shared_list, new_shared_list, true); 927014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch if (result[old_shared_wrapper_list.length]) { 9286ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Extra array element may contain error message. 929014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch throw new Failure(result[old_shared_wrapper_list.length]); 9306ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 931f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 932014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch var problems = new GlobalArray(); 933014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch var dropped = new GlobalArray(); 934014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch for (var i = 0; i < old_shared_list.length; i++) { 935014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch var shared = old_shared_wrapper_list[i]; 9366ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (result[i] == FunctionPatchabilityStatus.REPLACED_ON_ACTIVE_STACK) { 9376ded16be15dd865a9b21ea304d5273c8be299c87Steve Block dropped.push({ name: shared.function_name } ); 9386ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } else if (result[i] != FunctionPatchabilityStatus.AVAILABLE_FOR_PATCH) { 9396ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var description = { 9406ded16be15dd865a9b21ea304d5273c8be299c87Steve Block name: shared.function_name, 941f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch start_pos: shared.start_position, 9426ded16be15dd865a9b21ea304d5273c8be299c87Steve Block end_pos: shared.end_position, 9436ded16be15dd865a9b21ea304d5273c8be299c87Steve Block replace_problem: 9446ded16be15dd865a9b21ea304d5273c8be299c87Steve Block FunctionPatchabilityStatus.SymbolName(result[i]) 9456ded16be15dd865a9b21ea304d5273c8be299c87Steve Block }; 9466ded16be15dd865a9b21ea304d5273c8be299c87Steve Block problems.push(description); 9476ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 9486ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 9496ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (dropped.length > 0) { 9506ded16be15dd865a9b21ea304d5273c8be299c87Steve Block change_log.push({ dropped_from_stack: dropped }); 9516ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 9526ded16be15dd865a9b21ea304d5273c8be299c87Steve Block if (problems.length > 0) { 9536ded16be15dd865a9b21ea304d5273c8be299c87Steve Block change_log.push( { functions_on_stack: problems } ); 9546ded16be15dd865a9b21ea304d5273c8be299c87Steve Block throw new Failure("Blocked by functions on stack"); 9556ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 956f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 9578defd9ff6930b4e24729971a61cf7469daf119beSteve Block return dropped.length; 9586ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 959f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 9606ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // A copy of the FunctionPatchabilityStatus enum from liveedit.h 9616ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var FunctionPatchabilityStatus = { 9626ded16be15dd865a9b21ea304d5273c8be299c87Steve Block AVAILABLE_FOR_PATCH: 1, 9636ded16be15dd865a9b21ea304d5273c8be299c87Steve Block BLOCKED_ON_ACTIVE_STACK: 2, 9646ded16be15dd865a9b21ea304d5273c8be299c87Steve Block BLOCKED_ON_OTHER_STACK: 3, 9656ded16be15dd865a9b21ea304d5273c8be299c87Steve Block BLOCKED_UNDER_NATIVE_CODE: 4, 966b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch REPLACED_ON_ACTIVE_STACK: 5, 967b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch BLOCKED_UNDER_GENERATOR: 6, 968014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch BLOCKED_ACTIVE_GENERATOR: 7, 969014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch BLOCKED_NO_NEW_TARGET_ON_RESTART: 8 9703ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch }; 971f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 9726ded16be15dd865a9b21ea304d5273c8be299c87Steve Block FunctionPatchabilityStatus.SymbolName = function(code) { 9733ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch var enumeration = FunctionPatchabilityStatus; 974958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier for (var name in enumeration) { 9753ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch if (enumeration[name] == code) { 9766ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return name; 9776ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 978f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch } 9793ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch }; 980f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 981f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 9826ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // A logical failure in liveedit process. This means that change_log 9836ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // is valid and consistent description of what happened. 9846ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function Failure(message) { 9856ded16be15dd865a9b21ea304d5273c8be299c87Steve Block this.message = message; 9866ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 987f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 9886ded16be15dd865a9b21ea304d5273c8be299c87Steve Block Failure.prototype.toString = function() { 9896ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return "LiveEdit Failure: " + this.message; 9903ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch }; 991f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 992b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch function CopyErrorPositionToDetails(e, details) { 993b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch function createPositionStruct(script, position) { 994b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch if (position == -1) return; 995b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch var location = script.locationFromPosition(position, true); 996b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch if (location == null) return; 997b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch return { 998b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch line: location.line + 1, 999b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch column: location.column + 1, 1000b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch position: position 1001b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch }; 1002b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } 1003b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 1004b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch if (!("scriptObject" in e) || !("startPosition" in e)) { 1005b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch return; 1006b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } 1007b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 1008b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch var script = e.scriptObject; 1009b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 1010b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch var position_struct = { 1011b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch start: createPositionStruct(script, e.startPosition), 1012b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch end: createPositionStruct(script, e.endPosition) 1013b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch }; 1014b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch details.position = position_struct; 1015b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } 1016b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 10176ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // A testing entry. 10186ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function GetPcFromSourcePos(func, source_pos) { 10196ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return %GetFunctionCodePositionFromSource(func, source_pos); 10206ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 10216ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 10226ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // LiveEdit main entry point: changes a script text to a new string. 10238defd9ff6930b4e24729971a61cf7469daf119beSteve Block function SetScriptSource(script, new_source, preview_only, change_log) { 10246ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var old_source = script.source; 1025b8e0da25ee8efac3bb05cd6b2730aafbd96119f4Ben Murdoch var diff = CompareStrings(old_source, new_source); 10268defd9ff6930b4e24729971a61cf7469daf119beSteve Block return ApplyPatchMultiChunk(script, diff, new_source, preview_only, 10278defd9ff6930b4e24729971a61cf7469daf119beSteve Block change_log); 10286ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 1029f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 1030b8e0da25ee8efac3bb05cd6b2730aafbd96119f4Ben Murdoch function CompareStrings(s1, s2) { 1031b8e0da25ee8efac3bb05cd6b2730aafbd96119f4Ben Murdoch return %LiveEditCompareStrings(s1, s2); 10326ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 10336ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 10346ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Applies the change to the script. 10356ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // The change is always a substring (change_pos, change_pos + change_len) 10366ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // being replaced with a completely different string new_str. 10376ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // This API is a legacy and is obsolete. 10386ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // 10396ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // @param {Script} script that is being changed 10406ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // @param {Array} change_log a list that collects engineer-readable 10416ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // description of what happened. 10426ded16be15dd865a9b21ea304d5273c8be299c87Steve Block function ApplySingleChunkPatch(script, change_pos, change_len, new_str, 10436ded16be15dd865a9b21ea304d5273c8be299c87Steve Block change_log) { 10446ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var old_source = script.source; 1045f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 10466ded16be15dd865a9b21ea304d5273c8be299c87Steve Block // Prepare new source string. 10476ded16be15dd865a9b21ea304d5273c8be299c87Steve Block var new_source = old_source.substring(0, change_pos) + 10486ded16be15dd865a9b21ea304d5273c8be299c87Steve Block new_str + old_source.substring(change_pos + change_len); 1049f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 10506ded16be15dd865a9b21ea304d5273c8be299c87Steve Block return ApplyPatchMultiChunk(script, 10516ded16be15dd865a9b21ea304d5273c8be299c87Steve Block [ change_pos, change_pos + change_len, change_pos + new_str.length], 10528defd9ff6930b4e24729971a61cf7469daf119beSteve Block new_source, false, change_log); 10538defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 1054f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 10558defd9ff6930b4e24729971a61cf7469daf119beSteve Block // Creates JSON description for a change tree. 10568defd9ff6930b4e24729971a61cf7469daf119beSteve Block function DescribeChangeTree(old_code_tree) { 1057f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 10588defd9ff6930b4e24729971a61cf7469daf119beSteve Block function ProcessOldNode(node) { 10598defd9ff6930b4e24729971a61cf7469daf119beSteve Block var child_infos = []; 10608defd9ff6930b4e24729971a61cf7469daf119beSteve Block for (var i = 0; i < node.children.length; i++) { 10618defd9ff6930b4e24729971a61cf7469daf119beSteve Block var child = node.children[i]; 10628defd9ff6930b4e24729971a61cf7469daf119beSteve Block if (child.status != FunctionStatus.UNCHANGED) { 10638defd9ff6930b4e24729971a61cf7469daf119beSteve Block child_infos.push(ProcessOldNode(child)); 10648defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 10658defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 10668defd9ff6930b4e24729971a61cf7469daf119beSteve Block var new_child_infos = []; 10678defd9ff6930b4e24729971a61cf7469daf119beSteve Block if (node.textually_unmatched_new_nodes) { 10688defd9ff6930b4e24729971a61cf7469daf119beSteve Block for (var i = 0; i < node.textually_unmatched_new_nodes.length; i++) { 10698defd9ff6930b4e24729971a61cf7469daf119beSteve Block var child = node.textually_unmatched_new_nodes[i]; 10708defd9ff6930b4e24729971a61cf7469daf119beSteve Block new_child_infos.push(ProcessNewNode(child)); 10718defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 10728defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 10738defd9ff6930b4e24729971a61cf7469daf119beSteve Block var res = { 10748defd9ff6930b4e24729971a61cf7469daf119beSteve Block name: node.info.function_name, 10758defd9ff6930b4e24729971a61cf7469daf119beSteve Block positions: DescribePositions(node), 10768defd9ff6930b4e24729971a61cf7469daf119beSteve Block status: node.status, 10778defd9ff6930b4e24729971a61cf7469daf119beSteve Block children: child_infos, 1078f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch new_children: new_child_infos 10798defd9ff6930b4e24729971a61cf7469daf119beSteve Block }; 10808defd9ff6930b4e24729971a61cf7469daf119beSteve Block if (node.status_explanation) { 10818defd9ff6930b4e24729971a61cf7469daf119beSteve Block res.status_explanation = node.status_explanation; 10828defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 10838defd9ff6930b4e24729971a61cf7469daf119beSteve Block if (node.textual_corresponding_node) { 10848defd9ff6930b4e24729971a61cf7469daf119beSteve Block res.new_positions = DescribePositions(node.textual_corresponding_node); 10858defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 10868defd9ff6930b4e24729971a61cf7469daf119beSteve Block return res; 10878defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 1088f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 10898defd9ff6930b4e24729971a61cf7469daf119beSteve Block function ProcessNewNode(node) { 10908defd9ff6930b4e24729971a61cf7469daf119beSteve Block var child_infos = []; 10918defd9ff6930b4e24729971a61cf7469daf119beSteve Block // Do not list ancestors. 10928defd9ff6930b4e24729971a61cf7469daf119beSteve Block if (false) { 10938defd9ff6930b4e24729971a61cf7469daf119beSteve Block for (var i = 0; i < node.children.length; i++) { 10948defd9ff6930b4e24729971a61cf7469daf119beSteve Block child_infos.push(ProcessNewNode(node.children[i])); 10958defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 10968defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 10978defd9ff6930b4e24729971a61cf7469daf119beSteve Block var res = { 10988defd9ff6930b4e24729971a61cf7469daf119beSteve Block name: node.info.function_name, 10998defd9ff6930b4e24729971a61cf7469daf119beSteve Block positions: DescribePositions(node), 11008defd9ff6930b4e24729971a61cf7469daf119beSteve Block children: child_infos, 11018defd9ff6930b4e24729971a61cf7469daf119beSteve Block }; 11028defd9ff6930b4e24729971a61cf7469daf119beSteve Block return res; 11038defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 1104f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 11058defd9ff6930b4e24729971a61cf7469daf119beSteve Block function DescribePositions(node) { 11068defd9ff6930b4e24729971a61cf7469daf119beSteve Block return { 11078defd9ff6930b4e24729971a61cf7469daf119beSteve Block start_position: node.info.start_position, 11088defd9ff6930b4e24729971a61cf7469daf119beSteve Block end_position: node.info.end_position 11098defd9ff6930b4e24729971a61cf7469daf119beSteve Block }; 11108defd9ff6930b4e24729971a61cf7469daf119beSteve Block } 1111f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 11128defd9ff6930b4e24729971a61cf7469daf119beSteve Block return ProcessOldNode(old_code_tree); 11136ded16be15dd865a9b21ea304d5273c8be299c87Steve Block } 11146ded16be15dd865a9b21ea304d5273c8be299c87Steve Block 1115014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch // ------------------------------------------------------------------- 1116014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch // Exports 1117f87a203d89e1bbb6708282e0b64dbd13d59b723dBen Murdoch 1118014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch var LiveEdit = {}; 1119014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch LiveEdit.SetScriptSource = SetScriptSource; 1120014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch LiveEdit.ApplyPatchMultiChunk = ApplyPatchMultiChunk; 1121014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch LiveEdit.Failure = Failure; 1122014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch LiveEdit.GetPcFromSourcePos = GetPcFromSourcePos; 1123014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch 1124014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch LiveEdit.TestApi = { 11256ded16be15dd865a9b21ea304d5273c8be299c87Steve Block PosTranslator: PosTranslator, 1126b8e0da25ee8efac3bb05cd6b2730aafbd96119f4Ben Murdoch CompareStrings: CompareStrings, 11276ded16be15dd865a9b21ea304d5273c8be299c87Steve Block ApplySingleChunkPatch: ApplySingleChunkPatch 11283ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch }; 1129014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch 1130014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch global.Debug.LiveEdit = LiveEdit; 1131014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch 1132014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch}) 1133