1 // Copyright 2012 the V8 project authors. All rights reserved. 2 // Redistribution and use in source and binary forms, with or without 3 // modification, are permitted provided that the following conditions are 4 // met: 5 // 6 // * Redistributions of source code must retain the above copyright 7 // notice, this list of conditions and the following disclaimer. 8 // * Redistributions in binary form must reproduce the above 9 // copyright notice, this list of conditions and the following 10 // disclaimer in the documentation and/or other materials provided 11 // with the distribution. 12 // * Neither the name of Google Inc. nor the names of its 13 // contributors may be used to endorse or promote products derived 14 // from this software without specific prior written permission. 15 // 16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 17 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 18 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 19 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 20 // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 21 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 22 // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 23 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 24 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 25 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 26 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 27 28 // Flags: --expose-debug-as debug --harmony-scoping 29 30 "use strict"; 31 32 // Get the Debug object exposed from the debug context global object. 33 var Debug = debug.Debug; 34 35 function CheckScope(scope_mirror, scope_expectations, expected_scope_type) { 36 assertEquals(expected_scope_type, scope_mirror.scopeType()); 37 38 var scope_object = scope_mirror.scopeObject().value(); 39 40 for (let name in scope_expectations) { 41 let actual = scope_object[name]; 42 let expected = scope_expectations[name]; 43 assertEquals(expected, actual); 44 } 45 } 46 47 // A copy of the scope types from mirror-debugger.js. 48 var ScopeType = { Global: 0, 49 Local: 1, 50 With: 2, 51 Closure: 3, 52 Catch: 4, 53 Block: 5 }; 54 55 var f1 = (function F1(x) { 56 function F2(y) { 57 var z = x + y; 58 { 59 var w = 5; 60 var v = "Capybara"; 61 var F3 = function(a, b) { 62 function F4(p) { 63 return p + a + b + z + w + v.length; 64 } 65 return F4; 66 } 67 return F3(4, 5); 68 } 69 } 70 return F2(17); 71 })(5); 72 73 var mirror = Debug.MakeMirror(f1); 74 75 assertEquals(4, mirror.scopeCount()); 76 77 CheckScope(mirror.scope(0), { a: 4, b: 5 }, ScopeType.Closure); 78 CheckScope(mirror.scope(1), { z: 22, w: 5, v: "Capybara" }, ScopeType.Closure); 79 CheckScope(mirror.scope(2), { x: 5 }, ScopeType.Closure); 80 CheckScope(mirror.scope(3), {}, ScopeType.Global); 81 82 var f2 = (function() { 83 var v1 = 3; 84 var v2 = 4; 85 let l0 = 0; 86 { 87 var v3 = 5; 88 let l1 = 6; 89 let l2 = 7; 90 { 91 var v4 = 8; 92 let l3 = 9; 93 { 94 var v5 = "Cat"; 95 let l4 = 11; 96 var v6 = l4; 97 return function() { 98 return l0 + v1 + v3 + l2 + l3 + v6; 99 }; 100 } 101 } 102 } 103 })(); 104 105 var mirror = Debug.MakeMirror(f2); 106 107 assertEquals(5, mirror.scopeCount()); 108 109 // Implementation artifact: l4 isn't used in closure, but still it is saved. 110 CheckScope(mirror.scope(0), { l4: 11 }, ScopeType.Block); 111 112 CheckScope(mirror.scope(1), { l3: 9 }, ScopeType.Block); 113 CheckScope(mirror.scope(2), { l1: 6, l2: 7 }, ScopeType.Block); 114 CheckScope(mirror.scope(3), { v1:3, l0: 0, v3: 5, v6: 11 }, ScopeType.Closure); 115 CheckScope(mirror.scope(4), {}, ScopeType.Global); 116