Improve "proto-from-ctor-realm" coverage for Array (#2340)

* Rename "Array/proto-from-ctor-realm.js" test

* Add single argument test

* Add two arguments test
This commit is contained in:
Alexey Shvayka 2019-09-18 19:26:40 +03:00 committed by Leo Balter
parent 4edbad060e
commit ff83fb2922
4 changed files with 160 additions and 29 deletions

View File

@ -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');

View File

@ -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');

View File

@ -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');

View File

@ -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);