tyler.durden
/
test262
mirror of https://github.com/tc39/test262.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Add test coverage for correct binding object MOP executions in with-environment

This commit is contained in:
André Bargull 2024-09-10 15:35:30 +02:00 committed by Philip Chimento
parent 8cbcc309e6
commit 867ca540d6
6 changed files with 408 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

66
test/language/statements/with/get-binding-value-call-with-proxy-env.js Normal file
View File

@ -0,0 +1,66 @@
// Copyright (C) 2024 André Bargull. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
esid: sec-object-environment-records-getbindingvalue-n-s
description: >
Lookups in proxy binding object for call expression.
info: |
9.1.1.2.1 HasBinding ( N )
1. Let bindingObject be envRec.[[BindingObject]].
2. Let foundBinding be ? HasProperty(bindingObject, N).
3. If foundBinding is false, return false.
...
5. Let unscopables be ? Get(bindingObject, %Symbol.unscopables%).
...
7. Return true.
9.1.1.2.6 GetBindingValue ( N, S )
1. Let bindingObject be envRec.[[BindingObject]].
2. Let value be ? HasProperty(bindingObject, N).
3. If value is false, then
a. If S is false, return undefined; otherwise throw a ReferenceError exception.
4. Return ? Get(bindingObject, N).
features: [Proxy, Reflect]
flags: [noStrict]
includes: [compareArray.js, proxyTrapsHelper.js]
---*/
var log = [];
// Environment contains referenced binding.
var env = {
Object,
};
var proxy = new Proxy(env, allowProxyTraps({
has(t, pk) {
log.push("has:" + String(pk));
return Reflect.has(t, pk);
},
get(t, pk, r) {
log.push("get:" + String(pk));
return Reflect.get(t, pk, r);
},
}));
with (proxy) {
Object();
}
assert.compareArray(log, [
// HasBinding, step 2.
"has:Object",
// HasBinding, step 5.
"get:Symbol(Symbol.unscopables)",
// GetBindingValue, step 2.
"has:Object",
// GetBindingValue, step 4.
"get:Object",
]);

66
test/language/statements/with/get-binding-value-idref-with-proxy-env.js Normal file
View File

@ -0,0 +1,66 @@
// Copyright (C) 2024 André Bargull. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
esid: sec-object-environment-records-getbindingvalue-n-s
description: >
Lookups in proxy binding object for identifier reference.
info: |
9.1.1.2.1 HasBinding ( N )
1. Let bindingObject be envRec.[[BindingObject]].
2. Let foundBinding be ? HasProperty(bindingObject, N).
3. If foundBinding is false, return false.
...
5. Let unscopables be ? Get(bindingObject, %Symbol.unscopables%).
...
7. Return true.
9.1.1.2.6 GetBindingValue ( N, S )
1. Let bindingObject be envRec.[[BindingObject]].
2. Let value be ? HasProperty(bindingObject, N).
3. If value is false, then
a. If S is false, return undefined; otherwise throw a ReferenceError exception.
4. Return ? Get(bindingObject, N).
features: [Proxy, Reflect]
flags: [noStrict]
includes: [compareArray.js, proxyTrapsHelper.js]
---*/
var log = [];
// Environment contains referenced binding.
var env = {
Object,
};
var proxy = new Proxy(env, allowProxyTraps({
has(t, pk) {
log.push("has:" + String(pk));
return Reflect.has(t, pk);
},
get(t, pk, r) {
log.push("get:" + String(pk));
return Reflect.get(t, pk, r);
},
}));
with (proxy) {
Object;
}
assert.compareArray(log, [
// HasBinding, step 2.
"has:Object",
// HasBinding, step 5.
"get:Symbol(Symbol.unscopables)",
// GetBindingValue, step 2.
"has:Object",
// GetBindingValue, step 4.
"get:Object",
]);

40
test/language/statements/with/has-binding-call-with-proxy-env.js Normal file
View File

@ -0,0 +1,40 @@
// Copyright (C) 2024 André Bargull. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
esid: sec-object-environment-records-hasbinding-n
description: >
Lookups in proxy binding object for call expression.
info: |
9.1.1.2.1 HasBinding ( N )
1. Let bindingObject be envRec.[[BindingObject]].
2. Let foundBinding be ? HasProperty(bindingObject, N).
3. If foundBinding is false, return false.
...
features: [Proxy, Reflect]
flags: [noStrict]
includes: [compareArray.js, proxyTrapsHelper.js]
---*/
var log = [];
// Empty environment.
var env = {};
var proxy = new Proxy(env, allowProxyTraps({
has(t, pk) {
log.push("has:" + String(pk));
return Reflect.has(t, pk);
},
}));
with (proxy) {
Object();
}
assert.compareArray(log, [
// HasBinding, step 2.
"has:Object",
]);

40
test/language/statements/with/has-binding-idref-with-proxy-env.js Normal file
View File

@ -0,0 +1,40 @@
// Copyright (C) 2024 André Bargull. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
esid: sec-object-environment-records-hasbinding-n
description: >
Lookups in proxy binding object for identifier reference.
info: |
9.1.1.2.1 HasBinding ( N )
1. Let bindingObject be envRec.[[BindingObject]].
2. Let foundBinding be ? HasProperty(bindingObject, N).
3. If foundBinding is false, return false.
...
features: [Proxy, Reflect]
flags: [noStrict]
includes: [compareArray.js, proxyTrapsHelper.js]
---*/
var log = [];
// Empty environment.
var env = {};
var proxy = new Proxy(env, allowProxyTraps({
has(t, pk) {
log.push("has:" + String(pk));
return Reflect.has(t, pk);
},
}));
with (proxy) {
Object;
}
assert.compareArray(log, [
// HasBinding, step 2.
"has:Object",
]);

105
test/language/statements/with/set-mutable-binding-idref-compound-assign-with-proxy-env.js Normal file
View File

@ -0,0 +1,105 @@
// Copyright (C) 2024 André Bargull. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
esid: sec-object-environment-records-setmutablebinding-n-v-s
description: >
Lookups in proxy binding object for identifier reference.
info: |
9.1.1.2.1 HasBinding ( N )
1. Let bindingObject be envRec.[[BindingObject]].
2. Let foundBinding be ? HasProperty(bindingObject, N).
3. If foundBinding is false, return false.
...
5. Let unscopables be ? Get(bindingObject, %Symbol.unscopables%).
...
7. Return true.
9.1.1.2.6 GetBindingValue ( N, S )
1. Let bindingObject be envRec.[[BindingObject]].
2. Let value be ? HasProperty(bindingObject, N).
3. If value is false, then
a. If S is false, return undefined; otherwise throw a ReferenceError exception.
4. Return ? Get(bindingObject, N).
9.1.1.2.5 SetMutableBinding ( N, V, S )
1. Let bindingObject be envRec.[[BindingObject]].
2. Let stillExists be ? HasProperty(bindingObject, N).
...
4. Perform ? Set(bindingObject, N, V, S).
...
10.1.9.2 OrdinarySetWithOwnDescriptor ( O, P, V, Receiver, ownDesc )
...
2. If IsDataDescriptor(ownDesc) is true, then
...
c. Let existingDescriptor be ? Receiver.[[GetOwnProperty]](P).
d. If existingDescriptor is not undefined, then
...
iv. Return ? Receiver.[[DefineOwnProperty]](P, valueDesc).
...
features: [Proxy, Reflect]
flags: [noStrict]
includes: [compareArray.js, proxyTrapsHelper.js]
---*/
var log = [];
// Environment contains referenced binding.
var env = {
p: 0,
};
var proxy = new Proxy(env, allowProxyTraps({
has(t, pk) {
log.push("has:" + String(pk));
return Reflect.has(t, pk);
},
get(t, pk, r) {
log.push("get:" + String(pk));
return Reflect.get(t, pk, r);
},
set(t, pk, v, r) {
log.push("set:" + String(pk));
return Reflect.set(t, pk, v, r);
},
getOwnPropertyDescriptor(t, pk) {
log.push("getOwnPropertyDescriptor:" + String(pk));
return Reflect.getOwnPropertyDescriptor(t, pk);
},
defineProperty(t, pk, d) {
log.push("defineProperty:" + String(pk));
return Reflect.defineProperty(t, pk, d);
},
}));
with (proxy) {
p += 1;
}
assert.compareArray(log, [
// HasBinding, step 2.
"has:p",
// HasBinding, step 5.
"get:Symbol(Symbol.unscopables)",
// GetBindingValue, step 2.
"has:p",
// GetBindingValue, step 4.
"get:p",
// SetMutableBinding, step 2.
"has:p",
// SetMutableBinding, step 4.
"set:p",
"getOwnPropertyDescriptor:p",
"defineProperty:p",
]);

91
test/language/statements/with/set-mutable-binding-idref-with-proxy-env.js Normal file
View File

@ -0,0 +1,91 @@
// Copyright (C) 2024 André Bargull. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
esid: sec-object-environment-records-setmutablebinding-n-v-s
description: >
Lookups in proxy binding object for identifier reference.
info: |
9.1.1.2.1 HasBinding ( N )
1. Let bindingObject be envRec.[[BindingObject]].
2. Let foundBinding be ? HasProperty(bindingObject, N).
3. If foundBinding is false, return false.
...
5. Let unscopables be ? Get(bindingObject, %Symbol.unscopables%).
...
7. Return true.
9.1.1.2.5 SetMutableBinding ( N, V, S )
1. Let bindingObject be envRec.[[BindingObject]].
2. Let stillExists be ? HasProperty(bindingObject, N).
...
4. Perform ? Set(bindingObject, N, V, S).
...
10.1.9.2 OrdinarySetWithOwnDescriptor ( O, P, V, Receiver, ownDesc )
...
2. If IsDataDescriptor(ownDesc) is true, then
...
c. Let existingDescriptor be ? Receiver.[[GetOwnProperty]](P).
d. If existingDescriptor is not undefined, then
...
iv. Return ? Receiver.[[DefineOwnProperty]](P, valueDesc).
...
features: [Proxy, Reflect]
flags: [noStrict]
includes: [compareArray.js, proxyTrapsHelper.js]
---*/
var log = [];
// Environment contains referenced binding.
var env = {
p: 0,
};
var proxy = new Proxy(env, allowProxyTraps({
has(t, pk) {
log.push("has:" + String(pk));
return Reflect.has(t, pk);
},
get(t, pk, r) {
log.push("get:" + String(pk));
return Reflect.get(t, pk, r);
},
set(t, pk, v, r) {
log.push("set:" + String(pk));
return Reflect.set(t, pk, v, r);
},
getOwnPropertyDescriptor(t, pk) {
log.push("getOwnPropertyDescriptor:" + String(pk));
return Reflect.getOwnPropertyDescriptor(t, pk);
},
defineProperty(t, pk, d) {
log.push("defineProperty:" + String(pk));
return Reflect.defineProperty(t, pk, d);
},
}));
with (proxy) {
p = 1;
}
assert.compareArray(log, [
// HasBinding, step 2.
"has:p",
// HasBinding, step 5.
"get:Symbol(Symbol.unscopables)",
// SetMutableBinding, step 2.
"has:p",
// SetMutableBinding, step 4.
"set:p",
"getOwnPropertyDescriptor:p",
"defineProperty:p",
]);