diff --git a/test/built-ins/Array/proto-from-ctor-realm-one.js b/test/built-ins/Array/proto-from-ctor-realm-one.js new file mode 100644 index 0000000000..2289a98d4a --- /dev/null +++ b/test/built-ins/Array/proto-from-ctor-realm-one.js @@ -0,0 +1,54 @@ +// Copyright (C) 2019 Alexey Shvayka. All rights reserved. +// This code is governed by the BSD license found in the LICENSE file. + +/*--- +esid: sec-array-len +description: Default [[Prototype]] value derived from realm of the NewTarget. +info: | + Array ( len ) + + ... + 3. If NewTarget is undefined, let newTarget be the active function object; else let newTarget be NewTarget. + 4. Let proto be ? GetPrototypeFromConstructor(newTarget, "%Array.prototype%"). + 5. Let array be ! ArrayCreate(0, proto). + ... + 9. Return array. + + GetPrototypeFromConstructor ( constructor, intrinsicDefaultProto ) + + ... + 3. Let proto be ? Get(constructor, "prototype"). + 4. If Type(proto) is not Object, then + a. Let realm be ? GetFunctionRealm(constructor). + b. Set proto to realm's intrinsic object named intrinsicDefaultProto. + 5. Return proto. +features: [cross-realm, Reflect, Symbol] +---*/ + +var other = $262.createRealm().global; +var newTarget = new other.Function(); +var arr; + +newTarget.prototype = undefined; +arr = Reflect.construct(Array, [1], newTarget); +assert.sameValue(Object.getPrototypeOf(arr), other.Array.prototype, 'newTarget.prototype is undefined'); + +newTarget.prototype = null; +arr = Reflect.construct(Array, [1], newTarget); +assert.sameValue(Object.getPrototypeOf(arr), other.Array.prototype, 'newTarget.prototype is null'); + +newTarget.prototype = true; +arr = Reflect.construct(Array, [1], newTarget); +assert.sameValue(Object.getPrototypeOf(arr), other.Array.prototype, 'newTarget.prototype is a Boolean'); + +newTarget.prototype = ''; +arr = Reflect.construct(Array, [1], newTarget); +assert.sameValue(Object.getPrototypeOf(arr), other.Array.prototype, 'newTarget.prototype is a String'); + +newTarget.prototype = Symbol(); +arr = Reflect.construct(Array, [1], newTarget); +assert.sameValue(Object.getPrototypeOf(arr), other.Array.prototype, 'newTarget.prototype is a Symbol'); + +newTarget.prototype = 0; +arr = Reflect.construct(Array, [1], newTarget); +assert.sameValue(Object.getPrototypeOf(arr), other.Array.prototype, 'newTarget.prototype is a Number'); diff --git a/test/built-ins/Array/proto-from-ctor-realm-two.js b/test/built-ins/Array/proto-from-ctor-realm-two.js new file mode 100644 index 0000000000..4df83c466e --- /dev/null +++ b/test/built-ins/Array/proto-from-ctor-realm-two.js @@ -0,0 +1,54 @@ +// Copyright (C) 2019 Alexey Shvayka. All rights reserved. +// This code is governed by the BSD license found in the LICENSE file. + +/*--- +esid: sec-array-items +description: Default [[Prototype]] value derived from realm of the NewTarget. +info: | + Array ( ...items ) + + ... + 3. If NewTarget is undefined, let newTarget be the active function object; else let newTarget be NewTarget. + 4. Let proto be ? GetPrototypeFromConstructor(newTarget, "%Array.prototype%"). + 5. Let array be ? ArrayCreate(numberOfArgs, proto). + ... + 10. Return array. + + GetPrototypeFromConstructor ( constructor, intrinsicDefaultProto ) + + ... + 3. Let proto be ? Get(constructor, "prototype"). + 4. If Type(proto) is not Object, then + a. Let realm be ? GetFunctionRealm(constructor). + b. Set proto to realm's intrinsic object named intrinsicDefaultProto. + 5. Return proto. +features: [cross-realm, Reflect, Symbol] +---*/ + +var other = $262.createRealm().global; +var newTarget = new other.Function(); +var arr; + +newTarget.prototype = undefined; +arr = Reflect.construct(Array, ['a', 'b'], newTarget); +assert.sameValue(Object.getPrototypeOf(arr), other.Array.prototype, 'newTarget.prototype is undefined'); + +newTarget.prototype = null; +arr = Reflect.construct(Array, ['a', 'b'], newTarget); +assert.sameValue(Object.getPrototypeOf(arr), other.Array.prototype, 'newTarget.prototype is null'); + +newTarget.prototype = false; +arr = Reflect.construct(Array, ['a', 'b'], newTarget); +assert.sameValue(Object.getPrototypeOf(arr), other.Array.prototype, 'newTarget.prototype is a Boolean'); + +newTarget.prototype = ''; +arr = Reflect.construct(Array, ['a', 'b'], newTarget); +assert.sameValue(Object.getPrototypeOf(arr), other.Array.prototype, 'newTarget.prototype is a String'); + +newTarget.prototype = Symbol(); +arr = Reflect.construct(Array, ['a', 'b'], newTarget); +assert.sameValue(Object.getPrototypeOf(arr), other.Array.prototype, 'newTarget.prototype is a Symbol'); + +newTarget.prototype = -1; +arr = Reflect.construct(Array, ['a', 'b'], newTarget); +assert.sameValue(Object.getPrototypeOf(arr), other.Array.prototype, 'newTarget.prototype is a Number'); diff --git a/test/built-ins/Array/proto-from-ctor-realm-zero.js b/test/built-ins/Array/proto-from-ctor-realm-zero.js new file mode 100644 index 0000000000..17419e0847 --- /dev/null +++ b/test/built-ins/Array/proto-from-ctor-realm-zero.js @@ -0,0 +1,52 @@ +// Copyright (C) 2016 the V8 project authors. All rights reserved. +// This code is governed by the BSD license found in the LICENSE file. + +/*--- +esid: sec-array-constructor-array +description: Default [[Prototype]] value derived from realm of the NewTarget. +info: | + Array ( ) + + ... + 3. If NewTarget is undefined, let newTarget be the active function object; else let newTarget be NewTarget. + 4. Let proto be ? GetPrototypeFromConstructor(newTarget, "%Array.prototype%"). + 5. Return ! ArrayCreate(0, proto). + + GetPrototypeFromConstructor ( constructor, intrinsicDefaultProto ) + + ... + 3. Let proto be ? Get(constructor, "prototype"). + 4. If Type(proto) is not Object, then + a. Let realm be ? GetFunctionRealm(constructor). + b. Set proto to realm's intrinsic object named intrinsicDefaultProto. + 5. Return proto. +features: [cross-realm, Reflect, Symbol] +---*/ + +var other = $262.createRealm().global; +var newTarget = new other.Function(); +var arr; + +newTarget.prototype = undefined; +arr = Reflect.construct(Array, [], newTarget); +assert.sameValue(Object.getPrototypeOf(arr), other.Array.prototype, 'newTarget.prototype is undefined'); + +newTarget.prototype = null; +arr = Reflect.construct(Array, [], newTarget); +assert.sameValue(Object.getPrototypeOf(arr), other.Array.prototype, 'newTarget.prototype is null'); + +newTarget.prototype = true; +arr = Reflect.construct(Array, [], newTarget); +assert.sameValue(Object.getPrototypeOf(arr), other.Array.prototype, 'newTarget.prototype is a Boolean'); + +newTarget.prototype = 'str'; +arr = Reflect.construct(Array, [], newTarget); +assert.sameValue(Object.getPrototypeOf(arr), other.Array.prototype, 'newTarget.prototype is a String'); + +newTarget.prototype = Symbol(); +arr = Reflect.construct(Array, [], newTarget); +assert.sameValue(Object.getPrototypeOf(arr), other.Array.prototype, 'newTarget.prototype is a Symbol'); + +newTarget.prototype = 1; +arr = Reflect.construct(Array, [], newTarget); +assert.sameValue(Object.getPrototypeOf(arr), other.Array.prototype, 'newTarget.prototype is a Number'); diff --git a/test/built-ins/Array/proto-from-ctor-realm.js b/test/built-ins/Array/proto-from-ctor-realm.js deleted file mode 100644 index 59bd143510..0000000000 --- a/test/built-ins/Array/proto-from-ctor-realm.js +++ /dev/null @@ -1,29 +0,0 @@ -// Copyright (C) 2016 the V8 project authors. All rights reserved. -// This code is governed by the BSD license found in the LICENSE file. -/*--- -esid: sec-array-constructor-array -description: Default [[Prototype]] value derived from realm of the newTarget -info: | - [...] - 4. Let proto be ? GetPrototypeFromConstructor(newTarget, - "%ArrayPrototype%"). - [...] - - 9.1.14 GetPrototypeFromConstructor - - [...] - 3. Let proto be ? Get(constructor, "prototype"). - 4. If Type(proto) is not Object, then - a. Let realm be ? GetFunctionRealm(constructor). - b. Let proto be realm's intrinsic object named intrinsicDefaultProto. - [...] -features: [cross-realm, Reflect] ----*/ - -var other = $262.createRealm().global; -var C = new other.Function(); -C.prototype = null; - -var o = Reflect.construct(Array, [], C); - -assert.sameValue(Object.getPrototypeOf(o), other.Array.prototype);