1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
|
// Copyright (C) 2017 Valerie Young. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
description: >
Referenced lexically scoped private field found in `this`'s [[PrivateFieldValues]]
esid: sec-putvalue
info: |
PutValue ( V, W )
...
6. Else if IsPropertyReference(V), then
...
b. If IsPrivateReference(V), then
i. Let env be the running execution context's PrivateNameEnvironment.
ii. Let field be ? ResolveBinding(GetReferencedName(V), env).
iii. Assert: field is a Private Name.
iv. Perform ? PrivateFieldSet(field, base, W).
PrivateFieldSet (P, O, value )
1. Assert: P is a Private Name value.
2. If O is not an object, throw a TypeError exception.
3. Let entry be PrivateFieldFind(P, O).
4. If entry is empty, throw a TypeError exception.
PrivateFieldFind (P, O)
1. Assert: P is a Private Name value.
2. Assert: O is an object with a [[PrivateFieldValues]] internal slot.
3. For each element entry in O.[[PrivateFieldValues]],
a. If entry.[[PrivateName]] is P, return entry.
4. Return empty.
features: [class, class-fields-private]
---*/
class Outer {
#x = 42;
innerclass() {
// create class within in Outerclass -- the PrivateNameEnvironment binding for
// private field `#x` is resolvable.
return class extends Outer {
f() {
this.#x = 1;
}
}
}
value() {
return this.#x;
}
}
var outer = new Outer();
var Inner = outer.innerclass();
var i = new Inner();
assert.sameValue(outer.value(), 42);
assert.sameValue(i.value(), 42);
i.f();
assert.sameValue(outer.value(), 42, "value is set on inner class instance only");
assert.sameValue(i.value(), 1, "value is set from inner class instance");
reportCompare(0, 0);
|
