load(libdir + "asserts.js");
load(libdir + "eqArrayHelper.js");
load(libdir + "iteration.js");

let makeCall    = farg => Function("f", "arg", "return f(" + farg + ");");
let makeFunCall = farg => Function("f", "arg", "return f.call(null, " + farg + ");");
let makeNew     = farg => Function("f", "arg", "return new f(" + farg + ").value;");

function checkCommon(f, makeFn) {
  assertEqArray(makeFn("...[1, 2, 3]")(f), [1, 2, 3]);
  assertEqArray(makeFn("1, ...[2], 3")(f), [1, 2, 3]);
  assertEqArray(makeFn("1, ...[2], ...[3]")(f), [1, 2, 3]);
  assertEqArray(makeFn("1, ...[2, 3]")(f), [1, 2, 3]);
  assertEqArray(makeFn("1, ...[], 2, 3")(f), [1, 2, 3]);

  // other iterable objects
  assertEqArray(makeFn("...arg")(f, new Int32Array([1, 2, 3])), [1, 2, 3]);
  assertEqArray(makeFn("...arg")(f, "abc"), ["a", "b", "c"]);
  assertEqArray(makeFn("...arg")(f, [1, 2, 3][Symbol.iterator]()), [1, 2, 3]);
  assertEqArray(makeFn("...arg")(f, new Set([1, 2, 3])), [1, 2, 3]);
  assertEqArray(makeFn("...arg")(f, new Map([["a", "A"], ["b", "B"], ["c", "C"]])).map(([k, v]) => k + v), ["aA", "bB", "cC"]);
  let itr = {};
  itr[Symbol.iterator] = function() {
      return {
          i: 1,
          next: function() {
              if (this.i < 4)
                  return { value: this.i++, done: false };
              else
                  return { value: undefined, done: true };
          }
      };
  };
  assertEqArray(makeFn("...arg")(f, itr), [1, 2, 3]);
  function gen() {
      for (let i = 1; i < 4; i ++)
          yield i;
  }
  assertEqArray(makeFn("...arg")(f, gen()), [1, 2, 3]);

  assertEqArray(makeFn("...arg=[1, 2, 3]")(f), [1, 2, 3]);

  // 12.2.4.1.2 Runtime Semantics: ArrayAccumulation
  // If Type(spreadObj) is not Object, then throw a TypeError exception.
  assertThrowsInstanceOf(makeFn("1, ...null, 2, 3"), TypeError);
  assertThrowsInstanceOf(makeFn("1, ...undefined, 2, 3"), TypeError);
}

function checkNormal(f, makeFn) {
  checkCommon(f, makeFn);

  assertEqArray(makeFn("...[]")(f), [undefined, undefined, undefined]);
  assertEqArray(makeFn("...[1]")(f), [1, undefined, undefined]);
  assertEqArray(makeFn("...[1, 2]")(f), [1, 2, undefined]);
  assertEqArray(makeFn("...[1, 2, 3, 4]")(f), [1, 2, 3]);

  assertEqArray(makeFn("...[undefined]")(f), [undefined, undefined, undefined]);
}

checkNormal(function(a, b, c) [a, b, c], makeCall);
checkNormal(function(a, b, c) [a, b, c], makeFunCall);
checkNormal((a, b, c) => [a, b, c], makeCall);
checkNormal((a, b, c) => [a, b, c], makeFunCall);
function normalClass(a, b, c) {
  this.value = [a, b, c];
  assertEq(Object.getPrototypeOf(this), normalClass.prototype);
}
checkNormal(normalClass, makeNew);

function checkDefault(f, makeFn) {
  checkCommon(f, makeFn);

  assertEqArray(makeFn("...[]")(f), [-1, -2, -3]);
  assertEqArray(makeFn("...[1]")(f), [1, -2, -3]);
  assertEqArray(makeFn("...[1, 2]")(f), [1, 2, -3]);
  assertEqArray(makeFn("...[1, 2, 3, 4]")(f), [1, 2, 3]);

  assertEqArray(makeFn("...[undefined]")(f), [-1, -2, -3]);
}

checkDefault(function(a = -1, b = -2, c = -3) [a, b, c], makeCall);
checkDefault(function(a = -1, b = -2, c = -3) [a, b, c], makeFunCall);
checkDefault((a = -1, b = -2, c = -3) => [a, b, c], makeCall);
checkDefault((a = -1, b = -2, c = -3) => [a, b, c], makeFunCall);
function defaultClass(a = -1, b = -2, c = -3) {
  this.value = [a, b, c];
  assertEq(Object.getPrototypeOf(this), defaultClass.prototype);
}
checkDefault(defaultClass, makeNew);

function checkRest(f, makeFn) {
  checkCommon(f, makeFn);

  assertEqArray(makeFn("...[]")(f), []);
  assertEqArray(makeFn("1, ...[2, 3, 4], 5")(f), [1, 2, 3, 4, 5]);
  assertEqArray(makeFn("1, ...[], 2")(f), [1, 2]);
  assertEqArray(makeFn("1, ...[2, 3], 4, ...[5, 6]")(f), [1, 2, 3, 4, 5, 6]);

  assertEqArray(makeFn("...[undefined]")(f), [undefined]);
}

checkRest(function(...x) x, makeCall);
checkRest(function(...x) x, makeFunCall);
checkRest((...x) => x, makeCall);
checkRest((...x) => x, makeFunCall);
function restClass(...x) {
  this.value = x;
  assertEq(Object.getPrototypeOf(this), restClass.prototype);
}
checkRest(restClass, makeNew);
