tyler.durden
/
test262
mirror of https://github.com/tc39/test262.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

classfields: PrivateFieldSet and PrivateFieldGet

This commit is contained in:
Valerie R Young 2017-11-01 21:59:11 -04:00
parent a6e9a4ea1a
commit bef77dc144
15 changed files with 732 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

46
test/language/statements/class/privatefieldget-success-1.js Normal file
View File

@ -0,0 +1,46 @@
// Copyright (C) 2017 Valerie Young. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
description: Successfully access private field
esid: sec-getvalue
info: |
GetValue ( V )
...
5. 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. Return ? PrivateFieldGet(field, base).
PrivateFieldGet (P, O )
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.
5. Return entry.[[PrivateFieldValue]].
features: [class-fields]
---*/
class Outer {
#x = 42;
innerclass() {
var self = this;
return class extends Outer {
f() {
return self.#x;
}
}
}
}
var Inner = new Outer().innerclass();
var i = new Inner();
var value = i.f();
assert.sameValue(value, 42)

44
test/language/statements/class/privatefieldget-success-2.js Normal file
View File

@ -0,0 +1,44 @@
// Copyright (C) 2017 Valerie Young. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
description: Successfully access private field
esid: sec-getvalue
info: |
GetValue ( V )
...
5. 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. Return ? PrivateFieldGet(field, base).
PrivateFieldGet (P, O )
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.
5. Return entry.[[PrivateFieldValue]].
features: [class-fields]
---*/
class A {
#x = 'Avalue';
x() {
return this.#x;
}
}
class B extends A {
#x = 'Bvalue';
x() {
return this.#x;
}
}
var b = new B();
assert.sameValue(b.x(), 'Bvalue')

41
test/language/statements/class/privatefieldget-success-3.js Normal file
View File

@ -0,0 +1,41 @@
// Copyright (C) 2017 Valerie Young. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
description: Successfully access private field
esid: sec-getvalue
info: |
GetValue ( V )
...
5. 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. Return ? PrivateFieldGet(field, base).
PrivateFieldGet (P, O )
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.
5. Return entry.[[PrivateFieldValue]].
features: [class-fields]
---*/
class A {
#x = 'Avalue';
x() {
return this.#x;
}
}
class B extends A {
#x = 'Bvalue';
}
var b = new B();
assert.sameValue(b.x(), 'Avalue')

40
test/language/statements/class/privatefieldget-success-4.js Normal file
View File

@ -0,0 +1,40 @@
// Copyright (C) 2017 Valerie Young. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
description: Successfully access private field
esid: sec-getvalue
info: |
GetValue ( V )
...
5. 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. Return ? PrivateFieldGet(field, base).
PrivateFieldGet (P, O )
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.
5. Return entry.[[PrivateFieldValue]].
features: [class-fields]
---*/
class A {
#x = 'Avalue';
x() {
return this.#x;
}
}
class B extends A {
}
var b = new B();
assert.sameValue(b.x(), 'Avalue')

40
test/language/statements/class/privatefieldget-success-5.js Normal file
View File

@ -0,0 +1,40 @@
// Copyright (C) 2017 Valerie Young. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
description: Successfully access private field
esid: sec-getvalue
info: |
GetValue ( V )
...
5. 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. Return ? PrivateFieldGet(field, base).
PrivateFieldGet (P, O )
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.
5. Return entry.[[PrivateFieldValue]].
features: [class-fields]
---*/
class C {
#x = 42;
f() {
return this.#x;
}
}
var c1 = new C();
var c2 = new C();
var value = c2.f.call(c1);
assert.sameValue(value, 'Avalue');

39
test/language/statements/class/privatefieldget-typeerror-1.js Normal file
View File

@ -0,0 +1,39 @@
// Copyright (C) 2017 Valerie Young. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
description: Cannot access private field before the entry was added to [[PrivateFieldValues]]
esid: sec-getvalue
info: |
GetValue ( V )
...
5. 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. Return ? PrivateFieldGet(field, base).
PrivateFieldGet (P, O )
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-fields]
---*/
class C {
y = this.#x;
#x;
}
assert.throws(TypeError, function() { new C(); })

55
test/language/statements/class/privatefieldget-typeerror-2.js Normal file
View File

@ -0,0 +1,55 @@
// Copyright (C) 2017 Valerie Young. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
description: TypeError when referenced private field cannot be found in `this`'s [[PrivateFieldValues]]
esid: sec-getvalue
info: |
GetValue ( V )
...
5. 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. Return ? PrivateFieldGet(field, base).
PrivateFieldGet (P, O )
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-fields]
---*/
class Outer {
#x = 42;
innerclass() {
// create class within in Outerclass -- the PrivateNameEnvironment binding for
// private field `#x` is resolvable.
return class {
f() {
return this.#x;
}
}
}
}
var Inner = new Outer().innerclass();
var i = new Inner();
assert.throws(TypeError, function() {
// when f() is called, the private field will not be found in Inner's `this`
i.f();
})

55
test/language/statements/class/privatefieldget-typeerror-3.js Normal file
View File

@ -0,0 +1,55 @@
// Copyright (C) 2017 Valerie Young. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
description: TypeError when referenced private field cannot be found in `this`'s [[PrivateFieldValues]]
esid: sec-getvalue
info: |
GetValue ( V )
...
5. 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. Return ? PrivateFieldGet(field, base).
PrivateFieldGet (P, O )
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-fields]
---*/
class Outer {
#x = 42;
innerclass() {
// create class within in Outerclass -- the PrivateNameEnvironment binding for
// private field `#x` is resolvable.
return class extends Outer {
f() {
return this.#x;
}
}
}
}
var Inner = new Outer().innerclass();
var i = new Inner();
assert.throws(TypeError, function() {
// when f() is called, the private field will not be found in Inner's `this`
i.f();
})

53
test/language/statements/class/privatefieldget-typeerror-4.js Normal file
View File

@ -0,0 +1,53 @@
// Copyright (C) 2017 Valerie Young. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
description: TypeError when referenced private field cannot be found in `this`'s [[PrivateFieldValues]]
esid: sec-getvalue
info: |
GetValue ( V )
...
5. 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. Return ? PrivateFieldGet(field, base).
PrivateFieldGet (P, O )
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-fields]
---*/
function classfactory() {
return class {
#x;
f() {
this.#x;
}
}
}
var C1 = classfactory();
var C2 = classfactory();
c1 = new C1();
c2 = new C2();
assert.throws(TypeError, function() {
// when f() is called in class C1, the Private Name binding for #x in C1 will
// not found in C2's [[PrivateNameValues]]
c1.f.call(c2);
})

58
test/language/statements/class/privatefieldget-typeerror-5.js Normal file
View File

@ -0,0 +1,58 @@
// Copyright (C) 2017 Valerie Young. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
description: TypeError when referenced private field cannot be found in `this`'s [[PrivateFieldValues]]
esid: sec-getvalue
info: |
GetValue ( V )
...
5. 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. Return ? PrivateFieldGet(field, base).
PrivateFieldGet (P, O )
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-fields]
---*/
class Outer {
#x = 42;
innerclass() {
var self = this;
return class extends Outer {
#x = 'not42';
f() {
return self.#x;
}
}
}
}
var Inner = new Outer().innerclass();
var i = new Inner();
assert.throws(TypeError, function() {
// when f() is called, the entry in the PrivateNameEnironment's environment
// record for '#x' will contain the Inner class's Private Name for '#x'.
// When this Private Name is used for lookup on the `self` object, it
// will not be found (as the `self` object has the Outer's Private Name for #x)
i.f();
})

39
test/language/statements/class/privatefieldset-typeerror-1.js Normal file
View File

@ -0,0 +1,39 @@
// Copyright (C) 2017 Valerie Young. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
description: TypeError when setting private field before the entry was added to [[PrivateFieldValues]]
esid: sec-putvalue
info: |
PutValue ( V, W )
...
5. 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-fields]
---*/
class C {
y = this.#x = 1;
#x;
}
assert.throws(TypeError, function() { new C(); })

55
test/language/statements/class/privatefieldset-typeerror-2.js Normal file
View File

@ -0,0 +1,55 @@
// Copyright (C) 2017 Valerie Young. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
description: TypeError when setting private field not in `this`'s [[PrivateFieldValues]]
esid: sec-putvalue
info: |
PutValue ( V, W )
...
5. 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-fields]
---*/
class Outer {
#x = 42;
innerclass() {
// create class within in Outerclass -- the PrivateNameEnvironment binding for
// private field `#x` is resolvable.
return class {
f() {
this.#x = 1;
}
}
}
}
var Inner = new Outer().innerclass();
var i = new Inner();
assert.throws(TypeError, function() {
// when f() is called, the private field will not be found in Inner's `this`
i.f();
})

55
test/language/statements/class/privatefieldset-typeerror-3.js Normal file
View File

@ -0,0 +1,55 @@
// Copyright (C) 2017 Valerie Young. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
description: TypeError when setting private field not in `this`'s [[PrivateFieldValues]]
esid: sec-putvalue
info: |
PutValue ( V, W )
...
5. 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-fields]
---*/
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;
}
}
}
}
var Inner = new Outer().innerclass();
var i = new Inner();
assert.throws(TypeError, function() {
// when f() is called, the private field will not be found in Inner's `this`
i.f();
})

53
test/language/statements/class/privatefieldset-typeerror-4.js Normal file
View File

@ -0,0 +1,53 @@
// Copyright (C) 2017 Valerie Young. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
description: TypeError when setting private field not in `this`'s [[PrivateFieldValues]]
esid: sec-putvalue
info: |
PutValue ( V, W )
...
5. 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-fields]
---*/
function classfactory() {
return class {
#x;
f() {
this.#x = 1;
}
}
}
var C1 = classfactory();
var C2 = classfactory();
c1 = new C1();
c2 = new C2();
assert.throws(TypeError, function() {
// when f() is called in class C1, the Private Name binding for #x in C1 will
// not found in C2's [[PrivateNameValues]]
c1.f.call(c2);
})

59
test/language/statements/class/privatefieldset-typeerror-5.js Normal file
View File

@ -0,0 +1,59 @@
// Copyright (C) 2017 Valerie Young. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
description: TypeError when setting private field not in `this`'s [[PrivateFieldValues]]
esid: sec-putvalue
info: |
PutValue ( V, W )
...
5. 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-fields]
---*/
class Outer {
#x = 42;
innerclass() {
var self = this;
return class extends Outer {
#x = 'not42';
f() {
self.#x = 1;
}
}
}
}
var Inner = new Outer().innerclass();
var i = new Inner();
assert.throws(TypeError, function() {
// when f() is called, the entry in the PrivateNameEnironment's environment
// record for '#x' will contain the Inner class's Private Name for '#x'.
// When this Private Name is used for lookup on the `self` object, it
// will not be found (as the `self` object has the Outer's Private Name for #x)
i.f();
})