diff --git a/test/language/module-code/privatename-valid-no-earlyerr.js b/test/language/module-code/privatename-valid-no-earlyerr.js new file mode 100644 index 0000000000000000000000000000000000000000..8817d14a8f09d80959ba58ec7b07efa8677c0cbb --- /dev/null +++ b/test/language/module-code/privatename-valid-no-earlyerr.js @@ -0,0 +1,47 @@ +// 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-fields] +---*/ + +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.equal(test, 42); diff --git a/test/language/statements/class/privatename-valid-no-earlyerr.js b/test/language/statements/class/privatename-valid-no-earlyerr.js new file mode 100644 index 0000000000000000000000000000000000000000..3138cbd92f7d0a98fd4368787627a739e2ab7d0a --- /dev/null +++ b/test/language/statements/class/privatename-valid-no-earlyerr.js @@ -0,0 +1,49 @@ +// Copyright (C) 2017 Valerie Young. All rights reserved. +// This code is governed by the BSD license found in the LICENSE file. +/*--- +esid: sec-scripts-static-semantics-early-errors +description: Referencing privatename in class within class does not error. +info: | + Static Semantics: Early Errors + Script : ScriptBody + 1. Let names be an empty List. + ... + 3. If AllPrivateNamesValid of ScriptBody with the argument names is false, throw a SyntaxError exception. + + 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. + +features: [class-fields] +---*/ + +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.equal(test, 42);