LiveEdit to mark more closure functions for re-instantiation when scope layout changes

src/liveedit-debugger.js

 // Copyright 2012 the V8 project authors. All rights reserved.
 // Redistribution and use in source and binary forms, with or without
 // modification, are permitted provided that the following conditions are
 // met:
 //
 //     * Redistributions of source code must retain the above copyright
 //       notice, this list of conditions and the following disclaimer.
 //     * Redistributions in binary form must reproduce the above
 //       copyright notice, this list of conditions and the following
 //       disclaimer in the documentation and/or other materials provided
@@ skipping 203 matching lines @@
     }
 
     for (var i = 0; i < replace_code_list.length; i++) {
       PatchFunctionCode(replace_code_list[i], change_log);
     }
 
     var position_patch_report = new Array();
     change_log.push( {position_patched: position_patch_report} );
 
     for (var i = 0; i < update_positions_list.length; i++) {
       // TODO(LiveEdit): take into account wether it's source_changed or

[aandrey, 2013/09/20 12:35:21]

wether -> whether

[Peter.Rybin, 2013/09/20 13:16:51]

Done.

       // unchanged and whether positions changed at all.
       PatchPositions(update_positions_list[i], diff_array,
           position_patch_report);
 
       if (update_positions_list[i].live_shared_function_infos) {
         update_positions_list[i].live_shared_function_infos.
             forEach(function (info) {
                 %LiveEditFunctionSourceUpdated(info.raw_array);
               });
       }
@@ skipping 46 matching lines @@
       if (k != i) {
         var temp_info = compile_info[k];
         var temp_index = old_index_map[k];
         compile_info[k] = compile_info[i];
         old_index_map[k] = old_index_map[i];
         compile_info[i] = temp_info;
         old_index_map[i] = temp_index;
       }
     }
 
     // After sorting update outer_inder field using old_index_map. Also

[aandrey, 2013/09/20 12:35:21]

outer_inder -> outer_index

[Peter.Rybin, 2013/09/20 13:16:51]

Done.

     // set next_sibling_index field.
     var current_index = 0;
 
     // The recursive function, that goes over all children of a particular
     // node (i.e. function info).
     function ResetIndexes(new_parent_index, old_parent_index) {
       var previous_sibling = -1;
       while (current_index < compile_info.length &&
           compile_info[current_index].outer_index == old_parent_index) {
         var saved_index = current_index;
@@ skipping 383 matching lines @@
     }
 
     function ProcessUnchangedChild(node) {
       node.new_start_pos = chunk_it.TranslatePos(node.info.start_position);
       node.new_end_pos = chunk_it.TranslatePos(node.info.end_position);
     }
 
     ProcessInternals(code_info_tree);
   }
 
   // For ecah old function (if it is not damaged) tries to find a corresponding

[Yang, 2013/09/20 12:17:34]

For each

[Peter.Rybin, 2013/09/20 13:16:51]

Done.

   // function in new script. Typically it should succeed (non-damaged functions
   // by definition may only have changes inside their bodies). However there are
   // reasons for corresponence not to be found; function with unmodified text

[Yang, 2013/09/20 12:17:34]

correspondence

[Peter.Rybin, 2013/09/20 13:16:51]

Done.

   // in new script may become enclosed into other function; the innocent change
   // inside function body may in fact be something like "} function B() {" that
   // splits a function into 2 functions.
   function FindCorrespondingFunctions(old_code_tree, new_code_tree) {
 
     // A recursive function that tries to find a correspondence for all
     // child functions and for their inner functions.
-    function ProcessChildren(old_node, new_node) {
+    function ProcessNode(old_node, new_node) {
+      var scope_change_description =
+          IsFunctionContextLocalsChanged(old_node.info, new_node.info);
+      if (scope_change_description) {
+          old_node.status = FunctionStatus.CHANGED;
+      }
+
       var old_children = old_node.children;
       var new_children = new_node.children;
 
       var unmatched_new_nodes_list = [];
       var textually_unmatched_new_nodes_list = [];
 
       var old_index = 0;
       var new_index = 0;
       while (old_index < old_children.length) {
         if (old_children[old_index].status == FunctionStatus.DAMAGED) {
           old_index++;
         } else if (new_index < new_children.length) {
           if (new_children[new_index].info.start_position <
               old_children[old_index].new_start_pos) {
             unmatched_new_nodes_list.push(new_children[new_index]);
             textually_unmatched_new_nodes_list.push(new_children[new_index]);
             new_index++;
           } else if (new_children[new_index].info.start_position ==
               old_children[old_index].new_start_pos) {
             if (new_children[new_index].info.end_position ==
                 old_children[old_index].new_end_pos) {
               old_children[old_index].corresponding_node =
                   new_children[new_index];
               old_children[old_index].textual_corresponding_node =
                   new_children[new_index];
-              if (old_children[old_index].status != FunctionStatus.UNCHANGED) {
-                ProcessChildren(old_children[old_index],
+              if (scope_change_description) {
+                old_children[old_index].status = FunctionStatus.DAMAGED;
+                old_children[old_index].status_explanation =
+                    "Enclosing function is now incompatible. " +
+                    scope_change_description;
+                old_children[old_index].corresponding_node = void 0;
+              } else if (old_children[old_index].status !=
+                  FunctionStatus.UNCHANGED) {
+                ProcessNode(old_children[old_index],
                     new_children[new_index]);
                 if (old_children[old_index].status == FunctionStatus.DAMAGED) {
                   unmatched_new_nodes_list.push(
                       old_children[old_index].corresponding_node);
                   old_children[old_index].corresponding_node = void 0;
                   old_node.status = FunctionStatus.CHANGED;
                 }
               }
             } else {
               old_children[old_index].status = FunctionStatus.DAMAGED;
@@ skipping 21 matching lines @@
         }
       }
 
       while (new_index < new_children.length) {
         unmatched_new_nodes_list.push(new_children[new_index]);
         textually_unmatched_new_nodes_list.push(new_children[new_index]);
         new_index++;
       }
 
       if (old_node.status == FunctionStatus.CHANGED) {
-        var why_wrong_expectations =
-            WhyFunctionExpectationsDiffer(old_node.info, new_node.info);
-        if (why_wrong_expectations) {
+        if (old_node.info.param_num != new_node.info.param_num) {
           old_node.status = FunctionStatus.DAMAGED;
-          old_node.status_explanation = why_wrong_expectations;
+          old_node.status_explanation = "Changed parameter number: " +
+              old_node.info.param_num + " and " + new_node.info.param_num;
         }
       }
       old_node.unmatched_new_nodes = unmatched_new_nodes_list;
       old_node.textually_unmatched_new_nodes =
           textually_unmatched_new_nodes_list;
     }
 
-    ProcessChildren(old_code_tree, new_code_tree);
+    ProcessNode(old_code_tree, new_code_tree);
 
     old_code_tree.corresponding_node = new_code_tree;
     old_code_tree.textual_corresponding_node = new_code_tree;
 
     Assert(old_code_tree.status != FunctionStatus.DAMAGED,
         "Script became damaged");
   }
 
   function FindLiveSharedInfos(old_code_tree, script) {
     var shared_raw_list = %LiveEditFindSharedFunctionInfosForScript(script);
@@ skipping 51 matching lines @@
   }
 
   function SharedInfoWrapper(raw_array) {
     this.function_name = raw_array[0];
     this.start_position = raw_array[1];
     this.end_position = raw_array[2];
     this.info = raw_array[3];
     this.raw_array = raw_array;
   }
 
   // Changes positions (including all statments) in function.

[aandrey, 2013/09/20 12:35:21]

statments -> statements

[Peter.Rybin, 2013/09/20 13:16:51]

Done.

   function PatchPositions(old_info_node, diff_array, report_array) {
     if (old_info_node.live_shared_function_infos) {
       old_info_node.live_shared_function_infos.forEach(function (info) {
           %LiveEditPatchFunctionPositions(info.raw_array,
                                           diff_array);
       });
 
       report_array.push( { name: old_info_node.info.function_name } );
     } else {
       // TODO(LiveEdit): function is not compiled yet or is already collected.
       report_array.push(
           { name: old_info_node.info.function_name, info_not_found: true } );
     }
   }
 
   // Adds a suffix to script name to mark that it is old version.
   function CreateNameForOldScript(script) {
     // TODO(635): try better than this; support several changes.
     return script.name + " (old)";
   }
 
-  // Compares a function interface old and new version, whether it
+  // Compares a function scope heap structure, old and new version, whether it
   // changed or not. Returns explanation if they differ.
-  function WhyFunctionExpectationsDiffer(function_info1, function_info2) {
-    // Check that function has the same number of parameters (there may exist
-    // an adapter, that won't survive function parameter number change).
-    if (function_info1.param_num != function_info2.param_num) {
-      return "Changed parameter number: " + function_info1.param_num +
-          " and " + function_info2.param_num;
-    }
+  function IsFunctionContextLocalsChanged(function_info1, function_info2) {
     var scope_info1 = function_info1.scope_info;
     var scope_info2 = function_info2.scope_info;
 
     var scope_info1_text;
     var scope_info2_text;
 
     if (scope_info1) {
       scope_info1_text = scope_info1.toString();
     } else {
       scope_info1_text = "";
     }
     if (scope_info2) {
       scope_info2_text = scope_info2.toString();
     } else {
       scope_info2_text = "";
     }
 
     if (scope_info1_text != scope_info2_text) {
-      return "Incompatible variable maps: [" + scope_info1_text +
-          "] and [" + scope_info2_text + "]";
+      return "Variable map changed: [" + scope_info1_text +
+          "] => [" + scope_info2_text + "]";
     }
     // No differences. Return undefined.
     return;
   }
 
   // Minifier forward declaration.
   var FunctionPatchabilityStatus;
 
   // For array of wrapped shared function infos checks that none of them
   // have activations on stack (of any thread). Throws a Failure exception
@@ skipping 208 matching lines @@
   // Function is public.
   this.RestartFrame = RestartFrame;
 
   // Functions are public for tests.
   this.TestApi = {
     PosTranslator: PosTranslator,
     CompareStrings: CompareStrings,
     ApplySingleChunkPatch: ApplySingleChunkPatch
   };
 };