diff options
Diffstat (limited to 'deps/v8/test/debugger/debug/es6/debug-blockscopes.js')
-rw-r--r-- | deps/v8/test/debugger/debug/es6/debug-blockscopes.js | 487 |
1 files changed, 487 insertions, 0 deletions
diff --git a/deps/v8/test/debugger/debug/es6/debug-blockscopes.js b/deps/v8/test/debugger/debug/es6/debug-blockscopes.js new file mode 100644 index 0000000000..001c098c69 --- /dev/null +++ b/deps/v8/test/debugger/debug/es6/debug-blockscopes.js @@ -0,0 +1,487 @@ +// 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 +// 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(); |