Home | History | Annotate | Download | only in harmony
      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