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.
33var Debug = debug.Debug;
34
35function 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.
48var ScopeType = { Global: 0,
49                  Local: 1,
50                  With: 2,
51                  Closure: 3,
52                  Catch: 4,
53                  Block: 5 };
54
55var 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
73var mirror = Debug.MakeMirror(f1);
74
75assertEquals(4, mirror.scopeCount());
76
77CheckScope(mirror.scope(0), { a: 4, b: 5 }, ScopeType.Closure);
78CheckScope(mirror.scope(1), { z: 22, w: 5, v: "Capybara" }, ScopeType.Closure);
79CheckScope(mirror.scope(2), { x: 5 }, ScopeType.Closure);
80CheckScope(mirror.scope(3), {}, ScopeType.Global);
81
82var 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
105var mirror = Debug.MakeMirror(f2);
106
107assertEquals(5, mirror.scopeCount());
108
109// Implementation artifact: l4 isn't used in closure, but still it is saved.
110CheckScope(mirror.scope(0), { l4: 11 }, ScopeType.Block);
111
112CheckScope(mirror.scope(1), { l3: 9 }, ScopeType.Block);
113CheckScope(mirror.scope(2), { l1: 6, l2: 7 }, ScopeType.Block);
114CheckScope(mirror.scope(3), { v1:3, l0: 0, v3: 5, v6: 11 }, ScopeType.Closure);
115CheckScope(mirror.scope(4), {}, ScopeType.Global);
116