diff options
Diffstat (limited to 'js/src/tests/test262/language/statements/class/elements/private-setter-visible-to-direct-eval.js')
-rw-r--r-- | js/src/tests/test262/language/statements/class/elements/private-setter-visible-to-direct-eval.js | 63 |
1 files changed, 63 insertions, 0 deletions
diff --git a/js/src/tests/test262/language/statements/class/elements/private-setter-visible-to-direct-eval.js b/js/src/tests/test262/language/statements/class/elements/private-setter-visible-to-direct-eval.js new file mode 100644 index 0000000000..5a0a24d0e5 --- /dev/null +++ b/js/src/tests/test262/language/statements/class/elements/private-setter-visible-to-direct-eval.js @@ -0,0 +1,63 @@ +// Copyright (C) 2019 Caio Lima (Igalia SL). All rights reserved. +// This code is governed by the BSD license found in the LICENSE file. + +/*--- +description: Private setter is visible to direct eval code +esid: sec-privatefieldset +info: | + PrivateFieldSet (P, O, value ) + 1. Assert: P is a Private Name. + 2. If O is not an object, throw a TypeError exception. + 3. If P.[[Kind]] is "field", + a. Let entry be PrivateFieldFind(P, O). + b. If entry is empty, throw a TypeError exception. + c. Set entry.[[PrivateFieldValue]] to value. + d. Return. + 4. If P.[[Kind]] is "method", throw a TypeError exception. + 5. Else, + a. Assert: P.[[Kind]] is "accessor". + b. If O.[[PrivateFieldBrands]] does not contain P.[[Brand]], throw a TypeError exception. + c. If P does not have a [[Set]] field, throw a TypeError exception. + d. Let setter be P.[[Set]]. + e. Perform ? Call(setter, O, value). + f. Return. + + ClassElementName : PrivateIdentifier + 1. Let privateIdentifier be StringValue of PrivateIdentifier. + 2. Let privateName be NewPrivateName(privateIdentifier). + 3. Let scope be the running execution context's PrivateEnvironment. + 4. Let scopeEnvRec be scope's EnvironmentRecord. + 5. Perform ! scopeEnvRec.InitializeBinding(privateIdentifier, privateName). + 6. Return privateName. + + MakePrivateReference ( baseValue, privateIdentifier ) + 1. Let env be the running execution context's PrivateEnvironment. + 2. Let privateNameBinding be ? ResolveBinding(privateIdentifier, env). + 3. Let privateName be GetValue(privateNameBinding). + 4. Assert: privateName is a Private Name. + 5. Return a value of type Reference whose base value is baseValue, whose referenced name is privateName, whose strict reference flag is true. +features: [class-methods-private, class] +---*/ + +class C { + set #m(v) { this._v = v; }; + + setWithEval(v) { + eval("this.#m = v"); + } +} + +class D { + set #m(v) { throw new Test262Error(); }; +} + +let c = new C(); +c.setWithEval("Test262"); +assert.sameValue(c._v, "Test262"); + +let d = new D(); +assert.throws(TypeError, function() { + c.setWithEval.call(d); +}, "invalid access to a private setter"); + +reportCompare(0, 0); |