// Verify the environment chain for Debugger.Object described in
// js/src/vm/EnvironmentObject.h.

// WithEnvironmentObject shouldn't be created if if all bindings are shadowed,
// even if the script has direct eval.

const g = newGlobal({newCompartment: true});
const dbg = new Debugger();
const gw = dbg.addDebuggee(g);

const bindings = {
  bindings_prop_var: 61,
  bindings_prop_lexical: 71,
  bindings_prop_lexical2: 71,
};

const {envs, vars} = JSON.parse(gw.executeInGlobalWithBindings(`
eval('');
var bindings_prop_var = 60;
let bindings_prop_lexical = 70;
let bindings_prop_lexical2;
bindings_prop_lexical2 = 70;

const vars = {
  bindings_prop_var,
  bindings_prop_lexical,
  bindings_prop_lexical2,
};

const envs = [];
let env = getInnerMostEnvironmentObject();
while (env) {
  envs.push({
    type: getEnvironmentObjectType(env) || "*global*",

    bindings_prop_var: !!Object.getOwnPropertyDescriptor(env, "bindings_prop_var"),
    bindings_prop_var_value: Object.getOwnPropertyDescriptor(env, "bindings_prop_var")?.value,
    bindings_prop_lexical: !!Object.getOwnPropertyDescriptor(env, "bindings_prop_lexical"),
    bindings_prop_lexical_value: Object.getOwnPropertyDescriptor(env, "bindings_prop_lexical")?.value,
    bindings_prop_lexical2: !!Object.getOwnPropertyDescriptor(env, "bindings_prop_lexical2"),
    bindings_prop_lexical2_value: Object.getOwnPropertyDescriptor(env, "bindings_prop_lexical2")?.value,
  });

  env = getEnclosingEnvironmentObject(env);
}
JSON.stringify({envs, vars});
`, bindings).return);

assertEq(vars.bindings_prop_var, 60,
         "qualified var should read the value set by the declaration");
assertEq(vars.bindings_prop_lexical, 70,
         "lexical should read the value set by the declaration");
assertEq(vars.bindings_prop_lexical2, 70,
         "lexical should read the value set by the assignment");

assertEq(bindings.bindings_prop_var, 61,
         "the original bindings property must not be overwritten for var");
assertEq(bindings.bindings_prop_lexical, 71,
         "the original bindings property must not be overwritten for lexical");
assertEq(bindings.bindings_prop_lexical2, 71,
         "the original bindings property must not be overwritten for lexical");

assertEq(envs.length, 2,
         "WithEnvironmentObject shouldn't be created if if all bindings are " +
         "shadowed, even if the script has direct eval");

let i = 0, env;

env = envs[i]; i++;
assertEq(env.type, "GlobalLexicalEnvironmentObject");
assertEq(env.bindings_prop_var, false);
assertEq(env.bindings_prop_lexical, true,
         "lexical must live in the GlobalLexicalEnvironmentObject even if it conflicts with the bindings object property");
assertEq(env.bindings_prop_lexical_value, 70);
assertEq(env.bindings_prop_lexical2, true,
         "lexical must live in the GlobalLexicalEnvironmentObject even if it conflicts with the bindings object property");
assertEq(env.bindings_prop_lexical2_value, 70,
         "lexical value must be set by the assignment even if it conflicts with the bindings object property");

env = envs[i]; i++;
assertEq(env.type, "*global*");

assertEq(env.bindings_prop_var, true,
         "qualified var binding must be created in the global even if it conflicts with the bindings object property");
assertEq(env.bindings_prop_var_value, 60,
         "qualified var value must be set even if it conflicts with the bindings object property");
assertEq(env.bindings_prop_lexical, false);
assertEq(env.bindings_prop_lexical2, false);
