From 652cfc764aa577065a5f88792f2a1c28ebc60b90 Mon Sep 17 00:00:00 2001 From: Alexey Shvayka Date: Wed, 11 Sep 2019 23:19:58 +0300 Subject: [PATCH] Add "proto-from-ctor-realm" tests for native errors (#2335) * Add EvalError test * Add RangeError test * Add ReferenceError test * Add SyntaxError test * Add TypeError test * Add URIError test --- .../EvalError/proto-from-ctor-realm.js | 58 +++++++++++++++++++ .../RangeError/proto-from-ctor-realm.js | 58 +++++++++++++++++++ .../ReferenceError/proto-from-ctor-realm.js | 58 +++++++++++++++++++ .../SyntaxError/proto-from-ctor-realm.js | 58 +++++++++++++++++++ .../TypeError/proto-from-ctor-realm.js | 58 +++++++++++++++++++ .../URIError/proto-from-ctor-realm.js | 58 +++++++++++++++++++ 6 files changed, 348 insertions(+) create mode 100644 test/built-ins/NativeErrors/EvalError/proto-from-ctor-realm.js create mode 100644 test/built-ins/NativeErrors/RangeError/proto-from-ctor-realm.js create mode 100644 test/built-ins/NativeErrors/ReferenceError/proto-from-ctor-realm.js create mode 100644 test/built-ins/NativeErrors/SyntaxError/proto-from-ctor-realm.js create mode 100644 test/built-ins/NativeErrors/TypeError/proto-from-ctor-realm.js create mode 100644 test/built-ins/NativeErrors/URIError/proto-from-ctor-realm.js diff --git a/test/built-ins/NativeErrors/EvalError/proto-from-ctor-realm.js b/test/built-ins/NativeErrors/EvalError/proto-from-ctor-realm.js new file mode 100644 index 0000000000..78f24efc33 --- /dev/null +++ b/test/built-ins/NativeErrors/EvalError/proto-from-ctor-realm.js @@ -0,0 +1,58 @@ +// Copyright (C) 2019 Alexey Shvayka. All rights reserved. +// This code is governed by the BSD license found in the LICENSE file. + +/*--- +esid: sec-nativeerror +description: Default [[Prototype]] value derived from realm of the NewTarget. +info: | + NativeError ( message ) + + 1. If NewTarget is undefined, let newTarget be the active function object; else let newTarget be NewTarget. + 2. Let O be ? OrdinaryCreateFromConstructor(newTarget, "%NativeErrorPrototype%", « [[ErrorData]] »). + ... + 4. Return O. + + OrdinaryCreateFromConstructor ( constructor, intrinsicDefaultProto [ , internalSlotsList ] ) + + ... + 2. Let proto be ? GetPrototypeFromConstructor(constructor, intrinsicDefaultProto). + 3. Return ObjectCreate(proto, internalSlotsList). + + 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 err; + +newTarget.prototype = undefined; +err = Reflect.construct(EvalError, [], newTarget); +assert.sameValue(Object.getPrototypeOf(err), other.EvalError.prototype, 'newTarget.prototype is undefined'); + +newTarget.prototype = null; +err = Reflect.construct(EvalError, [], newTarget); +assert.sameValue(Object.getPrototypeOf(err), other.EvalError.prototype, 'newTarget.prototype is null'); + +newTarget.prototype = false; +err = Reflect.construct(EvalError, [], newTarget); +assert.sameValue(Object.getPrototypeOf(err), other.EvalError.prototype, 'newTarget.prototype is a Boolean'); + +newTarget.prototype = 'str'; +err = Reflect.construct(EvalError, [], newTarget); +assert.sameValue(Object.getPrototypeOf(err), other.EvalError.prototype, 'newTarget.prototype is a String'); + +newTarget.prototype = Symbol(); +err = Reflect.construct(EvalError, [], newTarget); +assert.sameValue(Object.getPrototypeOf(err), other.EvalError.prototype, 'newTarget.prototype is a Symbol'); + +newTarget.prototype = 0; +err = Reflect.construct(EvalError, [], newTarget); +assert.sameValue(Object.getPrototypeOf(err), other.EvalError.prototype, 'newTarget.prototype is a Number'); diff --git a/test/built-ins/NativeErrors/RangeError/proto-from-ctor-realm.js b/test/built-ins/NativeErrors/RangeError/proto-from-ctor-realm.js new file mode 100644 index 0000000000..08556b0e3a --- /dev/null +++ b/test/built-ins/NativeErrors/RangeError/proto-from-ctor-realm.js @@ -0,0 +1,58 @@ +// Copyright (C) 2019 Alexey Shvayka. All rights reserved. +// This code is governed by the BSD license found in the LICENSE file. + +/*--- +esid: sec-nativeerror +description: Default [[Prototype]] value derived from realm of the NewTarget. +info: | + NativeError ( message ) + + 1. If NewTarget is undefined, let newTarget be the active function object; else let newTarget be NewTarget. + 2. Let O be ? OrdinaryCreateFromConstructor(newTarget, "%NativeErrorPrototype%", « [[ErrorData]] »). + ... + 4. Return O. + + OrdinaryCreateFromConstructor ( constructor, intrinsicDefaultProto [ , internalSlotsList ] ) + + ... + 2. Let proto be ? GetPrototypeFromConstructor(constructor, intrinsicDefaultProto). + 3. Return ObjectCreate(proto, internalSlotsList). + + 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 err; + +newTarget.prototype = undefined; +err = Reflect.construct(RangeError, [], newTarget); +assert.sameValue(Object.getPrototypeOf(err), other.RangeError.prototype, 'newTarget.prototype is undefined'); + +newTarget.prototype = null; +err = Reflect.construct(RangeError, [], newTarget); +assert.sameValue(Object.getPrototypeOf(err), other.RangeError.prototype, 'newTarget.prototype is null'); + +newTarget.prototype = true; +err = Reflect.construct(RangeError, [], newTarget); +assert.sameValue(Object.getPrototypeOf(err), other.RangeError.prototype, 'newTarget.prototype is a Boolean'); + +newTarget.prototype = ''; +err = Reflect.construct(RangeError, [], newTarget); +assert.sameValue(Object.getPrototypeOf(err), other.RangeError.prototype, 'newTarget.prototype is a String'); + +newTarget.prototype = Symbol(); +err = Reflect.construct(RangeError, [], newTarget); +assert.sameValue(Object.getPrototypeOf(err), other.RangeError.prototype, 'newTarget.prototype is a Symbol'); + +newTarget.prototype = -0; +err = Reflect.construct(RangeError, [], newTarget); +assert.sameValue(Object.getPrototypeOf(err), other.RangeError.prototype, 'newTarget.prototype is a Number'); diff --git a/test/built-ins/NativeErrors/ReferenceError/proto-from-ctor-realm.js b/test/built-ins/NativeErrors/ReferenceError/proto-from-ctor-realm.js new file mode 100644 index 0000000000..5e13aa1745 --- /dev/null +++ b/test/built-ins/NativeErrors/ReferenceError/proto-from-ctor-realm.js @@ -0,0 +1,58 @@ +// Copyright (C) 2019 Alexey Shvayka. All rights reserved. +// This code is governed by the BSD license found in the LICENSE file. + +/*--- +esid: sec-nativeerror +description: Default [[Prototype]] value derived from realm of the NewTarget. +info: | + NativeError ( message ) + + 1. If NewTarget is undefined, let newTarget be the active function object; else let newTarget be NewTarget. + 2. Let O be ? OrdinaryCreateFromConstructor(newTarget, "%NativeErrorPrototype%", « [[ErrorData]] »). + ... + 4. Return O. + + OrdinaryCreateFromConstructor ( constructor, intrinsicDefaultProto [ , internalSlotsList ] ) + + ... + 2. Let proto be ? GetPrototypeFromConstructor(constructor, intrinsicDefaultProto). + 3. Return ObjectCreate(proto, internalSlotsList). + + 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 err; + +newTarget.prototype = undefined; +err = Reflect.construct(ReferenceError, [], newTarget); +assert.sameValue(Object.getPrototypeOf(err), other.ReferenceError.prototype, 'newTarget.prototype is undefined'); + +newTarget.prototype = null; +err = Reflect.construct(ReferenceError, [], newTarget); +assert.sameValue(Object.getPrototypeOf(err), other.ReferenceError.prototype, 'newTarget.prototype is null'); + +newTarget.prototype = false; +err = Reflect.construct(ReferenceError, [], newTarget); +assert.sameValue(Object.getPrototypeOf(err), other.ReferenceError.prototype, 'newTarget.prototype is a Boolean'); + +newTarget.prototype = 'str'; +err = Reflect.construct(ReferenceError, [], newTarget); +assert.sameValue(Object.getPrototypeOf(err), other.ReferenceError.prototype, 'newTarget.prototype is a String'); + +newTarget.prototype = Symbol(); +err = Reflect.construct(ReferenceError, [], newTarget); +assert.sameValue(Object.getPrototypeOf(err), other.ReferenceError.prototype, 'newTarget.prototype is a Symbol'); + +newTarget.prototype = NaN; +err = Reflect.construct(ReferenceError, [], newTarget); +assert.sameValue(Object.getPrototypeOf(err), other.ReferenceError.prototype, 'newTarget.prototype is a Number'); diff --git a/test/built-ins/NativeErrors/SyntaxError/proto-from-ctor-realm.js b/test/built-ins/NativeErrors/SyntaxError/proto-from-ctor-realm.js new file mode 100644 index 0000000000..18bc84f704 --- /dev/null +++ b/test/built-ins/NativeErrors/SyntaxError/proto-from-ctor-realm.js @@ -0,0 +1,58 @@ +// Copyright (C) 2019 Alexey Shvayka. All rights reserved. +// This code is governed by the BSD license found in the LICENSE file. + +/*--- +esid: sec-nativeerror +description: Default [[Prototype]] value derived from realm of the NewTarget. +info: | + NativeError ( message ) + + 1. If NewTarget is undefined, let newTarget be the active function object; else let newTarget be NewTarget. + 2. Let O be ? OrdinaryCreateFromConstructor(newTarget, "%NativeErrorPrototype%", « [[ErrorData]] »). + ... + 4. Return O. + + OrdinaryCreateFromConstructor ( constructor, intrinsicDefaultProto [ , internalSlotsList ] ) + + ... + 2. Let proto be ? GetPrototypeFromConstructor(constructor, intrinsicDefaultProto). + 3. Return ObjectCreate(proto, internalSlotsList). + + 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 err; + +newTarget.prototype = undefined; +err = Reflect.construct(SyntaxError, [], newTarget); +assert.sameValue(Object.getPrototypeOf(err), other.SyntaxError.prototype, 'newTarget.prototype is undefined'); + +newTarget.prototype = null; +err = Reflect.construct(SyntaxError, [], newTarget); +assert.sameValue(Object.getPrototypeOf(err), other.SyntaxError.prototype, 'newTarget.prototype is null'); + +newTarget.prototype = true; +err = Reflect.construct(SyntaxError, [], newTarget); +assert.sameValue(Object.getPrototypeOf(err), other.SyntaxError.prototype, 'newTarget.prototype is a Boolean'); + +newTarget.prototype = ''; +err = Reflect.construct(SyntaxError, [], newTarget); +assert.sameValue(Object.getPrototypeOf(err), other.SyntaxError.prototype, 'newTarget.prototype is a String'); + +newTarget.prototype = Symbol(); +err = Reflect.construct(SyntaxError, [], newTarget); +assert.sameValue(Object.getPrototypeOf(err), other.SyntaxError.prototype, 'newTarget.prototype is a Symbol'); + +newTarget.prototype = Infinity; +err = Reflect.construct(SyntaxError, [], newTarget); +assert.sameValue(Object.getPrototypeOf(err), other.SyntaxError.prototype, 'newTarget.prototype is a Number'); diff --git a/test/built-ins/NativeErrors/TypeError/proto-from-ctor-realm.js b/test/built-ins/NativeErrors/TypeError/proto-from-ctor-realm.js new file mode 100644 index 0000000000..3821d7f5c4 --- /dev/null +++ b/test/built-ins/NativeErrors/TypeError/proto-from-ctor-realm.js @@ -0,0 +1,58 @@ +// Copyright (C) 2019 Alexey Shvayka. All rights reserved. +// This code is governed by the BSD license found in the LICENSE file. + +/*--- +esid: sec-nativeerror +description: Default [[Prototype]] value derived from realm of the NewTarget. +info: | + NativeError ( message ) + + 1. If NewTarget is undefined, let newTarget be the active function object; else let newTarget be NewTarget. + 2. Let O be ? OrdinaryCreateFromConstructor(newTarget, "%NativeErrorPrototype%", « [[ErrorData]] »). + ... + 4. Return O. + + OrdinaryCreateFromConstructor ( constructor, intrinsicDefaultProto [ , internalSlotsList ] ) + + ... + 2. Let proto be ? GetPrototypeFromConstructor(constructor, intrinsicDefaultProto). + 3. Return ObjectCreate(proto, internalSlotsList). + + 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 err; + +newTarget.prototype = undefined; +err = Reflect.construct(TypeError, [], newTarget); +assert.sameValue(Object.getPrototypeOf(err), other.TypeError.prototype, 'newTarget.prototype is undefined'); + +newTarget.prototype = null; +err = Reflect.construct(TypeError, [], newTarget); +assert.sameValue(Object.getPrototypeOf(err), other.TypeError.prototype, 'newTarget.prototype is null'); + +newTarget.prototype = false; +err = Reflect.construct(TypeError, [], newTarget); +assert.sameValue(Object.getPrototypeOf(err), other.TypeError.prototype, 'newTarget.prototype is a Boolean'); + +newTarget.prototype = 'str'; +err = Reflect.construct(TypeError, [], newTarget); +assert.sameValue(Object.getPrototypeOf(err), other.TypeError.prototype, 'newTarget.prototype is a String'); + +newTarget.prototype = Symbol(); +err = Reflect.construct(TypeError, [], newTarget); +assert.sameValue(Object.getPrototypeOf(err), other.TypeError.prototype, 'newTarget.prototype is a Symbol'); + +newTarget.prototype = -Infinity; +err = Reflect.construct(TypeError, [], newTarget); +assert.sameValue(Object.getPrototypeOf(err), other.TypeError.prototype, 'newTarget.prototype is a Number'); diff --git a/test/built-ins/NativeErrors/URIError/proto-from-ctor-realm.js b/test/built-ins/NativeErrors/URIError/proto-from-ctor-realm.js new file mode 100644 index 0000000000..67ca3b29a0 --- /dev/null +++ b/test/built-ins/NativeErrors/URIError/proto-from-ctor-realm.js @@ -0,0 +1,58 @@ +// Copyright (C) 2019 Alexey Shvayka. All rights reserved. +// This code is governed by the BSD license found in the LICENSE file. + +/*--- +esid: sec-nativeerror +description: Default [[Prototype]] value derived from realm of the NewTarget. +info: | + NativeError ( message ) + + 1. If NewTarget is undefined, let newTarget be the active function object; else let newTarget be NewTarget. + 2. Let O be ? OrdinaryCreateFromConstructor(newTarget, "%NativeErrorPrototype%", « [[ErrorData]] »). + ... + 4. Return O. + + OrdinaryCreateFromConstructor ( constructor, intrinsicDefaultProto [ , internalSlotsList ] ) + + ... + 2. Let proto be ? GetPrototypeFromConstructor(constructor, intrinsicDefaultProto). + 3. Return ObjectCreate(proto, internalSlotsList). + + 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 err; + +newTarget.prototype = undefined; +err = Reflect.construct(URIError, [], newTarget); +assert.sameValue(Object.getPrototypeOf(err), other.URIError.prototype, 'newTarget.prototype is undefined'); + +newTarget.prototype = null; +err = Reflect.construct(URIError, [], newTarget); +assert.sameValue(Object.getPrototypeOf(err), other.URIError.prototype, 'newTarget.prototype is null'); + +newTarget.prototype = true; +err = Reflect.construct(URIError, [], newTarget); +assert.sameValue(Object.getPrototypeOf(err), other.URIError.prototype, 'newTarget.prototype is a Boolean'); + +newTarget.prototype = ''; +err = Reflect.construct(URIError, [], newTarget); +assert.sameValue(Object.getPrototypeOf(err), other.URIError.prototype, 'newTarget.prototype is a String'); + +newTarget.prototype = Symbol(); +err = Reflect.construct(URIError, [], newTarget); +assert.sameValue(Object.getPrototypeOf(err), other.URIError.prototype, 'newTarget.prototype is a Symbol'); + +newTarget.prototype = 0; +err = Reflect.construct(URIError, [], newTarget); +assert.sameValue(Object.getPrototypeOf(err), other.URIError.prototype, 'newTarget.prototype is a Number');