[debug-wrapper] migrate some scope related tests

test/mjsunit/es6/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
-//       with the distribution.
-//     * Neither the name of Google Inc. nor the names of its
-//       contributors may be used to endorse or promote products derived
-//       from this software without specific prior written permission.
-//
-// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
-// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
-// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
-// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
-// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
-// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
-// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
-// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
-// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
-// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
-// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-
-// Flags: --expose-debug-as debug --allow-natives-syntax --noanalyze-environment-liveness
-// The functions used for testing backtraces. They are at the top to make the
-// testing of source line/column easier.
-
-"use strict";
-
-// Get the Debug object exposed from the debug context global object.
-var Debug = debug.Debug;
-
-var test_name;
-var listener_delegate;
-var listener_called;
-var exception;
-var begin_test_count = 0;
-var end_test_count = 0;
-var break_count = 0;
-
-
-// Debug event listener which delegates.
-function listener(event, exec_state, event_data, data) {
-  try {
-    if (event == Debug.DebugEvent.Break) {
-      break_count++;
-      listener_called = true;
-      listener_delegate(exec_state);
-    }
-  } catch (e) {
-    print(e, e.stack);
-    exception = e;
-  }
-}
-
-// Add the debug event listener.
-Debug.setListener(listener);
-
-
-// Initialize for a new test.
-function BeginTest(name) {
-  test_name = name;
-  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, 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);
-    assertTrue(scope.isScope());
-    assertEquals(scopes[i], scope.scopeType());
-
-    // Check the global object when hitting the global scope.
-    if (scopes[i] == debug.ScopeType.Global) {
-      // Objects don't have same class (one is "global", other is "Object",
-      // so just check the properties directly.
-      assertPropertiesEqual(global_object, scope.scopeObject().value());
-    }
-  }
-}
-
-// Check that the content of the scope is as expected. For functions just check
-// that there is a function.
-function CheckScopeContent(content, number, exec_state) {
-  var scope = exec_state.frame().scope(number);
-  var count = 0;
-  for (var p in content) {
-    var property_mirror = scope.scopeObject().property(p);
-    if (property_mirror.isUndefined()) {
-      print('property ' + p + ' not found in scope');
-    }
-    assertFalse(property_mirror.isUndefined(),
-                'property ' + p + ' not found in scope');
-    if (typeof(content[p]) === 'function') {
-      assertTrue(property_mirror.value().isFunction());
-    } else {
-      assertEquals(content[p], property_mirror.value().value(),
-                   'property ' + p + ' has unexpected value');
-    }
-    count++;
-  }
-
-  // 'arguments' and might be exposed in the local and closure scope. Just
-  // ignore this.
-  var scope_size = scope.scopeObject().properties().length;
-  if (!scope.scopeObject().property('arguments').isUndefined()) {
-    scope_size--;
-  }
-  // Temporary variables introduced by the parser have not been materialized.
-  assertTrue(scope.scopeObject().property('').isUndefined());
-
-  if (count != scope_size) {
-    print('Names found in scope:');
-    var names = scope.scopeObject().propertyNames();
-    for (var i = 0; i < names.length; i++) {
-      print(names[i]);
-    }
-  }
-  assertEquals(count, scope_size);
-}
-
-
-function assertEqualsUnlessOptimized(expected, value, f) {
-  try {
-    assertEquals(expected, value);
-  } catch (e) {
-    assertOptimized(f);
-  }
-}
-
-// Simple empty block scope in local scope.
-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.
-};
-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.
-};
-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.Local,
-                   debug.ScopeType.Script,
-                   debug.ScopeType.Global], exec_state);
-  CheckScopeContent({x:3}, 0, exec_state);
-  CheckScopeContent({}, 1, 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.Local,
-                   debug.ScopeType.Script,
-                   debug.ScopeType.Global], exec_state);
-  CheckScopeContent({x:5}, 0, exec_state);
-  CheckScopeContent({x:3}, 1, exec_state);
-  CheckScopeContent({}, 2, 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.Local,
-                   debug.ScopeType.Script,
-                   debug.ScopeType.Global], exec_state);
-  CheckScopeContent({x:3,y:5}, 0, exec_state);
-  CheckScopeContent({}, 1, exec_state);
-};
-for_loop_5();
-EndTest();
-
-
-// Uninitialized variables
-BeginTest("Uninitialized 1");
-
-function uninitialized_1() {
-  {
-    debugger;
-    let x = 1;
-  }
-}
-
-listener_delegate = function(exec_state) {
-  CheckScopeChain([debug.ScopeType.Block,
-                   debug.ScopeType.Local,
-                   debug.ScopeType.Script,
-                   debug.ScopeType.Global], exec_state);
-  CheckScopeContent({x:undefined}, 0, exec_state);
-};
-uninitialized_1();
-EndTest();
-
-
-// Block scopes shadowing
-BeginTest("Block scopes shadowing 1");
-function shadowing_1() {
-  let i = 0;
-  {
-    let i = 5;
-    debugger;
-  }
-  assertEquals(0, i);
-}
-
-listener_delegate = function (exec_state) {
-  assertEqualsUnlessOptimized(5, exec_state.frame(0).evaluate("i").value());
-}
-shadowing_1();
-EndTest();
-
-
-// Block scopes shadowing
-BeginTest("Block scopes shadowing 2");
-function shadowing_2() {
-  let i = 0;
-  {
-    let j = 5;
-    debugger;
-  }
-}
-
-listener_delegate = function (exec_state) {
-  assertEqualsUnlessOptimized(0, exec_state.frame(0).evaluate("i").value());
-  assertEqualsUnlessOptimized(5, exec_state.frame(0).evaluate("j").value());
-}
-shadowing_2();
-EndTest();