Adding case with private static method and instance method

This commit is contained in:
Caio Lima 2019-08-20 15:21:07 -03:00
parent 59a1a016b7
commit 46c542c14f
1 changed files with 60 additions and 0 deletions

View File

@ -0,0 +1,60 @@
// Copyright (C) 2019 Caio Lima (Igalia SL). All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
desc: Brand for static private names and instance private names are different
info: |
ClassTail : ClassHeritage { ClassBody }
...
32. If PrivateBoundIdentifiers of ClassBody contains a Private Name P such that P's [[Kind]] field is either "method" or "accessor" and P's [[Brand]] field is proto,
a. Set F.[[PrivateBrand]] to proto.
33. If PrivateBoundIdentifiers of ClassBody contains a Private Name P such that P's [[Kind]] field is either "method" or "accessor" and P's [[Brand]] is F,
a. PrivateBrandAdd(F, F).
...
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",
...
4. Perform ? PrivateBrandCheck(O, P).
5. If P.[[Kind]] is "method",
a. Return P.[[Value]].
...
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-static-methods-private]
---*/
//- elements
static #f() {
return 'static';
}
static access() {
return this.#f();
}
#instanceMethod() {
return 'instance';
}
instanceAccess() {
return this.#instanceMethod();
}
//- assertions
let c = new C();
assert.sameValue(C.access(), 'static');
assert.sameValue(c.instanceAccess(), 'instance');
assert.throws(TypeError, function() {
C.access.call(c);
}, 'Accessed static private method from instance of C');
assert.throws(TypeError, function() {
c.instanceAccess.call(C);
}, 'Accessed instance private method from C');