From 2c4077c17a801f14846a900ce9f967b16e0ae8e2 Mon Sep 17 00:00:00 2001
From: Leonardo Balter <leonardo.balter@gmail.com>
Date: Tue, 2 Jun 2015 19:16:46 -0400
Subject: [PATCH] Proxy: construct
---
.../Proxy/construct/call-parameters.js | 37 +++++++++++++++++++
test/built-ins/Proxy/construct/call-result.js | 23 ++++++++++++
.../built-ins/Proxy/construct/null-handler.js | 18 +++++++++
.../Proxy/construct/return-is-abrupt.js | 24 ++++++++++++
.../return-not-object-throws-boolean.js | 24 ++++++++++++
.../return-not-object-throws-number.js | 24 ++++++++++++
.../return-not-object-throws-string.js | 24 ++++++++++++
.../return-not-object-throws-symbol.js | 25 +++++++++++++
.../return-not-object-throws-undefined.js | 24 ++++++++++++
.../Proxy/construct/trap-is-not-callable.js | 16 ++++++++
.../trap-is-undefined-no-property.js | 19 ++++++++++
.../Proxy/construct/trap-is-undefined.js | 21 +++++++++++
12 files changed, 279 insertions(+)
create mode 100644 test/built-ins/Proxy/construct/call-parameters.js
create mode 100644 test/built-ins/Proxy/construct/call-result.js
create mode 100644 test/built-ins/Proxy/construct/null-handler.js
create mode 100644 test/built-ins/Proxy/construct/return-is-abrupt.js
create mode 100644 test/built-ins/Proxy/construct/return-not-object-throws-boolean.js
create mode 100644 test/built-ins/Proxy/construct/return-not-object-throws-number.js
create mode 100644 test/built-ins/Proxy/construct/return-not-object-throws-string.js
create mode 100644 test/built-ins/Proxy/construct/return-not-object-throws-symbol.js
create mode 100644 test/built-ins/Proxy/construct/return-not-object-throws-undefined.js
create mode 100644 test/built-ins/Proxy/construct/trap-is-not-callable.js
create mode 100644 test/built-ins/Proxy/construct/trap-is-undefined-no-property.js
create mode 100644 test/built-ins/Proxy/construct/trap-is-undefined.js
diff --git a/test/built-ins/Proxy/construct/call-parameters.js b/test/built-ins/Proxy/construct/call-parameters.js
new file mode 100644
index 0000000000..8ccd164b42
--- /dev/null
+++ b/test/built-ins/Proxy/construct/call-parameters.js
@@ -0,0 +1,37 @@
+// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+es6id: 9.5.14
+description: >
+ trap is called with handler object as its context, and parameters are:
+ target, an array list with the called arguments and the new target, and the
+ constructor new.target.
+info: >
+ [[Construct]] ( argumentsList, newTarget)
+
+ 9. Let newObj be Call(trap, handler, «target, argArray, newTarget »).
+---*/
+
+var _target, _handler, _args, _P;
+function Target() {}
+
+var handler = {
+ construct: function(t, args, newTarget) {
+ _handler = this;
+ _target = t;
+ _args = args;
+ _P = newTarget;
+
+ return new t(args[0], args[1]);
+ }
+};
+var P = new Proxy(Target, handler);
+
+new P(1, 2);
+
+assert.sameValue(_handler, handler, "trap context is the handler object");
+assert.sameValue(_target, Target, "first parameter is the target object");
+assert.sameValue(_args.length, 2, "arguments list contains all call arguments");
+assert.sameValue(_args[0], 1, "arguments list has first call argument");
+assert.sameValue(_args[1], 2, "arguments list has second call argument");
+assert.sameValue(_P, P, "constructor is sent as the third parameter");
diff --git a/test/built-ins/Proxy/construct/call-result.js b/test/built-ins/Proxy/construct/call-result.js
new file mode 100644
index 0000000000..00709d9a1a
--- /dev/null
+++ b/test/built-ins/Proxy/construct/call-result.js
@@ -0,0 +1,23 @@
+// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+es6id: 9.5.14
+description: >
+ Return the result from the trap method.
+info: >
+ [[Construct]] ( argumentsList, newTarget)
+
+ 12. Return newObj
+---*/
+
+function Target(a, b) {
+ this.sum = a + b;
+};
+var handler = {
+ construct: function(t, c, args) {
+ return { sum: 42 };
+ }
+};
+var P = new Proxy(Target, handler);
+
+assert.sameValue((new P(1, 2)).sum, 42);
diff --git a/test/built-ins/Proxy/construct/null-handler.js b/test/built-ins/Proxy/construct/null-handler.js
new file mode 100644
index 0000000000..3c60321618
--- /dev/null
+++ b/test/built-ins/Proxy/construct/null-handler.js
@@ -0,0 +1,18 @@
+// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+es6id: 9.5.14
+description: >
+ [[Construct]] ( argumentsList, newTarget)
+
+ 2. If handler is null, throw a TypeError exception.
+---*/
+
+
+var p = Proxy.revocable(function() {}, {});
+
+p.revoke();
+
+assert.throws(TypeError, function() {
+ new p.proxy();
+});
diff --git a/test/built-ins/Proxy/construct/return-is-abrupt.js b/test/built-ins/Proxy/construct/return-is-abrupt.js
new file mode 100644
index 0000000000..fb607446df
--- /dev/null
+++ b/test/built-ins/Proxy/construct/return-is-abrupt.js
@@ -0,0 +1,24 @@
+// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+es6id: 9.5.14
+description: >
+ Return abrupt from constructor call.
+info: >
+ [[Construct]] ( argumentsList, newTarget)
+
+ 9. Let newObj be Call(trap, handler, «target, argArray, newTarget »).
+ 10. ReturnIfAbrupt(newObj).
+includes: [Test262Error.js]
+---*/
+
+function Target() {}
+var P = new Proxy(Target, {
+ construct: function() {
+ throw new Test262Error();
+ }
+});
+
+assert.throws(Test262Error, function() {
+ new P();
+});
diff --git a/test/built-ins/Proxy/construct/return-not-object-throws-boolean.js b/test/built-ins/Proxy/construct/return-not-object-throws-boolean.js
new file mode 100644
index 0000000000..c9681ee628
--- /dev/null
+++ b/test/built-ins/Proxy/construct/return-not-object-throws-boolean.js
@@ -0,0 +1,24 @@
+// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+es6id: 9.5.14
+description: >
+ Throws a TypeError if trap result is not an Object: Boolean
+info: >
+ [[Construct]] ( argumentsList, newTarget)
+
+ 11. If Type(newObj) is not Object, throw a TypeError exception.
+---*/
+
+function Target() {
+ this.attr = "done";
+};
+var P = new Proxy(Target, {
+ construct: function() {
+ return true;
+ }
+});
+
+assert.throws(TypeError, function() {
+ new P();
+});
diff --git a/test/built-ins/Proxy/construct/return-not-object-throws-number.js b/test/built-ins/Proxy/construct/return-not-object-throws-number.js
new file mode 100644
index 0000000000..ad00e2b003
--- /dev/null
+++ b/test/built-ins/Proxy/construct/return-not-object-throws-number.js
@@ -0,0 +1,24 @@
+// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+es6id: 9.5.14
+description: >
+ Throws a TypeError if trap result is not an Object: Number
+info: >
+ [[Construct]] ( argumentsList, newTarget)
+
+ 11. If Type(newObj) is not Object, throw a TypeError exception.
+---*/
+
+function Target() {
+ this.attr = "done";
+};
+var P = new Proxy(Target, {
+ construct: function() {
+ return 0;
+ }
+});
+
+assert.throws(TypeError, function() {
+ new P();
+});
diff --git a/test/built-ins/Proxy/construct/return-not-object-throws-string.js b/test/built-ins/Proxy/construct/return-not-object-throws-string.js
new file mode 100644
index 0000000000..5fd1e1c44d
--- /dev/null
+++ b/test/built-ins/Proxy/construct/return-not-object-throws-string.js
@@ -0,0 +1,24 @@
+// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+es6id: 9.5.14
+description: >
+ Throws a TypeError if trap result is not an Object: String
+info: >
+ [[Construct]] ( argumentsList, newTarget)
+
+ 11. If Type(newObj) is not Object, throw a TypeError exception.
+---*/
+
+function Target() {
+ this.attr = "done";
+};
+var P = new Proxy(Target, {
+ construct: function() {
+ return "";
+ }
+});
+
+assert.throws(TypeError, function() {
+ new P();
+});
diff --git a/test/built-ins/Proxy/construct/return-not-object-throws-symbol.js b/test/built-ins/Proxy/construct/return-not-object-throws-symbol.js
new file mode 100644
index 0000000000..a72544f7b4
--- /dev/null
+++ b/test/built-ins/Proxy/construct/return-not-object-throws-symbol.js
@@ -0,0 +1,25 @@
+// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+es6id: 9.5.14
+description: >
+ Throws a TypeError if trap result is not an Object: Symbol
+info: >
+ [[Construct]] ( argumentsList, newTarget)
+
+ 11. If Type(newObj) is not Object, throw a TypeError exception.
+features: [Symbol]
+---*/
+
+function Target() {
+ this.attr = "done";
+};
+var P = new Proxy(Target, {
+ construct: function() {
+ return Symbol();
+ }
+});
+
+assert.throws(TypeError, function() {
+ new P();
+});
diff --git a/test/built-ins/Proxy/construct/return-not-object-throws-undefined.js b/test/built-ins/Proxy/construct/return-not-object-throws-undefined.js
new file mode 100644
index 0000000000..0729715900
--- /dev/null
+++ b/test/built-ins/Proxy/construct/return-not-object-throws-undefined.js
@@ -0,0 +1,24 @@
+// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+es6id: 9.5.14
+description: >
+ Throws a TypeError if trap result is not an Object: undefined
+info: >
+ [[Construct]] ( argumentsList, newTarget)
+
+ 11. If Type(newObj) is not Object, throw a TypeError exception.
+---*/
+
+function Target() {
+ this.attr = "done";
+};
+var P = new Proxy(Target, {
+ construct: function() {
+ return undefined;
+ }
+});
+
+assert.throws(TypeError, function() {
+ new P();
+});
diff --git a/test/built-ins/Proxy/construct/trap-is-not-callable.js b/test/built-ins/Proxy/construct/trap-is-not-callable.js
new file mode 100644
index 0000000000..f0c66394a5
--- /dev/null
+++ b/test/built-ins/Proxy/construct/trap-is-not-callable.js
@@ -0,0 +1,16 @@
+// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+es6id: 9.5.14
+description: >
+ Throws if trap is not callable.
+---*/
+
+function Target() {}
+var p = new Proxy(Target, {
+ construct: {}
+});
+
+assert.throws(TypeError, function() {
+ new p();
+});
diff --git a/test/built-ins/Proxy/construct/trap-is-undefined-no-property.js b/test/built-ins/Proxy/construct/trap-is-undefined-no-property.js
new file mode 100644
index 0000000000..57e2c3be2f
--- /dev/null
+++ b/test/built-ins/Proxy/construct/trap-is-undefined-no-property.js
@@ -0,0 +1,19 @@
+// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+es6id: 9.5.14
+description: >
+ If trap is undefined, propagate the construct to the target object.
+info: >
+ [[Construct]] ( argumentsList, newTarget)
+
+ 7. If trap is undefined, then
+ b. Return Construct(target, argumentsList, newTarget).
+---*/
+
+function Target(arg) {
+ this.attr = arg;
+}
+var P = new Proxy(Target, {});
+
+assert.sameValue((new P("foo")).attr, "foo");
diff --git a/test/built-ins/Proxy/construct/trap-is-undefined.js b/test/built-ins/Proxy/construct/trap-is-undefined.js
new file mode 100644
index 0000000000..fb9a4a2377
--- /dev/null
+++ b/test/built-ins/Proxy/construct/trap-is-undefined.js
@@ -0,0 +1,21 @@
+// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+es6id: 9.5.14
+description: >
+ If trap is undefined, propagate the construct to the target object.
+info: >
+ [[Construct]] ( argumentsList, newTarget)
+
+ 7. If trap is undefined, then
+ b. Return Construct(target, argumentsList, newTarget).
+---*/
+
+function Target(arg) {
+ this.attr = arg;
+}
+var P = new Proxy(Target, {
+ construct: undefined
+});
+
+assert.sameValue((new P("foo")).attr, "foo");
--
GitLab