harmony-scoping: Implement debugger support for script scope.

test/mjsunit/harmony/debug-blockscopes.js

 // Copyright 2011 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 55 matching lines @@
   listener_delegate = null;
   listener_called = false;
   exception = null;
   begin_test_count++;
 }
 
 
 // Check result of a test.
 function EndTest() {
   assertTrue(listener_called, "listerner not called for " + test_name);
-  assertNull(exception, test_name);
+  assertNull(exception, test_name, exception);
   end_test_count++;
 }
 
 var global_object = this;
 
 // Check that the scope chain contains the expected types of scopes.
 function CheckScopeChain(scopes, exec_state) {
   assertEquals(scopes.length, exec_state.frame().scopeCount());
   for (var i = 0; i < scopes.length; i++) {
     var scope = exec_state.frame().scope(i);
@@ skipping 14 matching lines @@
   // Send a scopes request and check the result.
   var json;
   var request_json = '{"seq":0,"type":"request","command":"scopes"}';
   var response_json = dcp.processDebugJSONRequest(request_json);
   var response = JSON.parse(response_json);
   assertEquals(scopes.length, response.body.scopes.length);
   for (var i = 0; i < scopes.length; i++) {
     assertEquals(i, response.body.scopes[i].index);
     assertEquals(scopes[i], response.body.scopes[i].type);
     if (scopes[i] == debug.ScopeType.Local ||
+        scopes[i] == debug.ScopeType.Script ||
         scopes[i] == debug.ScopeType.Closure) {
       assertTrue(response.body.scopes[i].object.ref < 0);
     } else {
       assertTrue(response.body.scopes[i].object.ref >= 0);
     }
     var found = false;
     for (var j = 0; j < response.refs.length && !found; j++) {
       found = response.refs[j].handle == response.body.scopes[i].object.ref;
     }
     assertTrue(found, "Scope object " + response.body.scopes[i].object.ref + " not found");
@@ skipping 69 matching lines @@
 BeginTest("Local block 1");
 
 function local_block_1() {
   {
     debugger;
   }
 }
 
 listener_delegate = function(exec_state) {
   CheckScopeChain([debug.ScopeType.Local,
+                   debug.ScopeType.Script,
                    debug.ScopeType.Global], exec_state);
   CheckScopeContent({}, 0, exec_state);
 };
 local_block_1();
 EndTest();
 
 
 // Simple empty block scope in local scope with a parameter.
 BeginTest("Local 2");
 
 function local_2(a) {
   {
     debugger;
   }
 }
 
 listener_delegate = function(exec_state) {
   CheckScopeChain([debug.ScopeType.Local,
+                   debug.ScopeType.Script,
                    debug.ScopeType.Global], exec_state);
   CheckScopeContent({a:1}, 0, exec_state);
 };
 local_2(1);
 EndTest();
 
 
 // Local scope with a parameter and a local variable.
 BeginTest("Local 3");
 
 function local_3(a) {
   let x = 3;
   debugger;
 }
 
 listener_delegate = function(exec_state) {
   CheckScopeChain([debug.ScopeType.Local,
+                   debug.ScopeType.Script,
                    debug.ScopeType.Global], exec_state);
   CheckScopeContent({a:1,x:3}, 0, exec_state);
 };
 local_3(1);
 EndTest();
 
 
 // Local scope with parameters and local variables.
 BeginTest("Local 4");
 
 function local_4(a, b) {
   let x = 3;
   let y = 4;
   debugger;
 }
 
 listener_delegate = function(exec_state) {
   CheckScopeChain([debug.ScopeType.Local,
+                   debug.ScopeType.Script,
                    debug.ScopeType.Global], exec_state);
   CheckScopeContent({a:1,b:2,x:3,y:4}, 0, exec_state);
 };
 local_4(1, 2);
 EndTest();
 
 
 // Single variable in a block scope.
 BeginTest("Local 5");
 
 function local_5(a) {
   {
     let x = 5;
     debugger;
   }
 }
 
 listener_delegate = function(exec_state) {
   CheckScopeChain([debug.ScopeType.Block,
                    debug.ScopeType.Local,
+                   debug.ScopeType.Script,
                    debug.ScopeType.Global], exec_state);
   CheckScopeContent({x:5}, 0, exec_state);
   CheckScopeContent({a:1}, 1, exec_state);
 };
 local_5(1);
 EndTest();
 
 
 // Two variables in a block scope.
 BeginTest("Local 6");
 
 function local_6(a) {
   {
     let x = 6;
     let y = 7;
     debugger;
   }
 }
 
 listener_delegate = function(exec_state) {
   CheckScopeChain([debug.ScopeType.Block,
                    debug.ScopeType.Local,
+                   debug.ScopeType.Script,
                    debug.ScopeType.Global], exec_state);
   CheckScopeContent({x:6,y:7}, 0, exec_state);
   CheckScopeContent({a:1}, 1, exec_state);
 };
 local_6(1);
 EndTest();
 
 
 // Two variables in a block scope.
 BeginTest("Local 7");
 
 function local_7(a) {
   {
     {
       let x = 8;
       debugger;
     }
   }
 }
 
 listener_delegate = function(exec_state) {
   CheckScopeChain([debug.ScopeType.Block,
                    debug.ScopeType.Local,
+                   debug.ScopeType.Script,
                    debug.ScopeType.Global], exec_state);
   CheckScopeContent({x:8}, 0, exec_state);
   CheckScopeContent({a:1}, 1, exec_state);
 };
 local_7(1);
 EndTest();
 
 
 // Simple closure formed by returning an inner function referering to an outer
 // block local variable and an outer function's parameter.
 BeginTest("Closure 1");
 
 function closure_1(a) {
   var x = 2;
   let y = 3;
   if (true) {
     let z = 4;
     function f() {
       debugger;
       return a + x + y + z;
     };
     return f;
   }
 }
 
 listener_delegate = function(exec_state) {
   CheckScopeChain([debug.ScopeType.Local,
                    debug.ScopeType.Block,
                    debug.ScopeType.Closure,
+                   debug.ScopeType.Script,
                    debug.ScopeType.Global], exec_state);
   CheckScopeContent({}, 0, exec_state);
   CheckScopeContent({a:1,x:2,y:3}, 2, exec_state);
 };
 closure_1(1)();
 EndTest();
 
 
 // Simple for-in loop over the keys of an object.
 BeginTest("For loop 1");
 
 function for_loop_1() {
   for (let x in {y:undefined}) {
     debugger;
   }
 }
 
 listener_delegate = function(exec_state) {
   CheckScopeChain([debug.ScopeType.Block,
                    debug.ScopeType.Local,
+                   debug.ScopeType.Script,
                    debug.ScopeType.Global], exec_state);
   CheckScopeContent({x:'y'}, 0, exec_state);
   // The function scope contains a temporary iteration variable, but it is
   // hidden to the debugger.
   CheckScopeContent({}, 1, exec_state);
 };
 for_loop_1();
 EndTest();
 
 
 // For-in loop over the keys of an object with a block scoped let variable
 // shadowing the iteration variable.
 BeginTest("For loop 2");
 
 function for_loop_2() {
   for (let x in {y:undefined}) {
     let x = 3;
     debugger;
   }
 }
 
 listener_delegate = function(exec_state) {
   CheckScopeChain([debug.ScopeType.Block,
                    debug.ScopeType.Block,
                    debug.ScopeType.Local,
+                   debug.ScopeType.Script,
                    debug.ScopeType.Global], exec_state);
   CheckScopeContent({x:3}, 0, exec_state);
   CheckScopeContent({x:'y'}, 1, exec_state);
   // The function scope contains a temporary iteration variable, hidden to the
   // debugger.
   CheckScopeContent({}, 2, exec_state);
 };
 for_loop_2();
 EndTest();
 
 
 // Simple for loop.
 BeginTest("For loop 3");
 
 function for_loop_3() {
   for (let x = 3; x < 4; ++x) {
     debugger;
   }
 }
 
 listener_delegate = function(exec_state) {
   CheckScopeChain([debug.ScopeType.Block,
                    debug.ScopeType.Block,
                    debug.ScopeType.Local,
+                   debug.ScopeType.Script,
                    debug.ScopeType.Global], exec_state);
   CheckScopeContent({x:3}, 0, exec_state);
   CheckScopeContent({x:3}, 1, exec_state);
   CheckScopeContent({}, 2, exec_state);
 };
 for_loop_3();
 EndTest();
 
 
 // For loop with a block scoped let variable shadowing the iteration variable.
 BeginTest("For loop 4");
 
 function for_loop_4() {
   for (let x = 3; x < 4; ++x) {
     let x = 5;
     debugger;
   }
 }
 
 listener_delegate = function(exec_state) {
   CheckScopeChain([debug.ScopeType.Block,
                    debug.ScopeType.Block,
                    debug.ScopeType.Block,
                    debug.ScopeType.Local,
+                   debug.ScopeType.Script,
                    debug.ScopeType.Global], exec_state);
   CheckScopeContent({x:5}, 0, exec_state);
   CheckScopeContent({x:3}, 1, exec_state);
   CheckScopeContent({x:3}, 2, exec_state);
   CheckScopeContent({}, 3, exec_state);
 };
 for_loop_4();
 EndTest();
 
 
 // For loop with two variable declarations.
 BeginTest("For loop 5");
 
 function for_loop_5() {
   for (let x = 3, y = 5; x < 4; ++x) {
     debugger;
   }
 }
 
 listener_delegate = function(exec_state) {
   CheckScopeChain([debug.ScopeType.Block,
                    debug.ScopeType.Block,
                    debug.ScopeType.Local,
+                   debug.ScopeType.Script,
                    debug.ScopeType.Global], exec_state);
   CheckScopeContent({x:3,y:5}, 0, exec_state);
   CheckScopeContent({x:3,y:5}, 1, exec_state);
   CheckScopeContent({}, 2, exec_state);
 };
 for_loop_5();
 EndTest();