diff --git a/src/class-elements/private-method-get-and-call.case b/src/class-elements/private-method-get-and-call.case new file mode 100644 index 0000000000..de59c409c3 --- /dev/null +++ b/src/class-elements/private-method-get-and-call.case @@ -0,0 +1,45 @@ +// Copyright (C) 2019 Caio Lima (Igalia SL). All rights reserved. +// This code is governed by the BSD license found in the LICENSE file. + +/*--- +desc: Function returned by a private method can be called with other values as 'this' +esid: sec-privatefieldget +info: | + PrivateFieldGet (P, O) + 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. Return entry.[[PrivateFieldValue]]. + 4. Perform ? PrivateBrandCheck(O, P). + 5. If P.[[Kind]] is "method", + a. Return P.[[Value]]. + 6. Else, + a. Assert: P.[[Kind]] is "accessor". + b. If P does not have a [[Get]] field, throw a TypeError exception. + c. Let getter be P.[[Get]]. + d. Return ? Call(getter, O). + + PrivateBrandCheck(O, P) + 1. If O.[[PrivateBrands]] does not contain an entry e such that SameValue(e, P.[[Brand]]) is true, + a. Throw a TypeError exception. + +template: default +features: [class, class-methods-private] +---*/ + +//- elements +#m() { return this._v; } + +getPrivateMethod() { + return this.#m; +} + +//- assertions +let c = new C(); + +let o1 = {_v: 'test262'}; +let o2 = {_v: 'foo'}; +assert.sameValue(c.getPrivateMethod().call(o1), 'test262'); +assert.sameValue(c.getPrivateMethod().call(o2), 'foo'); diff --git a/test/language/expressions/class/elements/private-method-comparison.js b/test/language/expressions/class/elements/private-method-comparison.js index f8d56ac2ac..bec78b75b2 100644 --- a/test/language/expressions/class/elements/private-method-comparison.js +++ b/test/language/expressions/class/elements/private-method-comparison.js @@ -2,7 +2,7 @@ // - src/class-elements/private-method-comparison.case // - src/class-elements/default/cls-expr.template /*--- -description: PrivateFieldGet of a private method returns the same function object to every instance of a class (field definitions in a class expression) +description: PrivateFieldGet of a private method returns the same function object to every instance of the same class (field definitions in a class expression) esid: prod-FieldDefinition features: [class, class-methods-private] flags: [generated] diff --git a/test/language/expressions/class/elements/private-method-get-and-call.js b/test/language/expressions/class/elements/private-method-get-and-call.js new file mode 100644 index 0000000000..0d04e26a22 --- /dev/null +++ b/test/language/expressions/class/elements/private-method-get-and-call.js @@ -0,0 +1,47 @@ +// This file was procedurally generated from the following sources: +// - src/class-elements/private-method-get-and-call.case +// - src/class-elements/default/cls-expr.template +/*--- +description: Function returned by a private method can be called with other values as 'this' (field definitions in a class expression) +esid: prod-FieldDefinition +features: [class, class-methods-private] +flags: [generated] +info: | + PrivateFieldGet (P, O) + 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. Return entry.[[PrivateFieldValue]]. + 4. Perform ? PrivateBrandCheck(O, P). + 5. If P.[[Kind]] is "method", + a. Return P.[[Value]]. + 6. Else, + a. Assert: P.[[Kind]] is "accessor". + b. If P does not have a [[Get]] field, throw a TypeError exception. + c. Let getter be P.[[Get]]. + d. Return ? Call(getter, O). + + PrivateBrandCheck(O, P) + 1. If O.[[PrivateBrands]] does not contain an entry e such that SameValue(e, P.[[Brand]]) is true, + a. Throw a TypeError exception. + +---*/ + + +var C = class { + #m() { return this._v; } + + getPrivateMethod() { + return this.#m; + } + +} + +let c = new C(); + +let o1 = {_v: 'test262'}; +let o2 = {_v: 'foo'}; +assert.sameValue(c.getPrivateMethod().call(o1), 'test262'); +assert.sameValue(c.getPrivateMethod().call(o2), 'foo'); diff --git a/test/language/statements/class/elements/private-method-comparison.js b/test/language/statements/class/elements/private-method-comparison.js index ca368bb5e5..eda852a60a 100644 --- a/test/language/statements/class/elements/private-method-comparison.js +++ b/test/language/statements/class/elements/private-method-comparison.js @@ -2,7 +2,7 @@ // - src/class-elements/private-method-comparison.case // - src/class-elements/default/cls-decl.template /*--- -description: PrivateFieldGet of a private method returns the same function object to every instance of a class (field definitions in a class declaration) +description: PrivateFieldGet of a private method returns the same function object to every instance of the same class (field definitions in a class declaration) esid: prod-FieldDefinition features: [class, class-methods-private] flags: [generated] diff --git a/test/language/statements/class/elements/private-method-get-and-call.js b/test/language/statements/class/elements/private-method-get-and-call.js new file mode 100644 index 0000000000..02fb12c2fd --- /dev/null +++ b/test/language/statements/class/elements/private-method-get-and-call.js @@ -0,0 +1,47 @@ +// This file was procedurally generated from the following sources: +// - src/class-elements/private-method-get-and-call.case +// - src/class-elements/default/cls-decl.template +/*--- +description: Function returned by a private method can be called with other values as 'this' (field definitions in a class declaration) +esid: prod-FieldDefinition +features: [class, class-methods-private] +flags: [generated] +info: | + PrivateFieldGet (P, O) + 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. Return entry.[[PrivateFieldValue]]. + 4. Perform ? PrivateBrandCheck(O, P). + 5. If P.[[Kind]] is "method", + a. Return P.[[Value]]. + 6. Else, + a. Assert: P.[[Kind]] is "accessor". + b. If P does not have a [[Get]] field, throw a TypeError exception. + c. Let getter be P.[[Get]]. + d. Return ? Call(getter, O). + + PrivateBrandCheck(O, P) + 1. If O.[[PrivateBrands]] does not contain an entry e such that SameValue(e, P.[[Brand]]) is true, + a. Throw a TypeError exception. + +---*/ + + +class C { + #m() { return this._v; } + + getPrivateMethod() { + return this.#m; + } + +} + +let c = new C(); + +let o1 = {_v: 'test262'}; +let o2 = {_v: 'foo'}; +assert.sameValue(c.getPrivateMethod().call(o1), 'test262'); +assert.sameValue(c.getPrivateMethod().call(o2), 'foo');