Merge pull request #525 from anba/throw-type-error

Improve coverage %ThrowTypeError% and default class constructors

test/built-ins/ThrowTypeError/extensible.js

+// Copyright (C) 2016 André Bargull. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-%throwtypeerror%
+description: >
+  %ThrowTypeError% is not extensible.
+info: >
+  %ThrowTypeError% ( )
+
+  The value of the [[Extensible]] internal slot of a %ThrowTypeError%
+  function is false.
+---*/
+
+var ThrowTypeError = Object.getOwnPropertyDescriptor(function(){ "use strict"; return arguments; }(), "callee").get;
+
+assert.sameValue(Object.isExtensible(ThrowTypeError), false);

test/built-ins/ThrowTypeError/forbidden-arguments.js

+// Copyright (C) 2016 André Bargull. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-%throwtypeerror%
+description: >
+  %ThrowTypeError% does not have an own "arguments" property.
+info: >
+  %ThrowTypeError% ( )
+
+  The %ThrowTypeError% intrinsic is an anonymous built-in function
+  object that is defined once for each realm.
+
+  16.2 Forbidden Extensions
+
+    Other than as defined in this specification, ECMAScript Function
+    objects defined using syntactic constructors in strict mode code
+    must not be created with own properties named "caller" or
+    "arguments" other than those that are created by applying the
+    AddRestrictedFunctionProperties abstract operation (9.2.7) to
+    the function. [...] Built-in functions, strict mode functions
+    created using the Function constructor, generator functions
+    created using the Generator constructor, and functions created
+    using the bind method also must not be created with such own
+    properties.
+---*/
+
+var ThrowTypeError = Object.getOwnPropertyDescriptor(function(){ "use strict"; return arguments; }(), "callee").get;
+
+assert.sameValue(Object.prototype.hasOwnProperty.call(ThrowTypeError, "arguments"), false);

test/built-ins/ThrowTypeError/forbidden-caller.js

+// Copyright (C) 2016 André Bargull. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-%throwtypeerror%
+description: >
+  %ThrowTypeError% does not have an own "caller" property.
+info: >
+  %ThrowTypeError% ( )
+
+  The %ThrowTypeError% intrinsic is an anonymous built-in function
+  object that is defined once for each realm.
+
+  16.2 Forbidden Extensions
+
+    Other than as defined in this specification, ECMAScript Function
+    objects defined using syntactic constructors in strict mode code
+    must not be created with own properties named "caller" or
+    "arguments" other than those that are created by applying the
+    AddRestrictedFunctionProperties abstract operation (9.2.7) to
+    the function. [...] Built-in functions, strict mode functions
+    created using the Function constructor, generator functions
+    created using the Generator constructor, and functions created
+    using the bind method also must not be created with such own
+    properties.
+---*/
+
+var ThrowTypeError = Object.getOwnPropertyDescriptor(function(){ "use strict"; return arguments; }(), "callee").get;
+
+assert.sameValue(Object.prototype.hasOwnProperty.call(ThrowTypeError, "caller"), false);

test/built-ins/ThrowTypeError/frozen.js

+// Copyright (C) 2016 André Bargull. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-%throwtypeerror%
+description: >
+  The integrity level of %ThrowTypeError% is "frozen".
+info: >
+  %ThrowTypeError% ( )
+
+  The value of the [[Extensible]] internal slot of a %ThrowTypeError%
+  function is false.
+  The length property of a %ThrowTypeError% function has the attributes
+  { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }.
+---*/
+
+var ThrowTypeError = Object.getOwnPropertyDescriptor(function(){ "use strict"; return arguments; }(), "callee").get;
+
+assert.sameValue(Object.isFrozen(ThrowTypeError), true);

test/built-ins/ThrowTypeError/is-function.js

+// Copyright (C) 2016 André Bargull. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-%throwtypeerror%
+description: >
+  %ThrowTypeError% is a function object.
+info: >
+  %ThrowTypeError% ( )
+
+  The %ThrowTypeError% intrinsic is an anonymous built-in function
+  object that is defined once for each realm.
+---*/
+
+var ThrowTypeError = Object.getOwnPropertyDescriptor(function(){ "use strict"; return arguments; }(), "callee").get;
+
+assert.sameValue(typeof ThrowTypeError, "function");

test/built-ins/ThrowTypeError/length.js

+// Copyright (C) 2016 André Bargull. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-%throwtypeerror%
+description: >
+  %ThrowTypeError%.length is 0.
+info: >
+  %ThrowTypeError% ( )
+
+  The length property of a %ThrowTypeError% function has the attributes
+  { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }.
+includes: [propertyHelper.js]
+---*/
+
+var ThrowTypeError = Object.getOwnPropertyDescriptor(function(){ "use strict"; return arguments; }(), "callee").get;
+
+assert.sameValue(ThrowTypeError.length, 0);
+
+verifyNotEnumerable(ThrowTypeError, "length");
+verifyNotWritable(ThrowTypeError, "length");
+verifyNotConfigurable(ThrowTypeError, "length");

test/built-ins/ThrowTypeError/name.js

+// Copyright (C) 2016 André Bargull. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-%throwtypeerror%
+description: >
+  %ThrowTypeError% is an anonymous function.
+info: >
+  %ThrowTypeError% ( )
+
+  The %ThrowTypeError% intrinsic is an anonymous built-in function
+  object that is defined once for each Realm.
+---*/
+
+var ThrowTypeError = Object.getOwnPropertyDescriptor(function(){ "use strict"; return arguments; }(), "callee").get;
+
+assert.sameValue(Object.prototype.hasOwnProperty.call(ThrowTypeError, "name"), false);

test/built-ins/ThrowTypeError/prototype.js

+// Copyright (C) 2016 André Bargull. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-%throwtypeerror%
+description: >
+  The value of the [[Prototype]] internal slot of %ThrowTypeError% is the
+  intrinsic object %FunctionPrototype%.
+info: >
+  8.2.2 CreateIntrinsics ( realmRec )
+
+  ...
+  6. Let thrower be CreateBuiltinFunction(realmRec, throwerSteps, null).
+  7. Set intrinsics.[[%ThrowTypeError%]] to thrower.
+  8. Let noSteps be an empty sequence of algorithm steps.
+  9. Let funcProto be CreateBuiltinFunction(realmRec, noSteps, objProto).
+  10. Set intrinsics.[[%FunctionPrototype%]] to funcProto.
+  11. Call thrower.[[SetPrototypeOf]](funcProto).
+  ...
+---*/
+
+var ThrowTypeError = Object.getOwnPropertyDescriptor(function(){ "use strict"; return arguments; }(), "callee").get;
+
+assert.sameValue(Object.getPrototypeOf(ThrowTypeError), Function.prototype);

test/built-ins/ThrowTypeError/throws-type-error.js

+// Copyright (C) 2016 André Bargull. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-%throwtypeerror%
+description: >
+  %ThrowTypeError% throws a TypeError when called.
+info: >
+  %ThrowTypeError% ( )
+
+  When %ThrowTypeError% is called it performs the following steps:
+
+    1. Throw a TypeError exception.
+---*/
+
+var ThrowTypeError = Object.getOwnPropertyDescriptor(function(){ "use strict"; return arguments; }(), "callee").get;
+
+assert.throws(TypeError, function() {
+  ThrowTypeError();
+});

test/built-ins/ThrowTypeError/unique-per-realm-function-proto.js

+// Copyright (C) 2016 André Bargull. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-%throwtypeerror%
+description: >
+  %ThrowTypeError% is defined once for each realm.
+info: >
+  %ThrowTypeError% ( )
+
+  The %ThrowTypeError% intrinsic is an anonymous built-in function
+  object that is defined once for each realm.
+---*/
+
+var ThrowTypeError = Object.getOwnPropertyDescriptor(function(){ "use strict"; return arguments; }(), "callee").get;
+
+// Test with Function.prototype.arguments and Function.prototype.caller properties.
+var argumentsDesc = Object.getOwnPropertyDescriptor(Function.prototype, "arguments");
+var callerDesc = Object.getOwnPropertyDescriptor(Function.prototype, "caller");
+
+assert.sameValue(ThrowTypeError, argumentsDesc.get, "arguments.get");
+assert.sameValue(ThrowTypeError, argumentsDesc.set, "arguments.set");
+assert.sameValue(ThrowTypeError, callerDesc.set, "caller.set");
+assert.sameValue(ThrowTypeError, callerDesc.get, "caller.get");

test/built-ins/ThrowTypeError/unique-per-realm-non-simple.js

+// Copyright (C) 2016 André Bargull. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-%throwtypeerror%
+description: >
+  %ThrowTypeError% is defined once for each realm.
+info: >
+  %ThrowTypeError% ( )
+
+  The %ThrowTypeError% intrinsic is an anonymous built-in function
+  object that is defined once for each realm.
+---*/
+
+var ThrowTypeError = Object.getOwnPropertyDescriptor(function(){ "use strict"; return arguments; }(), "callee").get;
+
+// Test with unmapped arguments object from function with non-simple parameters list.
+function nonSimple(a = 0) {
+  return arguments;
+}
+var unmappedCalleeDesc = Object.getOwnPropertyDescriptor(nonSimple(), "callee");
+var unmappedCallerDesc = Object.getOwnPropertyDescriptor(nonSimple(), "caller");
+
+assert.sameValue(ThrowTypeError, unmappedCalleeDesc.get, "callee.get");
+assert.sameValue(ThrowTypeError, unmappedCalleeDesc.set, "callee.set");
+assert.sameValue(ThrowTypeError, unmappedCallerDesc.get, "caller.get");
+assert.sameValue(ThrowTypeError, unmappedCallerDesc.set, "caller.set");

test/built-ins/ThrowTypeError/unique-per-realm-unmapped-args.js

+// Copyright (C) 2016 André Bargull. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-%throwtypeerror%
+description: >
+  %ThrowTypeError% is defined once for each realm.
+info: >
+  %ThrowTypeError% ( )
+
+  The %ThrowTypeError% intrinsic is an anonymous built-in function
+  object that is defined once for each realm.
+---*/
+
+var ThrowTypeError = Object.getOwnPropertyDescriptor(function(){ "use strict"; return arguments; }(), "callee").get;
+
+// Test with unmapped arguments object from strict-mode function.
+function strictFn() {
+  "use strict";
+  return arguments;
+}
+var unmappedCalleeDesc = Object.getOwnPropertyDescriptor(strictFn(), "callee");
+var unmappedCallerDesc = Object.getOwnPropertyDescriptor(strictFn(), "caller");
+
+assert.sameValue(ThrowTypeError, unmappedCalleeDesc.get, "callee.get");
+assert.sameValue(ThrowTypeError, unmappedCalleeDesc.set, "callee.set");
+assert.sameValue(ThrowTypeError, unmappedCallerDesc.get, "caller.get");
+assert.sameValue(ThrowTypeError, unmappedCallerDesc.set, "caller.set");

test/language/statements/class/subclass/default-constructor-spread-override.js

+// Copyright (C) 2016 André Bargull. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-runtime-semantics-classdefinitionevaluation
+description: >
+  Default class constructor uses standard iterator spread semantics.
+info: >
+  14.5.14 Runtime Semantics: ClassDefinitionEvaluation
+    ...
+    10. If constructor is empty, then
+      a. If ClassHeritageopt is present, then
+          i Let constructor be the result of parsing the source text
+              constructor(...args){ super(...args); }
+            using the syntactic grammar with the goal symbol MethodDefinition.
+    ...
+
+  14.1.19 Runtime Semantics: IteratorBindingInitialization
+    `FunctionRestParameter : BindingRestElement`
+    ...
+    9. Let result be the result of performing IteratorBindingInitialization for BindingRestElement using iteratorRecord and environment as the arguments.
+    ...
+
+  13.3.3.6 Runtime Semantics: IteratorBindingInitialization
+    `BindingRestElement : ...BindingIdentifier`
+    ...
+    2. Let A be ArrayCreate(0).
+    ...
+
+  12.3.6.1 Runtime Semantics: ArgumentListEvaluation
+    `ArgumentList : ArgumentList , ...AssignmentExpression`
+    ...
+    3. Let iterator be ? GetIterator(? GetValue(spreadRef)).
+    ...
+features: [Symbol.iterator]
+---*/
+
+var arrayIterator = Array.prototype[Symbol.iterator];
+
+// Redefine Array iterator to change the result of spreading `args` in `super(...args)`.
+Array.prototype[Symbol.iterator] = function() {
+  return arrayIterator.call(["spread-value"]);
+};
+
+var receivedValue;
+
+class Base {
+  constructor(value) {
+    receivedValue = value;
+  }
+}
+
+class Derived extends Base {}
+
+new Derived();
+
+assert.sameValue(receivedValue, "spread-value");