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
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
|
// This file was procedurally generated from the following sources:
// - src/class-elements/static-field-declaration.case
// - src/class-elements/default/cls-decl.template
/*---
description: Static fields are defined using DefineField (field definitions in a class declaration)
esid: prod-FieldDefinition
features: [class-static-fields-public, class]
flags: [generated]
includes: [propertyHelper.js]
info: |
Updated Productions
ClassElement :
...
static FieldDefinition ;
FieldDefinition :
ClassElementName Initializer_opt
ClassElementName :
PropertyName
PropertyName :
LiteralPropertyName
ComputedPropertyName
LiteralPropertyName :
IdentifierName
StringLiteral
NumericLiteral
ClassDefinitionEvaluation:
...
27. Let staticFields be a new empty List.
28. For each ClassElement e in order from elements,
a. If IsStatic of e is false, then
...
b. Else,
i. Let field be the result of performing PropertyDefinitionEvaluation for mClassElementEvaluation for e with arguments F and false.
c. If field is an abrupt completion, then
...
d. If field is not empty,
i. If IsStatic of e is false, append field to instanceFields.
ii. Otherwise, append field to staticFields.
34. For each item fieldRecord in order from staticFields,
a. Perform ? DefineField(F, field).
...
DefineField(receiver, fieldRecord)
1. Assert: Type(receiver) is Object.
2. Assert: fieldRecord is a Record as created by ClassFieldDefinitionEvaluation.
3. Let name be fieldRecord.[[Name]].
4. Let initializer be fieldRecord.[[Initializer]].
5. If initializer is not empty, then
a. Let initValue be ? Call(initializer, receiver).
6. Else, let initValue be undefined.
7. If fieldRecord.[[IsAnonymousFunctionDefinition]] is true, then
a. Let hasNameProperty be ? HasOwnProperty(initValue, "name").
b. If hasNameProperty is false, perform SetFunctionName(initValue, fieldName).
8. If fieldName is a Private Name,
a. Perform ? PrivateFieldAdd(fieldName, receiver, initValue).
9. Else,
a. Assert: IsPropertyKey(fieldName) is true.
b. Perform ? CreateDataPropertyOrThrow(receiver, fieldName, initValue).
10. Return.
---*/
var computed = 'h';
class C {
static f = 'test262';
static 'g';
static 0 = 'bar';
static [computed];
}
let c = new C();
assert.sameValue(c.f, undefined);
assert.sameValue(c.g, undefined);
assert.sameValue(c.h, undefined);
assert.sameValue(c[0], undefined);
assert(
!Object.prototype.hasOwnProperty.call(c, 'f'),
"f does not appear as an own property on the C instance"
);
assert(
!Object.prototype.hasOwnProperty.call(c, 'g'),
"g does not appear as an own property on the C instance"
);
assert(
!Object.prototype.hasOwnProperty.call(c, 'h'),
"h does not appear as an own property on the C instance"
);
assert(
!Object.prototype.hasOwnProperty.call(c, 0),
"0 does not appear as an own property on the C instance"
);
verifyProperty(C, 'f', {
value: 'test262',
enumerable: true,
writable: true,
configurable: true
});
verifyProperty(C, 'g', {
value: undefined,
enumerable: true,
writable: true,
configurable: true
});
verifyProperty(C, 0, {
value: 'bar',
enumerable: true,
writable: true,
configurable: true
});
verifyProperty(C, 'h', {
value: undefined,
enumerable: true,
writable: true,
configurable: true
});
reportCompare(0, 0);
|