blob: a9b3c121d64b9a04072dc242118edd77a0134a2b (
plain)
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
|
// |reftest| module
// Copyright (C) 2017 Valerie Young. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
esid: sec-module-semantics-static-semantics-early-errors
description: Referencing privatename in class within class does not error.
info: |
Static Semantics: Early Errors
Module : ModuleBody
It is a Syntax Error if AllPrivateNamesValid of ModuleBody with an empty List as an argument is false.
Static Semantics: AllPrivateNamesValid
AllPrivateNamesValid is an abstract operation which takes names as an argument.
MemberExpression : MemberExpression . PrivateName
1. If StringValue of PrivateName is in names, return true.
2. Return false.
CallExpression : CallExpression . PrivateName
1. If StringValue of PrivateName is in names, return true.
2. Return false.
ClassBody:ClassElementList
1. Let newNames be the concatenation of names with PrivateBoundNames of ClassBody.
2.Return AllPrivateNamesValid of ClassElementList with the argument newNames.
For all other grammatical productions, recurse on subexpressions/substatements, passing in the names of the caller. If all pieces return true, then return true. If any returns false, return false.
flags: [module]
features: [class, class-fields-private]
---*/
class outer {
#x = 42;
f() {
var self = this;
return class inner {
g() {
return self.#x;
}
}
}
}
var innerclass = new outer().f();
var test = new innerclass().g();
assert.sameValue(test, 42);
reportCompare(0, 0);
|
