// 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: --noanalyze-environment-liveness --opt // The functions used for testing backtraces. They are at the top to make the // testing of source line/column easier. "use strict"; 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; var global_marker = 7; // 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, "listener 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); 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. assertEquals(global_object.global_marker, scope.scopeObject().value().global_marker); } } } // 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'); 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();