deps/v8/test/mjsunit/harmony/debug-function-scopes.js

   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 let top_level_let = 255;
  32
  33 // Get the Debug object exposed from the debug context global object.
  34 var Debug = debug.Debug;
  35
  36 function CheckScope(scope_mirror, scope_expectations, expected_scope_type) {
  37   assertEquals(expected_scope_type, scope_mirror.scopeType());
  38
  39   var scope_object = scope_mirror.scopeObject().value();
  40
  41   for (let name in scope_expectations) {
  42     let actual = scope_object[name];
  43     let expected = scope_expectations[name];
  44     assertEquals(expected, actual);
  45   }
  46 }
  47
  48 // A copy of the scope types from mirror-debugger.js.
  49 var ScopeType = { Global: 0,
  50                   Local: 1,
  51                   With: 2,
  52                   Closure: 3,
  53                   Catch: 4,
  54                   Block: 5,
  55                   Script: 6};
  56
  57 var f1 = (function F1(x) {
  58   function F2(y) {
  59     var z = x + y;
  60     {
  61       var w =  5;
  62       var v = "Capybara";
  63       var F3 = function(a, b) {
  64         function F4(p) {
  65           return p + a + b + z + w + v.length;
  66         }
  67         return F4;
  68       }
  69       return F3(4, 5);
  70     }
  71   }
  72   return F2(17);
  73 })(5);
  74
  75 var mirror = Debug.MakeMirror(f1);
  76
  77 assertEquals(5, mirror.scopeCount());
  78
  79 CheckScope(mirror.scope(0), { a: 4, b: 5 }, ScopeType.Closure);
  80 CheckScope(mirror.scope(1), { z: 22, w: 5, v: "Capybara" }, ScopeType.Closure);
  81 CheckScope(mirror.scope(2), { x: 5 }, ScopeType.Closure);
  82 CheckScope(mirror.scope(3), { top_level_let: 255 }, ScopeType.Script);
  83 CheckScope(mirror.scope(4), {}, ScopeType.Global);
  84
  85 var f2 = (function() {
  86   var v1 = 3;
  87   var v2 = 4;
  88   let l0 = 0;
  89   {
  90     var v3 = 5;
  91     let l1 = 6;
  92     let l2 = 7;
  93     {
  94       var v4 = 8;
  95       let l3 = 9;
  96       {
  97         var v5 = "Cat";
  98         let l4 = 11;
  99         var v6 = l4;
 100         return function() {
 101           return l0 + v1 + v3 + l2 + l3 + v6;
 102         };
 103       }
 104     }
 105   }
 106 })();
 107
 108 var mirror = Debug.MakeMirror(f2);
 109
 110 assertEquals(6, mirror.scopeCount());
 111
 112 // Implementation artifact: l4 isn't used in closure, but still it is saved.
 113 CheckScope(mirror.scope(0), { l4: 11 }, ScopeType.Block);
 114
 115 CheckScope(mirror.scope(1), { l3: 9 }, ScopeType.Block);
 116 CheckScope(mirror.scope(2), { l1: 6, l2: 7 }, ScopeType.Block);
 117 CheckScope(mirror.scope(3), { v1:3, l0: 0, v3: 5, v6: 11 }, ScopeType.Closure);
 118 CheckScope(mirror.scope(4), { top_level_let: 255 }, ScopeType.Script);
 119 CheckScope(mirror.scope(5), {}, ScopeType.Global);