Classfields: simple early errors test for privatename references in scripts

test/language/module-code/privatename-not-valid-earlyerr-module-1.js

@@ -0,0 +1,23 @@
+// 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: Early error when referencing privatename in constructor without being declared in class fields
+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.
+features: [class-fields]
+flags: [module]
+negative:
+  phase: early
+  type: SyntaxError
+---*/
+
+throw "Test262: This statement should not be evaluated.";
+
+class C {
+  constructor() {
+    this.#x;
+  }
+}

test/language/module-code/privatename-not-valid-earlyerr-module-2.js

@@ -0,0 +1,23 @@
+// 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: Early error when referencing privatename in function without declaring in class
+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.
+features: [class-fields]
+flags: [module]
+negative:
+  phase: early
+  type: SyntaxError
+---*/
+
+throw "Test262: This statement should not be evaluated.";
+
+class C {
+  f() {
+    this.#x;
+  }
+}

test/language/module-code/privatename-not-valid-earlyerr-module-3.js

@@ -0,0 +1,21 @@
+// 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: Early error when referencing privatename in field without being declared in class fields
+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.
+features: [class-fields]
+flags: [module]
+negative:
+  phase: early
+  type: SyntaxError
+---*/
+
+throw "Test262: This statement should not be evaluated.";
+
+class C {
+  y = this.#x;
+}

test/language/module-code/privatename-not-valid-earlyerr-module-4.js

@@ -0,0 +1,27 @@
+// 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: Early error when referencing privatename that has not been declared in class.
+info: |
+  Static Semantics: Early Errors
+  Static Semantics: Early Errors
+  Module : ModuleBody
+    It is a Syntax Error if AllPrivateNamesValid of ModuleBody with an empty List as an argument is false.
+features: [class-fields]
+flags: [module]
+negative:
+  phase: early
+  type: SyntaxError
+---*/
+
+throw "Test262: This statement should not be evaluated.";
+
+class C {
+  f() {
+    this.#x;
+    class D extends C {
+      #x;
+    }
+  }
+}

test/language/module-code/privatename-not-valid-earlyerr-module-5.js

@@ -0,0 +1,23 @@
+// 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: Early error when referencing privatename outside of class
+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.
+features: [class-fields]
+flags: [module]
+negative:
+  phase: early
+  type: SyntaxError
+---*/
+
+throw "Test262: This statement should not be evaluated.";
+
+class C {
+  #x;
+}
+
+new C().#x;

test/language/module-code/privatename-not-valid-earlyerr-module-6.js

@@ -0,0 +1,21 @@
+// 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: Early error when referencing privatename outside of class.
+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.
+features: [class-fields]
+flags: [module]
+negative:
+  phase: early
+  type: SyntaxError
+---*/
+
+throw "Test262: This statement should not be evaluated.";
+
+class C {}
+
+new C().#x;

test/language/module-code/privatename-not-valid-earlyerr-module-7.js

@@ -0,0 +1,21 @@
+// 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: Early error when referencing privatename on object, outside of class.
+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.
+features: [class-fields]
+flags: [module]
+negative:
+  phase: early
+  type: SyntaxError
+---*/
+
+throw "Test262: This statement should not be evaluated.";
+
+obj = {};
+
+obj.#x;

test/language/module-code/privatename-not-valid-earlyerr-module-8.js

@@ -0,0 +1,21 @@
+// 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: Early error when referencing privatename on object, outside of class.
+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.
+features: [class-fields]
+flags: [module]
+negative:
+  phase: early
+  type: SyntaxError
+---*/
+
+throw "Test262: This statement should not be evaluated.";
+
+function f() {
+  this.#x;
+}

test/language/statements/class/privatename-not-valid-earlyerr-script-1.js

@@ -0,0 +1,24 @@
+// 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: Early error when referencing privatename in constructor without being declared in class fields
+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.
+features: [class-fields]
+negative:
+  phase: early
+  type: SyntaxError
+---*/
+
+throw "Test262: This statement should not be evaluated.";
+
+class C {
+  constructor() {
+    this.#x;
+  }
+}

test/language/statements/class/privatename-not-valid-earlyerr-script-2.js

@@ -0,0 +1,24 @@
+// 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: Early error when referencing privatename in function in class without declaring in field
+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.
+features: [class-fields]
+negative:
+  phase: early
+  type: SyntaxError
+---*/
+
+throw "Test262: This statement should not be evaluated.";
+
+class C {
+  f() {
+    this.#x;
+  }
+}

test/language/statements/class/privatename-not-valid-earlyerr-script-3.js

@@ -0,0 +1,22 @@
+// 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: Early error when referencing privatename that has not been declared in class.
+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.
+features: [class-fields]
+negative:
+  phase: early
+  type: SyntaxError
+---*/
+
+throw "Test262: This statement should not be evaluated.";
+
+class C {
+  y = this.#x;
+}

test/language/statements/class/privatename-not-valid-earlyerr-script-4.js

@@ -0,0 +1,27 @@
+// 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: Early error when referencing privatename that has not been declared in class.
+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.
+features: [class-fields]
+negative:
+  phase: early
+  type: SyntaxError
+---*/
+
+throw "Test262: This statement should not be evaluated.";
+
+class C {
+  f() {
+    this.#x;
+    class D extends C {
+      #x;
+    }
+  }
+}

test/language/statements/class/privatename-not-valid-earlyerr-script-5.js

@@ -0,0 +1,24 @@
+// 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: Early error when referencing privatename outside of class
+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.
+features: [class-fields]
+negative:
+  phase: early
+  type: SyntaxError
+---*/
+
+throw "Test262: This statement should not be evaluated.";
+
+class C {
+  #x;
+}
+
+new C().#x;

test/language/statements/class/privatename-not-valid-earlyerr-script-6.js

@@ -0,0 +1,22 @@
+// 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: Early error when referencing privatename outside of class.
+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.
+features: [class-fields]
+negative:
+  phase: early
+  type: SyntaxError
+---*/
+
+throw "Test262: This statement should not be evaluated.";
+
+class C {}
+
+new C().#x;

test/language/statements/class/privatename-not-valid-earlyerr-script-7.js

@@ -0,0 +1,22 @@
+// 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: Early error when referencing privatename on object, outside of class.
+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.
+features: [class-fields]
+negative:
+  phase: early
+  type: SyntaxError
+---*/
+
+throw "Test262: This statement should not be evaluated.";
+
+obj = {};
+
+obj.#x;

test/language/statements/class/privatename-not-valid-earlyerr-script-8.js

@@ -0,0 +1,22 @@
+// 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: Early error when referencing privatename on object, outside of class.
+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.
+features: [class-fields]
+negative:
+  phase: early
+  type: SyntaxError
+---*/
+
+throw "Test262: This statement should not be evaluated.";
+
+function f() {
+  this.#x;
+}

test/language/statements/class/privatename-not-valid-eval-earlyerr-1.js

@@ -0,0 +1,32 @@
+// 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: Early error when referencing privatename in constructor without being declared in class fields
+info: |
+  Static Semantics: Early Errors
+  Script : ScriptBody
+    1. Let names be an empty List.
+    2. If Script is parsed directly from PerformEval,
+        a. Let env be the running execution context's PrivateNameEnvironment.
+        b. Repeat while env is not null,
+            i. For each binding named N in env,
+                1. If names does not contain N, append N to names.
+            ii. Let env be env's outer environment reference.
+    3. If AllPrivateNamesValid of ScriptBody with the argument names is false, throw a SyntaxError exception.
+features: [class-fields]
+---*/
+
+var executed = false;
+
+class C {
+  constructor() {
+    eval("executed = true; this.#x;");
+  }
+}
+
+assert.throws(SyntaxError, function() {
+  new C();
+});
+
+assert.sameValue(executed, false);

test/language/statements/class/privatename-not-valid-eval-earlyerr-2.js

@@ -0,0 +1,32 @@
+// 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: Early error when referencing privatename in function in class without declaring in field
+info: |
+  Static Semantics: Early Errors
+  Script : ScriptBody
+    1. Let names be an empty List.
+    2. If Script is parsed directly from PerformEval,
+        a. Let env be the running execution context's PrivateNameEnvironment.
+        b. Repeat while env is not null,
+            i. For each binding named N in env,
+                1. If names does not contain N, append N to names.
+            ii. Let env be env's outer environment reference.
+    3. If AllPrivateNamesValid of ScriptBody with the argument names is false, throw a SyntaxError exception.
+features: [class-fields]
+---*/
+
+var executed = false;
+
+class C {
+  f() {
+    eval("executed = true; this.#x;");
+  }
+}
+
+assert.throws(SyntaxError, function() {
+  new C().f();
+});
+
+assert.sameValue(executed, false);

test/language/statements/class/privatename-not-valid-eval-earlyerr-3.js

@@ -0,0 +1,30 @@
+// 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: Early error when referencing privatename that has not been declared in class.
+info: |
+  Static Semantics: Early Errors
+  Script : ScriptBody
+    1. Let names be an empty List.
+    2. If Script is parsed directly from PerformEval,
+        a. Let env be the running execution context's PrivateNameEnvironment.
+        b. Repeat while env is not null,
+            i. For each binding named N in env,
+                1. If names does not contain N, append N to names.
+            ii. Let env be env's outer environment reference.
+    3. If AllPrivateNamesValid of ScriptBody with the argument names is false, throw a SyntaxError exception.
+features: [class-fields]
+---*/
+
+var executed = false;
+
+class C {
+  y = eval("executed = true; this.#x;")
+}
+
+assert.throws(SyntaxError, function() {
+  new C();
+});
+
+assert.sameValue(executed, false);

test/language/statements/class/privatename-not-valid-eval-earlyerr-4.js

@@ -0,0 +1,35 @@
+// 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: Early error when referencing privatename that has not been declared in class.
+info: |
+  Static Semantics: Early Errors
+  Script : ScriptBody
+    1. Let names be an empty List.
+    2. If Script is parsed directly from PerformEval,
+        a. Let env be the running execution context's PrivateNameEnvironment.
+        b. Repeat while env is not null,
+            i. For each binding named N in env,
+                1. If names does not contain N, append N to names.
+            ii. Let env be env's outer environment reference.
+    3. If AllPrivateNamesValid of ScriptBody with the argument names is false, throw a SyntaxError exception.
+features: [class-fields]
+---*/
+
+var executed = false;
+
+class C {
+  f() {
+    eval("executed = true; this.#x;");
+    class D extends C {
+      #x;
+    }
+  }
+}
+
+assert.throws(SyntaxError, function() {
+  new C().f();
+});
+
+assert.sameValue(executed, false);

test/language/statements/class/privatename-not-valid-eval-earlyerr-5.js

@@ -0,0 +1,30 @@
+// 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: Early error when referencing privatename outside of class
+info: |
+  Static Semantics: Early Errors
+  Script : ScriptBody
+    1. Let names be an empty List.
+    2. If Script is parsed directly from PerformEval,
+        a. Let env be the running execution context's PrivateNameEnvironment.
+        b. Repeat while env is not null,
+            i. For each binding named N in env,
+                1. If names does not contain N, append N to names.
+            ii. Let env be env's outer environment reference.
+    3. If AllPrivateNamesValid of ScriptBody with the argument names is false, throw a SyntaxError exception.
+features: [class-fields]
+---*/
+
+var executed = false;
+
+class C {
+  #x;
+}
+
+assert.throws(SyntaxError, function() {
+  eval("executed = true; new C().#x");
+});
+
+assert.sameValue(executed, false);

test/language/statements/class/privatename-not-valid-eval-earlyerr-6.js

@@ -0,0 +1,27 @@
+// 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: Early error when referencing privatename outside of class.
+info: |
+  Static Semantics: Early Errors
+  Script : ScriptBody
+    1. Let names be an empty List.
+    2. If Script is parsed directly from PerformEval,
+        a. Let env be the running execution context's PrivateNameEnvironment.
+        b. Repeat while env is not null,
+            i. For each binding named N in env,
+                1. If names does not contain N, append N to names.
+            ii. Let env be env's outer environment reference.
+    3. If AllPrivateNamesValid of ScriptBody with the argument names is false, throw a SyntaxError exception.
+features: [class-fields]
+---*/
+
+var executed = false;
+class C {}
+
+assert.throws(SyntaxError, function() {
+  eval("executed = true; new C().#x");
+});
+
+assert.sameValue(executed, false);

test/language/statements/class/privatename-not-valid-eval-earlyerr-7.js

@@ -0,0 +1,21 @@
+// 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: Early error when referencing privatename on object, outside of class.
+info: |
+  Static Semantics: Early Errors
+    1. Let names be an empty List.
+      ...
+    3. If AllPrivateNamesValid of ScriptBody with the argument names is false, throw a SyntaxError exception.
+features: [class-fields]
+---*/
+
+var executed = false;
+var obj = {};
+
+assert.throws(SyntaxError, function() {
+  eval("executed = true; obj.#x;");
+});
+
+assert.sameValue(executed, false);

test/language/statements/class/privatename-not-valid-eval-earlyerr-8.js

@@ -0,0 +1,25 @@
+// 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: Early error when referencing privatename on object, outside of class.
+info: |
+  Static Semantics: Early Errors
+    1. Let names be an empty List.
+      ...
+    3. If AllPrivateNamesValid of ScriptBody with the argument names is false, throw a SyntaxError exception.
+features: [class-fields]
+---*/
+
+var executed = false;
+
+function f() {
+  eval("executed = true; this.#x;");
+}
+
+assert.throws(SyntaxError, function() {
+  f();
+});
+
+assert.sameValue(executed, false);
+