Merge pull request #1660 from rwaldron/restore-spectranaut-tests

Restore class field tests: public, private (+static)

features.txt

@@ -20,6 +20,12 @@ BigInt
 class-fields-public
 class-fields-private
 
+# Static Class Fields & Methods: 
+# https://github.com/tc39/proposal-static-class-features/
+class-static-fields-public
+class-static-fields-private
+class-static-methods-private
+
 # Promise.prototype.finally
 # https://github.com/tc39/proposal-promise-finally
 Promise.prototype.finally

src/class-fields/class-evaluation-error/cls-decl.template

@@ -4,7 +4,7 @@
 /*---
 path: language/statements/class/fields-evaluation-error-
 name: field definitions in a class declaration
-features: [class, class-fields-public]
+features: [class]
 esid: sec-runtime-semantics-classdefinitionevaluation
 ---*/
 

src/class-fields/class-evaluation-error/cls-expr.template

@@ -4,7 +4,7 @@
 /*---
 path: language/expressions/class/fields-evaluation-error-
 name: field definitions in a class expression
-features: [class, class-fields-public]
+features: [class]
 esid: sec-runtime-semantics-classdefinitionevaluation
 ---*/
 

src/class-fields/default/cls-decl.template

@@ -4,7 +4,7 @@
 /*---
 path: language/statements/class/fields-
 name: field definitions in a class declaration
-features: [class, class-fields-public]
+features: [class]
 esid: prod-FieldDefinition
 ---*/
 

src/class-fields/default/cls-expr.template

@@ -4,7 +4,7 @@
 /*---
 path: language/expressions/class/fields-
 name: field definitions in a class expression
-features: [class, class-fields-public]
+features: [class]
 esid: prod-FieldDefinition
 ---*/
 

src/class-fields/delete-error/cls-expr-field-delete-covered.template

@@ -13,7 +13,7 @@ info: |
     It is a Syntax Error if the UnaryExpression is contained in strict mode code and the derived UnaryExpression is PrimaryExpression : IdentifierReference , MemberExpression : MemberExpression.PrivateName , or CallExpression : CallExpression.PrivateName .
 
     It is a Syntax Error if the derived UnaryExpression is PrimaryExpression : CoverParenthesizedExpressionAndArrowParameterList and CoverParenthesizedExpressionAndArrowParameterList ultimately derives a phrase that, if used in place of UnaryExpression, would produce a Syntax Error according to these rules. This rule is recursively applied.
-features: [class, class-fields-private]
+features: [class, class-fields-private, class-fields-public]
 negative:
   type: SyntaxError
   phase: parse

src/class-fields/eval-err-contains-newtarget.case

@@ -13,12 +13,17 @@ info: |
 
   Additional Early Error Rules for Eval Outside Functions
   These static semantics are applied by PerformEval when a direct eval call occurs outside of any function.
-  ScriptBody:StatementList
+  ScriptBody : StatementList
 
     It is a Syntax Error if StatementList Contains NewTarget.
-features: [class, class-fields-public, new.target]
+
+features: [class, new.target]
 template: initializer-eval-newtarget
 ---*/
 
 //- initializer
 new.target
+//- earlyerror
+SyntaxError
+//- executionerror
+SyntaxError

src/class-fields/eval-err-contains-supercall-1.case

@@ -13,12 +13,17 @@ info: |
 
   Additional Early Error Rules for Eval Outside Constructor Methods
   These static semantics are applied by PerformEval when a direct eval call occurs outside of the constructor method of a ClassDeclaration or ClassExpression.
-  ScriptBody:StatementList
+  ScriptBody : StatementList
 
     It is a Syntax Error if StatementList Contains SuperCall.
+
 features: [class, class-fields-public]
 template: initializer-eval-super-call
 ---*/
 
 //- initializer
 super()['x']
+//- earlyerror
+SyntaxError
+//- executionerror
+SyntaxError

src/class-fields/eval-err-contains-supercall-2.case

@@ -4,21 +4,19 @@
 /*---
 desc: error if `super().x` in StatementList of eval
 info: |
-  Additional Early Error Rules for Eval Inside Initializer
-  These static semantics are applied by PerformEval when a direct eval call occurs inside a class field initializer.
-  ScriptBody : StatementList
-
-    ...
-    The remaining eval rules apply as outside a constructor, inside a method, and inside a function.
-
   Additional Early Error Rules for Eval Outside Constructor Methods
   These static semantics are applied by PerformEval when a direct eval call occurs outside of the constructor method of a ClassDeclaration or ClassExpression.
-  ScriptBody:StatementList
+  ScriptBody : StatementList
 
     It is a Syntax Error if StatementList Contains SuperCall.
+
 features: [class, class-fields-public]
 template: initializer-eval-super-call
 ---*/
 
 //- initializer
 super().x
+//- earlyerror
+SyntaxError
+//- executionerror
+SyntaxError

src/class-fields/eval-err-contains-supercall.case

@@ -13,12 +13,17 @@ info: |
 
   Additional Early Error Rules for Eval Outside Constructor Methods
   These static semantics are applied by PerformEval when a direct eval call occurs outside of the constructor method of a ClassDeclaration or ClassExpression.
-  ScriptBody:StatementList
+  ScriptBody : StatementList
 
     It is a Syntax Error if StatementList Contains SuperCall.
+
 features: [class, class-fields-public]
 template: initializer-eval-super-call
 ---*/
 
 //- initializer
 super()
+//- earlyerror
+SyntaxError
+//- executionerror
+SyntaxError

src/class-fields/eval-err-contains-superproperty-1.case

@@ -13,12 +13,17 @@ info: |
 
   Additional Early Error Rules for Eval Outside Methods
   These static semantics are applied by PerformEval when a direct eval call occurs outside of a MethodDefinition.
-  ScriptBody:StatementList
+  ScriptBody : StatementList
 
     It is a Syntax Error if StatementList Contains SuperProperty.
+
 features: [class, class-fields-public]
 template: initializer-eval-super-property
 ---*/
 
 //- initializer
 super.x
+//- earlyerror
+SyntaxError
+//- executionerror
+SyntaxError

src/class-fields/eval-err-contains-superproperty-2.case

@@ -2,23 +2,25 @@
 // This code is governed by the BSD license found in the LICENSE file.
 
 /*---
-desc: error if `super['x']` in StatementList of eval
+desc: error if super['x'] in StatementList of eval
 info: |
-  Additional Early Error Rules for Eval Inside Initializer
+  The remaining eval rules apply as outside a constructor, inside a method, and inside a function.
-  These static semantics are applied by PerformEval when a direct eval call occurs inside a class field initializer.
-  ScriptBody : StatementList
-
-    ...
-    The remaining eval rules apply as outside a constructor, inside a method, and inside a function.
 
   Additional Early Error Rules for Eval Outside Methods
-  These static semantics are applied by PerformEval when a direct eval call occurs outside of a MethodDefinition.
+
-  ScriptBody:StatementList
+    These static semantics are applied by PerformEval when a direct eval call occurs outside of a MethodDefinition.
+
+    ScriptBody : StatementList
 
     It is a Syntax Error if StatementList Contains SuperProperty.
+
 features: [class, class-fields-public]
 template: initializer-eval-super-property
 ---*/
 
 //- initializer
 super['x']
+//- earlyerror
+SyntaxError
+//- executionerror
+SyntaxError

src/class-fields/grammar-field-classelementname-initializer-alt.case

@@ -0,0 +1,68 @@
+// Copyright (C) 2018 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: FieldDefinition, ClassElementName, PropertyName = Initializer Syntax
+info: |
+
+  ClassElement :
+    ...
+    FieldDefinition ;
+    ;
+
+  FieldDefinition :
+    ClassElementName Initializer _opt
+
+  ClassElementName :
+    PropertyName
+    PrivateName
+
+  PropertyName :
+    LiteralPropertyName
+    ComputedPropertyName
+
+  LiteralPropertyName :
+    IdentifierName
+
+  Initializer :
+    = AssignmentExpression
+
+  IdentifierName ::
+    IdentifierStart
+    IdentifierName IdentifierPart
+
+  IdentifierStart ::
+    UnicodeIDStart
+    $
+    _
+    \ UnicodeEscapeSequence
+
+  IdentifierPart ::
+    UnicodeIDContinue
+    $
+    \ UnicodeEscapeSequence
+    <ZWNJ> <ZWJ>
+
+  UnicodeIDStart ::
+    any Unicode code point with the Unicode property "ID_Start"
+
+  UnicodeIDContinue ::
+    any Unicode code point with the Unicode property "ID_Continue"
+
+
+  NOTE 3
+  The sets of code points with Unicode properties "ID_Start" and
+  "ID_Continue" include, respectively, the code points with Unicode
+  properties "Other_ID_Start" and "Other_ID_Continue".
+
+template: syntax/valid
+features: [class-fields-public]
+---*/
+
+//- fields
+$ = 1;
+_ = 2;
+\u{6F} = 3;
+℘ = 4;      // DO NOT CHANGE THE NAME OF THIS FIELD
+ZW_‌_NJ = 5; // DO NOT CHANGE THE NAME OF THIS FIELD
+ZW_‍_J = 6;  // DO NOT CHANGE THE NAME OF THIS FIELD

src/class-fields/grammar-field-classelementname-initializer.case

@@ -0,0 +1,68 @@
+// Copyright (C) 2018 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: FieldDefinition, ClassElementName, PropertyName = Initializer Syntax
+info: |
+
+  ClassElement :
+    ...
+    FieldDefinition ;
+    ;
+
+  FieldDefinition :
+    ClassElementName Initializer _opt
+
+  ClassElementName :
+    PropertyName
+    PrivateName
+
+  PropertyName :
+    LiteralPropertyName
+    ComputedPropertyName
+
+  LiteralPropertyName :
+    IdentifierName
+
+  Initializer :
+    = AssignmentExpression
+
+  IdentifierName ::
+    IdentifierStart
+    IdentifierName IdentifierPart
+
+  IdentifierStart ::
+    UnicodeIDStart
+    $
+    _
+    \ UnicodeEscapeSequence
+
+  IdentifierPart ::
+    UnicodeIDContinue
+    $
+    \ UnicodeEscapeSequence
+    <ZWNJ> <ZWJ>
+
+  UnicodeIDStart ::
+    any Unicode code point with the Unicode property "ID_Start"
+
+  UnicodeIDContinue ::
+    any Unicode code point with the Unicode property "ID_Continue"
+
+
+  NOTE 3
+  The sets of code points with Unicode properties "ID_Start" and
+  "ID_Continue" include, respectively, the code points with Unicode
+  properties "Other_ID_Start" and "Other_ID_Continue".
+
+template: syntax/valid
+features: [class-fields-public]
+---*/
+
+//- fields
+$ = 1;
+_ = 2;
+\u{6F} = 3;
+\u2118 = 4;
+ZW_\u200C_NJ = 5;
+ZW_\u200D_J = 6;

src/class-fields/grammar-field-identifier-alt.case

@@ -0,0 +1,68 @@
+// Copyright (C) 2018 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: Valid FieldDefinition, ClassElementName, PropertyName Syntax
+info: |
+
+  ClassElement :
+    MethodDefinition
+    static MethodDefinition
+    FieldDefinition ;
+    ;
+
+  FieldDefinition :
+    ClassElementName Initializer _opt
+
+  ClassElementName :
+    PropertyName
+    PrivateName
+
+  PropertyName :
+    LiteralPropertyName
+    ComputedPropertyName
+
+  LiteralPropertyName :
+    IdentifierName
+    StringLiteral
+    NumericLiteral
+
+  IdentifierName ::
+    IdentifierStart
+    IdentifierName IdentifierPart
+
+  IdentifierStart ::
+    UnicodeIDStart
+    $
+    _
+    \ UnicodeEscapeSequence
+
+  IdentifierPart ::
+    UnicodeIDContinue
+    $
+    \ UnicodeEscapeSequence
+    <ZWNJ> <ZWJ>
+
+  UnicodeIDStart ::
+    any Unicode code point with the Unicode property "ID_Start"
+
+  UnicodeIDContinue ::
+    any Unicode code point with the Unicode property "ID_Continue"
+
+
+  NOTE 3
+  The sets of code points with Unicode properties "ID_Start" and
+  "ID_Continue" include, respectively, the code points with Unicode
+  properties "Other_ID_Start" and "Other_ID_Continue".
+
+template: syntax/valid
+features: [class-fields-public]
+---*/
+
+//- fields
+$;
+_;
+\u{6F};
+℘;      // DO NOT CHANGE THE NAME OF THIS FIELD
+ZW_‌_NJ; // DO NOT CHANGE THE NAME OF THIS FIELD
+ZW_‍_J;  // DO NOT CHANGE THE NAME OF THIS FIELD

src/class-fields/grammar-field-identifier-invalid-ues-error.case

@@ -0,0 +1,63 @@
+// Copyright (C) 2018 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: Invalid FieldDefinition, ClassElementName, PropertyName Syntax
+info: |
+
+  ClassElement :
+    MethodDefinition
+    static MethodDefinition
+    FieldDefinition ;
+    ;
+
+  FieldDefinition :
+    ClassElementName Initializer _opt
+
+  ClassElementName :
+    PropertyName
+    PrivateName
+
+  PropertyName :
+    LiteralPropertyName
+    ComputedPropertyName
+
+  LiteralPropertyName :
+    IdentifierName
+    StringLiteral
+    NumericLiteral
+
+  IdentifierName ::
+    IdentifierStart
+    IdentifierName IdentifierPart
+
+  IdentifierStart ::
+    UnicodeIDStart
+    $
+    _
+    \ UnicodeEscapeSequence
+
+  IdentifierPart ::
+    UnicodeIDContinue
+    $
+    \ UnicodeEscapeSequence
+    <ZWNJ> <ZWJ>
+
+  UnicodeIDStart ::
+    any Unicode code point with the Unicode property "ID_Start"
+
+  UnicodeIDContinue ::
+    any Unicode code point with the Unicode property "ID_Continue"
+
+
+  NOTE 3
+  The sets of code points with Unicode properties "ID_Start" and
+  "ID_Continue" include, respectively, the code points with Unicode
+  properties "Other_ID_Start" and "Other_ID_Continue".
+
+template: syntax/invalid
+features: [class-fields-public]
+---*/
+
+//- fields
+\u0000;

src/class-fields/grammar-field-identifier-invalid-zwj-error.case

@@ -0,0 +1,63 @@
+// Copyright (C) 2018 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: Invalid FieldDefinition, ClassElementName, PropertyName Syntax
+info: |
+
+  ClassElement :
+    MethodDefinition
+    static MethodDefinition
+    FieldDefinition ;
+    ;
+
+  FieldDefinition :
+    ClassElementName Initializer _opt
+
+  ClassElementName :
+    PropertyName
+    PrivateName
+
+  PropertyName :
+    LiteralPropertyName
+    ComputedPropertyName
+
+  LiteralPropertyName :
+    IdentifierName
+    StringLiteral
+    NumericLiteral
+
+  IdentifierName ::
+    IdentifierStart
+    IdentifierName IdentifierPart
+
+  IdentifierStart ::
+    UnicodeIDStart
+    $
+    _
+    \ UnicodeEscapeSequence
+
+  IdentifierPart ::
+    UnicodeIDContinue
+    $
+    \ UnicodeEscapeSequence
+    <ZWNJ> <ZWJ>
+
+  UnicodeIDStart ::
+    any Unicode code point with the Unicode property "ID_Start"
+
+  UnicodeIDContinue ::
+    any Unicode code point with the Unicode property "ID_Continue"
+
+
+  NOTE 3
+  The sets of code points with Unicode properties "ID_Start" and
+  "ID_Continue" include, respectively, the code points with Unicode
+  properties "Other_ID_Start" and "Other_ID_Continue".
+
+template: syntax/invalid
+features: [class-fields-public]
+---*/
+
+//- fields
+\u200D_ZWJ;

src/class-fields/grammar-field-identifier-invalid-zwnj-error.case

@@ -0,0 +1,63 @@
+// Copyright (C) 2018 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: Invalid FieldDefinition, ClassElementName, PropertyName Syntax
+info: |
+
+  ClassElement :
+    MethodDefinition
+    static MethodDefinition
+    FieldDefinition ;
+    ;
+
+  FieldDefinition :
+    ClassElementName Initializer _opt
+
+  ClassElementName :
+    PropertyName
+    PrivateName
+
+  PropertyName :
+    LiteralPropertyName
+    ComputedPropertyName
+
+  LiteralPropertyName :
+    IdentifierName
+    StringLiteral
+    NumericLiteral
+
+  IdentifierName ::
+    IdentifierStart
+    IdentifierName IdentifierPart
+
+  IdentifierStart ::
+    UnicodeIDStart
+    $
+    _
+    \ UnicodeEscapeSequence
+
+  IdentifierPart ::
+    UnicodeIDContinue
+    $
+    \ UnicodeEscapeSequence
+    <ZWNJ> <ZWJ>
+
+  UnicodeIDStart ::
+    any Unicode code point with the Unicode property "ID_Start"
+
+  UnicodeIDContinue ::
+    any Unicode code point with the Unicode property "ID_Continue"
+
+
+  NOTE 3
+  The sets of code points with Unicode properties "ID_Start" and
+  "ID_Continue" include, respectively, the code points with Unicode
+  properties "Other_ID_Start" and "Other_ID_Continue".
+
+template: syntax/invalid
+features: [class-fields-public]
+---*/
+
+//- fields
+\u200C_ZWNJ;

src/class-fields/grammar-field-identifier.case

@@ -0,0 +1,68 @@
+// Copyright (C) 2018 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: Valid FieldDefinition, ClassElementName, PropertyName Syntax
+info: |
+
+  ClassElement :
+    MethodDefinition
+    static MethodDefinition
+    FieldDefinition ;
+    ;
+
+  FieldDefinition :
+    ClassElementName Initializer _opt
+
+  ClassElementName :
+    PropertyName
+    PrivateName
+
+  PropertyName :
+    LiteralPropertyName
+    ComputedPropertyName
+
+  LiteralPropertyName :
+    IdentifierName
+    StringLiteral
+    NumericLiteral
+
+  IdentifierName ::
+    IdentifierStart
+    IdentifierName IdentifierPart
+
+  IdentifierStart ::
+    UnicodeIDStart
+    $
+    _
+    \ UnicodeEscapeSequence
+
+  IdentifierPart ::
+    UnicodeIDContinue
+    $
+    \ UnicodeEscapeSequence
+    <ZWNJ> <ZWJ>
+
+  UnicodeIDStart ::
+    any Unicode code point with the Unicode property "ID_Start"
+
+  UnicodeIDContinue ::
+    any Unicode code point with the Unicode property "ID_Continue"
+
+
+  NOTE 3
+  The sets of code points with Unicode properties "ID_Start" and
+  "ID_Continue" include, respectively, the code points with Unicode
+  properties "Other_ID_Start" and "Other_ID_Continue".
+
+template: syntax/valid
+features: [class-fields-public]
+---*/
+
+//- fields
+$;
+_;
+\u{6F};
+\u2118;
+ZW_\u200C_NJ;
+ZW_\u200D_J;

src/class-fields/grammar-fields-multi-line.case

@@ -0,0 +1,27 @@
+// Copyright (C) 2018 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: Valid multi-line, multi-field
+info: |
+
+  ClassElement :
+    MethodDefinition
+    static MethodDefinition
+    FieldDefinition ;
+    ;
+
+  FieldDefinition :
+    ClassElementName Initializer _opt
+
+  ClassElementName :
+    PropertyName
+    PrivateName
+
+template: syntax/valid
+features: [class-fields-public]
+---*/
+
+//- fields
+x
+y

src/class-fields/grammar-fields-same-line-error.case

@@ -0,0 +1,26 @@
+// Copyright (C) 2018 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: SyntaxError
+info: |
+
+  ClassElement :
+    MethodDefinition
+    static MethodDefinition
+    FieldDefinition ;
+    ;
+
+  FieldDefinition :
+    ClassElementName Initializer _opt
+
+  ClassElementName :
+    PropertyName
+    PrivateName
+
+template: syntax/invalid
+features: [class-fields-public]
+---*/
+
+//- fields
+x y

src/class-fields/grammar-privatename-classelementname-initializer-alt.case

@@ -0,0 +1,65 @@
+// Copyright (C) 2018 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: Valid PrivateName = Initializer Syntax
+info: |
+
+  ClassElement :
+    MethodDefinition
+    static MethodDefinition
+    FieldDefinition ;
+    ;
+
+  FieldDefinition :
+    ClassElementName Initializer _opt
+
+  ClassElementName :
+    PropertyName
+    PrivateName
+
+  PrivateName ::
+    # IdentifierName
+
+  Initializer :
+    = AssignmentExpression
+
+  IdentifierName ::
+    IdentifierStart
+    IdentifierName IdentifierPart
+
+  IdentifierStart ::
+    UnicodeIDStart
+    $
+    _
+    \ UnicodeEscapeSequence
+
+  IdentifierPart::
+    UnicodeIDContinue
+    $
+    \ UnicodeEscapeSequence
+    <ZWNJ> <ZWJ>
+
+  UnicodeIDStart::
+    any Unicode code point with the Unicode property "ID_Start"
+
+  UnicodeIDContinue::
+    any Unicode code point with the Unicode property "ID_Continue"
+
+
+  NOTE 3
+  The sets of code points with Unicode properties "ID_Start" and
+  "ID_Continue" include, respectively, the code points with Unicode
+  properties "Other_ID_Start" and "Other_ID_Continue".
+
+template: syntax/valid
+features: [class-fields-private]
+---*/
+
+//- fields
+#$ = 1;
+#_ = 2;
+#\u{6F} = 3;
+#℘ = 4;      // DO NOT CHANGE THE NAME OF THIS FIELD
+#ZW_‌_NJ = 5; // DO NOT CHANGE THE NAME OF THIS FIELD
+#ZW_‍_J = 6;  // DO NOT CHANGE THE NAME OF THIS FIELD

src/class-fields/grammar-privatename-classelementname-initializer.case

@@ -0,0 +1,65 @@
+// Copyright (C) 2018 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: Valid PrivateName = Initializer Syntax
+info: |
+
+  ClassElement :
+    MethodDefinition
+    static MethodDefinition
+    FieldDefinition ;
+    ;
+
+  FieldDefinition :
+    ClassElementName Initializer _opt
+
+  ClassElementName :
+    PropertyName
+    PrivateName
+
+  PrivateName ::
+    # IdentifierName
+
+  Initializer :
+    = AssignmentExpression
+
+  IdentifierName ::
+    IdentifierStart
+    IdentifierName IdentifierPart
+
+  IdentifierStart ::
+    UnicodeIDStart
+    $
+    _
+    \ UnicodeEscapeSequence
+
+  IdentifierPart::
+    UnicodeIDContinue
+    $
+    \ UnicodeEscapeSequence
+    <ZWNJ> <ZWJ>
+
+  UnicodeIDStart::
+    any Unicode code point with the Unicode property "ID_Start"
+
+  UnicodeIDContinue::
+    any Unicode code point with the Unicode property "ID_Continue"
+
+
+  NOTE 3
+  The sets of code points with Unicode properties "ID_Start" and
+  "ID_Continue" include, respectively, the code points with Unicode
+  properties "Other_ID_Start" and "Other_ID_Continue".
+
+template: syntax/valid
+features: [class-fields-private]
+---*/
+
+//- fields
+#$ = 1;
+#_ = 2;
+#\u{6F} = 3;
+#\u2118 = 4;
+#ZW_\u200C_NJ = 5;
+#ZW_\u200D_J = 6;

src/class-fields/grammar-privatename-error.case

@@ -0,0 +1,29 @@
+// Copyright (C) 2018 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: No space allowed between sigial and IdentifierName
+info: |
+
+  ClassElement :
+    MethodDefinition
+    static MethodDefinition
+    FieldDefinition ;
+    ;
+
+  FieldDefinition :
+    ClassElementName Initializer _opt
+
+  ClassElementName :
+    PropertyName
+    PrivateName
+
+  PrivateName ::
+    # IdentifierName
+
+template: syntax/invalid
+features: [class-fields-private]
+---*/
+
+//- fields
+# x

src/class-fields/grammar-privatename-identifier-invalid-ues.case

@@ -0,0 +1,57 @@
+// Copyright (C) 2018 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: Valid PrivateName Syntax
+info: |
+
+  ClassElement :
+    MethodDefinition
+    static MethodDefinition
+    FieldDefinition ;
+    ;
+
+  FieldDefinition :
+    ClassElementName Initializer _opt
+
+  ClassElementName :
+    PropertyName
+    PrivateName
+
+  PrivateName ::
+    # IdentifierName
+
+  IdentifierName ::
+    IdentifierStart
+    IdentifierName IdentifierPart
+
+  IdentifierStart ::
+    UnicodeIDStart
+    $
+    _
+    \ UnicodeEscapeSequence
+
+  IdentifierPart::
+    UnicodeIDContinue
+    $
+    \ UnicodeEscapeSequence
+    <ZWNJ> <ZWJ>
+
+  UnicodeIDStart::
+    any Unicode code point with the Unicode property "ID_Start"
+
+  UnicodeIDContinue::
+    any Unicode code point with the Unicode property "ID_Continue"
+
+
+  NOTE 3
+  The sets of code points with Unicode properties "ID_Start" and
+  "ID_Continue" include, respectively, the code points with Unicode
+  properties "Other_ID_Start" and "Other_ID_Continue".
+
+template: syntax/invalid
+features: [class-fields-private]
+---*/
+
+//- fields
+#\u0000;

src/class-fields/grammar-privatename-identifier-invalid-zwj-error.case

@@ -0,0 +1,58 @@
+// Copyright (C) 2018 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: Valid PrivateName Syntax
+info: |
+
+  ClassElement :
+    MethodDefinition
+    static MethodDefinition
+    FieldDefinition ;
+    ;
+
+  FieldDefinition :
+    ClassElementName Initializer _opt
+
+  ClassElementName :
+    PropertyName
+    PrivateName
+
+  PrivateName ::
+    # IdentifierName
+
+  IdentifierName ::
+    IdentifierStart
+    IdentifierName IdentifierPart
+
+  IdentifierStart ::
+    UnicodeIDStart
+    $
+    _
+    \ UnicodeEscapeSequence
+
+  IdentifierPart::
+    UnicodeIDContinue
+    $
+    \ UnicodeEscapeSequence
+    <ZWNJ> <ZWJ>
+
+  UnicodeIDStart::
+    any Unicode code point with the Unicode property "ID_Start"
+
+  UnicodeIDContinue::
+    any Unicode code point with the Unicode property "ID_Continue"
+
+
+  NOTE 3
+  The sets of code points with Unicode properties "ID_Start" and
+  "ID_Continue" include, respectively, the code points with Unicode
+  properties "Other_ID_Start" and "Other_ID_Continue".
+
+template: syntax/invalid
+features: [class-fields-private]
+---*/
+
+//- fields
+#\u200D_ZWJ;
+

src/class-fields/grammar-privatename-identifier-invalid-zwnj-error.case

@@ -0,0 +1,58 @@
+// Copyright (C) 2018 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: Valid PrivateName Syntax
+info: |
+
+  ClassElement :
+    MethodDefinition
+    static MethodDefinition
+    FieldDefinition ;
+    ;
+
+  FieldDefinition :
+    ClassElementName Initializer _opt
+
+  ClassElementName :
+    PropertyName
+    PrivateName
+
+  PrivateName ::
+    # IdentifierName
+
+  IdentifierName ::
+    IdentifierStart
+    IdentifierName IdentifierPart
+
+  IdentifierStart ::
+    UnicodeIDStart
+    $
+    _
+    \ UnicodeEscapeSequence
+
+  IdentifierPart::
+    UnicodeIDContinue
+    $
+    \ UnicodeEscapeSequence
+    <ZWNJ> <ZWJ>
+
+  UnicodeIDStart::
+    any Unicode code point with the Unicode property "ID_Start"
+
+  UnicodeIDContinue::
+    any Unicode code point with the Unicode property "ID_Continue"
+
+
+  NOTE 3
+  The sets of code points with Unicode properties "ID_Start" and
+  "ID_Continue" include, respectively, the code points with Unicode
+  properties "Other_ID_Start" and "Other_ID_Continue".
+
+template: syntax/invalid
+features: [class-fields-private]
+---*/
+
+//- fields
+#\u200C_ZWNJ;
+

src/class-fields/grammar-privatename-identifier-semantics-stringvalue.case

@@ -0,0 +1,91 @@
+// Copyright (C) 2018 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: PrivateName Static Semantics, StringValue
+esid: sec-private-names-static-semantics-stringvalue
+info: |
+
+  ClassElement :
+    MethodDefinition
+    static MethodDefinition
+    FieldDefinition ;
+    ;
+
+  FieldDefinition :
+    ClassElementName Initializer _opt
+
+  ClassElementName :
+    PropertyName
+    PrivateName
+
+  PrivateName ::
+    # IdentifierName
+
+  IdentifierName ::
+    IdentifierStart
+    IdentifierName IdentifierPart
+
+  IdentifierStart ::
+    UnicodeIDStart
+    $
+    _
+    \ UnicodeEscapeSequence
+
+  IdentifierPart::
+    UnicodeIDContinue
+    $
+    \ UnicodeEscapeSequence
+    <ZWNJ> <ZWJ>
+
+  UnicodeIDStart::
+    any Unicode code point with the Unicode property "ID_Start"
+
+  UnicodeIDContinue::
+    any Unicode code point with the Unicode property "ID_Continue"
+
+
+  NOTE 3
+  The sets of code points with Unicode properties "ID_Start" and
+  "ID_Continue" include, respectively, the code points with Unicode
+  properties "Other_ID_Start" and "Other_ID_Continue".
+
+
+  1. Return the String value consisting of the sequence of code
+    units corresponding to PrivateName. In determining the sequence
+    any occurrences of \ UnicodeEscapeSequence are first replaced
+    with the code point represented by the UnicodeEscapeSequence
+    and then the code points of the entire PrivateName are converted
+    to code units by UTF16Encoding (10.1.1) each code point.
+
+template: productions
+features: [class-fields-private]
+---*/
+
+//- fields
+#\u{6F};
+#\u2118;
+#ZW_\u200C_NJ;
+#ZW_\u200D_J;
+//- privateinspectionfunctions
+o(value) {
+  this.#o = value;
+  return this.#o;
+}
+℘(value) {
+  this.#℘ = value;
+  return this.#℘;
+}
+ZW_‌_NJ(value) { // DO NOT CHANGE THE NAME OF THIS METHOD
+  this.#ZW_‌_NJ = value;
+  return this.#ZW_‌_NJ;
+}
+ZW_‍_J(value) { // DO NOT CHANGE THE NAME OF THIS METHOD
+  this.#ZW_‍_J = value;
+  return this.#ZW_‍_J;
+}
+//- assertions
+assert.sameValue(c.o(1), 1);
+assert.sameValue(c.℘(1), 1);
+assert.sameValue(c.ZW_‌_NJ(1), 1);
+assert.sameValue(c.ZW_‍_J(1), 1);

src/class-fields/grammar-privatename-identifier.case

@@ -0,0 +1,62 @@
+// Copyright (C) 2018 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: Valid PrivateName Syntax
+info: |
+
+  ClassElement :
+    MethodDefinition
+    static MethodDefinition
+    FieldDefinition ;
+    ;
+
+  FieldDefinition :
+    ClassElementName Initializer _opt
+
+  ClassElementName :
+    PropertyName
+    PrivateName
+
+  PrivateName ::
+    # IdentifierName
+
+  IdentifierName ::
+    IdentifierStart
+    IdentifierName IdentifierPart
+
+  IdentifierStart ::
+    UnicodeIDStart
+    $
+    _
+    \ UnicodeEscapeSequence
+
+  IdentifierPart::
+    UnicodeIDContinue
+    $
+    \ UnicodeEscapeSequence
+    <ZWNJ> <ZWJ>
+
+  UnicodeIDStart::
+    any Unicode code point with the Unicode property "ID_Start"
+
+  UnicodeIDContinue::
+    any Unicode code point with the Unicode property "ID_Continue"
+
+
+  NOTE 3
+  The sets of code points with Unicode properties "ID_Start" and
+  "ID_Continue" include, respectively, the code points with Unicode
+  properties "Other_ID_Start" and "Other_ID_Continue".
+
+template: syntax/valid
+features: [class-fields-private]
+---*/
+
+//- fields
+#$;
+#_;
+#\u{6F};
+#\u2118;
+#ZW_\u200C_NJ;
+#ZW_\u200D_J;

src/class-fields/grammar-privatename-no-initializer-with-method.case

@@ -0,0 +1,30 @@
+// Copyright (C) 2018 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: SyntaxError
+info: |
+
+  ClassElement :
+    MethodDefinition
+    static MethodDefinition
+    FieldDefinition ;
+    ;
+
+  FieldDefinition :
+    ClassElementName Initializer _opt
+
+  ClassElementName :
+    PropertyName
+    PrivateName
+
+  PrivateName ::
+    # IdentifierName
+
+template: syntax/valid
+features: [class-fields-private]
+---*/
+
+//- fields
+#x
+m() {}

src/class-fields/grammar-privatenames-multi-line.case

@@ -0,0 +1,30 @@
+// Copyright (C) 2018 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: SyntaxError
+info: |
+
+  ClassElement :
+    MethodDefinition
+    static MethodDefinition
+    FieldDefinition ;
+    ;
+
+  FieldDefinition :
+    ClassElementName Initializer _opt
+
+  ClassElementName :
+    PropertyName
+    PrivateName
+
+  PrivateName ::
+    # IdentifierName
+
+template: syntax/valid
+features: [class-fields-private]
+---*/
+
+//- fields
+#x
+#y

src/class-fields/grammar-privatenames-same-line-error.case

@@ -0,0 +1,31 @@
+// Copyright (C) 2018 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: SyntaxError
+info: |
+
+  ClassElement :
+    MethodDefinition
+    static MethodDefinition
+    FieldDefinition ;
+    ;
+
+  FieldDefinition :
+    ClassElementName Initializer _opt
+
+  ClassElementName :
+    PropertyName
+    PrivateName
+
+  PrivateName ::
+    # IdentifierName
+
+template: syntax/invalid
+negative:
+
+features: [class-fields-private]
+---*/
+
+//- fields
+#x #y

src/class-fields/initializer-error/cls-decl-fields-arrow-fnc.template

@@ -5,7 +5,7 @@
 esid: sec-class-definitions-static-semantics-early-errors
 path: language/statements/class/fields-arrow-fnc-
 name: arrow function expression
-features: [arrow-function]
+features: [arrow-function, class-fields-public]
 ---*/
 
 throw "Test262: This statement should not be evaluated.";

src/class-fields/initializer-error/cls-decl-fields-comp-name.template

@@ -0,0 +1,16 @@
+// Copyright (C) 2017 Valerie Young. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-class-definitions-static-semantics-early-errors
+path: language/statements/class/fields-comp-name-
+name: computed ClassElementName
+features: [class, class-fields-public]
+---*/
+
+throw "Test262: This statement should not be evaluated.";
+
+var x = "string";
+class C {
+  [x] = /*{ initializer }*/;
+}

src/class-fields/initializer-error/cls-decl-fields-equality.template

@@ -5,6 +5,7 @@
 esid: sec-class-definitions-static-semantics-early-errors
 path: language/statements/class/fields-equality-
 name: equality expression
+features: [class, class-fields-public]
 ---*/
 
 throw "Test262: This statement should not be evaluated.";

src/class-fields/initializer-error/cls-decl-fields-literal-name.template

@@ -5,6 +5,7 @@
 esid: sec-class-definitions-static-semantics-early-errors
 path: language/statements/class/fields-literal-name-
 name: literal ClassElementName
+features: [class, class-fields-public]
 ---*/
 
 throw "Test262: This statement should not be evaluated.";

src/class-fields/initializer-error/cls-decl-fields-static-comp-name.template

@@ -0,0 +1,16 @@
+// Copyright (C) 2017 Valerie Young. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-class-definitions-static-semantics-early-errors
+path: language/statements/class/fields-static-comp-name-
+name: static computed ClassElementName
+features: [class, class-static-fields-public]
+---*/
+
+throw "Test262: This statement should not be evaluated.";
+
+var x = "string";
+class C {
+  static [x] = /*{ initializer }*/;
+}

src/class-fields/initializer-error/cls-decl-fields-static-literal-name.template

@@ -0,0 +1,15 @@
+// Copyright (C) 2017 Valerie Young. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-class-definitions-static-semantics-early-errors
+path: language/statements/class/fields-static-literal-
+name: static literal ClassElementName
+features: [class, class-static-fields-public]
+---*/
+
+throw "Test262: This statement should not be evaluated.";
+
+class C {
+  static x = /*{ initializer }*/;
+}

src/class-fields/initializer-error/cls-decl-fields-static-private-name.template

@@ -0,0 +1,15 @@
+// Copyright (C) 2017 Valerie Young. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-class-definitions-static-semantics-early-errors
+path: language/statements/class/fields-static-private-
+name: static PrivateName
+features: [class, class-static-fields-private]
+---*/
+
+throw "Test262: This statement should not be evaluated.";
+
+class C {
+  static #x = /*{ initializer }*/;
+}

src/class-fields/initializer-error/cls-decl-fields-static-string-literal-name.template

@@ -0,0 +1,15 @@
+// Copyright (C) 2017 Valerie Young. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-class-definitions-static-semantics-early-errors
+path: language/statements/class/fields-static-string-literal-name-
+name: static string literal ClassElementName
+features: [class, class-static-fields-public]
+---*/
+
+throw "Test262: This statement should not be evaluated.";
+
+class C {
+  static 'x' = /*{ initializer }*/;
+}

src/class-fields/initializer-error/cls-decl-fields-string-literal-name.template

@@ -5,6 +5,7 @@
 esid: sec-class-definitions-static-semantics-early-errors
 path: language/statements/class/fields-string-literal-name-
 name: string literal ClassElementName
+features: [class, class-fields-public]
 ---*/
 
 throw "Test262: This statement should not be evaluated.";

src/class-fields/initializer-error/cls-decl-fields-ternary.template

@@ -5,6 +5,7 @@
 esid: sec-class-definitions-static-semantics-early-errors
 path: language/statements/class/fields-ternary-
 name: ternary expression
+features: [class, class-fields-public]
 ---*/
 
 throw "Test262: This statement should not be evaluated.";

src/class-fields/initializer-error/cls-decl-fields-typeof.template

@@ -5,6 +5,7 @@
 esid: sec-class-definitions-static-semantics-early-errors
 path: language/statements/class/fields-typeof-
 name: typeof expression
+features: [class, class-fields-public]
 ---*/
 
 throw "Test262: This statement should not be evaluated.";

src/class-fields/initializer-error/cls-expr-fields-arrow-fnc.template

@@ -5,7 +5,7 @@
 esid: sec-class-definitions-static-semantics-early-errors
 path: language/expressions/class/fields-arrow-fnc-
 name: arrow function expression
-features: [arrow-function]
+features: [arrow-function, class, class-fields-public]
 ---*/
 
 throw "Test262: This statement should not be evaluated.";

src/class-fields/initializer-error/cls-expr-fields-comp-name.template

@@ -5,6 +5,7 @@
 esid: sec-class-definitions-static-semantics-early-errors
 path: language/expressions/class/fields-comp-name-
 name: computed ClassElementName
+features: [class, class-fields-public]
 ---*/
 
 throw "Test262: This statement should not be evaluated.";

src/class-fields/initializer-error/cls-expr-fields-equality.template

@@ -5,6 +5,7 @@
 esid: sec-class-definitions-static-semantics-early-errors
 path: language/expressions/class/fields-equality-
 name: equality expression
+features: [class, class-fields-public]
 ---*/
 
 throw "Test262: This statement should not be evaluated.";

src/class-fields/initializer-error/cls-expr-fields-literal-name.template

@@ -5,6 +5,7 @@
 esid: sec-class-definitions-static-semantics-early-errors
 path: language/expressions/class/fields-literal-name-
 name: literal ClassElementName
+features: [class, class-fields-public]
 ---*/
 
 throw "Test262: This statement should not be evaluated.";

src/class-fields/initializer-error/cls-expr-fields-static-comp-name.template

@@ -0,0 +1,16 @@
+// Copyright (C) 2017 Valerie Young. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-class-definitions-static-semantics-early-errors
+path: language/expressions/class/fields-static-comp-name-
+name: static computed ClassElementName
+features: [class, class-static-fields-public]
+---*/
+
+throw "Test262: This statement should not be evaluated.";
+
+var x = "string";
+var C = class {
+  static [x] = /*{ initializer }*/;
+}

src/class-fields/initializer-error/cls-expr-fields-static-literal-name.template

@@ -0,0 +1,15 @@
+// Copyright (C) 2017 Valerie Young. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-class-definitions-static-semantics-early-errors
+path: language/expressions/class/fields-static-literal-
+name: static literal ClassElementName
+features: [class, class-static-fields-public]
+---*/
+
+throw "Test262: This statement should not be evaluated.";
+
+var C = class {
+  static x = /*{ initializer }*/;
+}

src/class-fields/initializer-error/cls-expr-fields-static-private-name.template

@@ -0,0 +1,15 @@
+// Copyright (C) 2017 Valerie Young. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-class-definitions-static-semantics-early-errors
+path: language/expressions/class/fields-static-private-
+name: static PrivateName
+features: [class, class-static-fields-private]
+---*/
+
+throw "Test262: This statement should not be evaluated.";
+
+var C = class {
+  static #x = /*{ initializer }*/;
+}

src/class-fields/initializer-error/cls-expr-fields-static-string-literal-name.template

@@ -0,0 +1,15 @@
+// Copyright (C) 2017 Valerie Young. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-class-definitions-static-semantics-early-errors
+path: language/expressions/class/fields-static-string-literal-name-
+name: static string literal ClassElementName
+features: [class, class-static-fields-public]
+---*/
+
+throw "Test262: This statement should not be evaluated.";
+
+var C = class {
+  static 'x' = /*{ initializer }*/;
+}

src/class-fields/initializer-error/cls-expr-fields-string-literal-name.template

@@ -5,6 +5,7 @@
 esid: sec-class-definitions-static-semantics-early-errors
 path: language/expressions/class/fields-string-literal-name-
 name: string literal ClassElementName
+features: [class, class-fields-public]
 ---*/
 
 throw "Test262: This statement should not be evaluated.";

src/class-fields/initializer-error/cls-expr-fields-ternary.template

@@ -5,6 +5,7 @@
 esid: sec-class-definitions-static-semantics-early-errors
 path: language/expressions/class/fields-ternary-
 name: ternary expression
+features: [class, class-fields-public]
 ---*/
 
 throw "Test262: This statement should not be evaluated.";

src/class-fields/initializer-error/cls-expr-fields-typeof.template

@@ -5,6 +5,7 @@
 esid: sec-class-definitions-static-semantics-early-errors
 path: language/expressions/class/fields-typeof-
 name: typeof expression
+features: [class, class-fields-public]
 ---*/
 
 throw "Test262: This statement should not be evaluated.";

src/class-fields/initializer-eval-arguments/cls-decl-fields-eval.template

@@ -5,6 +5,7 @@
 esid: sec-performeval-rules-in-initializer
 path: language/statements/class/fields-direct-
 name: direct eval
+features: [class, class-fields-public]
 ---*/
 
 var executed = false;

src/class-fields/initializer-eval-arguments/cls-decl-fields-indirect-eval.template

@@ -5,6 +5,7 @@
 esid: sec-performeval-rules-in-initializer
 path: language/statements/class/fields-indirect-
 name: indirect eval
+features: [class, class-fields-public]
 ---*/
 
 var executed = false;

src/class-fields/initializer-eval-arguments/cls-decl-private-fields-eval.template

@@ -0,0 +1,20 @@
+// Copyright (C) 2017 Valerie Young. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-performeval-rules-in-initializer
+path: language/statements/class/fields-private-direct-
+name: direct eval
+features: [class, class-fields-private]
+---*/
+
+var executed = false;
+class C {
+  #x = eval('executed = true; /*{ initializer }*/;');
+}
+
+assert.throws(/*{ earlyerror }*/, function() {
+  new C();
+});
+
+assert.sameValue(executed, false);

src/class-fields/initializer-eval-arguments/cls-decl-private-fields-indirect-eval.template

@@ -0,0 +1,20 @@
+// Copyright (C) 2017 Valerie Young. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-performeval-rules-in-initializer
+path: language/statements/class/fields-private-indirect-
+name: indirect eval
+features: [class, class-fields-private]
+---*/
+
+var executed = false;
+class C {
+  #x = (0, eval)('executed = true; /*{ initializer }*/;');
+}
+
+assert.throws(/*{ executionerror }*/, function() {
+  new C();
+});
+
+assert.sameValue(executed, true);

src/class-fields/initializer-eval-arguments/cls-expr-fields-eval.template

@@ -5,6 +5,7 @@
 esid: sec-performeval-rules-in-initializer
 path: language/expressions/class/fields-direct-
 name: direct eval
+features: [class, class-fields-public]
 ---*/
 
 var executed = false;

src/class-fields/initializer-eval-arguments/cls-expr-fields-indirect-eval.template

@@ -5,6 +5,7 @@
 esid: sec-performeval-rules-in-initializer
 path: language/expressions/class/fields-indirect-
 name: indirect eval
+features: [class, class-fields-public]
 ---*/
 
 var executed = false;

src/class-fields/initializer-eval-arguments/cls-expr-private-fields-eval.template

@@ -0,0 +1,20 @@
+// Copyright (C) 2017 Valerie Young. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-performeval-rules-in-initializer
+path: language/expressions/class/fields-private-direct-
+name: direct eval
+features: [class, class-fields-private]
+---*/
+
+var executed = false;
+var C = class {
+  #x = eval('executed = true; /*{ initializer }*/;');
+}
+
+assert.throws(/*{ earlyerror }*/, function() {
+  new C();
+});
+
+assert.sameValue(executed, false);

src/class-fields/initializer-eval-arguments/cls-expr-private-fields-indirect-eval.template

@@ -0,0 +1,20 @@
+// Copyright (C) 2017 Valerie Young. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-performeval-rules-in-initializer
+path: language/expressions/class/fields-private-indirect-
+name: indirect eval
+features: [class, class-fields-private]
+---*/
+
+var executed = false;
+var C = class {
+  #x = (0, eval)('executed = true; /*{ initializer }*/;');
+}
+
+assert.throws(/*{ executionerror }*/, function() {
+  new C();
+});
+
+assert.sameValue(executed, true);

src/class-fields/initializer-eval-newtarget/cls-decl-fields-eval.template

@@ -5,6 +5,7 @@
 esid: sec-performeval-rules-in-initializer
 path: language/statements/class/fields-direct-
 name: direct eval
+features: [class, class-fields-public]
 ---*/
 
 var executed = false;

src/class-fields/initializer-eval-newtarget/cls-decl-fields-indirect-eval.template

@@ -5,6 +5,7 @@
 esid: sec-performeval-rules-in-initializer
 path: language/statements/class/fields-indirect-
 name: indirect eval
+features: [class, class-fields-public]
 ---*/
 
 var executed = false;

src/class-fields/initializer-eval-newtarget/cls-decl-private-fields-eval.template

@@ -0,0 +1,19 @@
+// Copyright (C) 2017 Valerie Young. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-performeval-rules-in-initializer
+path: language/statements/class/fields-private-direct-
+name: direct eval
+features: [class, class-fields-private]
+---*/
+
+var executed = false;
+class C {
+  #x = eval('executed = true; /*{ initializer }*/;');
+}
+
+var c = new C();
+
+assert.sameValue(executed, true);
+assert.sameValue(c.x, undefined);

src/class-fields/initializer-eval-newtarget/cls-decl-private-fields-indirect-eval.template

@@ -0,0 +1,20 @@
+// Copyright (C) 2017 Valerie Young. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-performeval-rules-in-initializer
+path: language/statements/class/fields-private-indirect-
+name: indirect eval
+features: [class, class-fields-private]
+---*/
+
+var executed = false;
+class C {
+  #x = (0, eval)('executed = true; /*{ initializer }*/;');
+}
+
+assert.throws(SyntaxError, function() {
+  new C();
+});
+
+assert.sameValue(executed, false);

src/class-fields/initializer-eval-newtarget/cls-expr-fields-eval.template

@@ -5,6 +5,7 @@
 esid: sec-performeval-rules-in-initializer
 path: language/expressions/class/fields-direct-
 name: direct eval
+features: [class, class-fields-public]
 ---*/
 
 var executed = false;

src/class-fields/initializer-eval-newtarget/cls-expr-fields-indirect-eval.template

@@ -5,6 +5,7 @@
 esid: sec-performeval-rules-in-initializer
 path: language/expressions/class/fields-indirect-
 name: indirect eval
+features: [class, class-fields-public]
 ---*/
 
 var executed = false;

src/class-fields/initializer-eval-newtarget/cls-expr-private-fields-eval.template

@@ -0,0 +1,19 @@
+// Copyright (C) 2017 Valerie Young. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-performeval-rules-in-initializer
+path: language/expressions/class/fields-private-direct-
+name: direct eval
+features: [class, class-fields-private]
+---*/
+
+var executed = false;
+var C = class {
+  #x = eval('executed = true; /*{ initializer }*/;');
+}
+
+var c = new C();
+
+assert.sameValue(executed, true);
+assert.sameValue(c.x, undefined);

src/class-fields/initializer-eval-newtarget/cls-expr-private-fields-indirect-eval.template

@@ -0,0 +1,20 @@
+// Copyright (C) 2017 Valerie Young. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-performeval-rules-in-initializer
+path: language/expressions/class/fields-private-indirect-
+name: indirect eval
+features: [class, class-fields-private]
+---*/
+
+var executed = false;
+var C = class {
+  #x = (0, eval)('executed = true; /*{ initializer }*/;');
+}
+
+assert.throws(SyntaxError, function() {
+  new C();
+});
+
+assert.sameValue(executed, false);

src/class-fields/initializer-eval-super-call/cls-decl-fields-eval.template

@@ -7,9 +7,8 @@ path: language/statements/class/fields-derived-cls-direct-
 name: direct eval
 ---*/
 
-class A {}
-
 var executed = false;
+class A {}
 class C extends A {
   x = eval('executed = true; /*{ initializer }*/;');
 }

src/class-fields/initializer-eval-super-call/cls-decl-fields-indirect-eval.template

@@ -7,9 +7,8 @@ path: language/statements/class/fields-derived-cls-indirect-
 name: indirect eval
 ---*/
 
-class A {}
-
 var executed = false;
+class A {}
 class C extends A {
   x = (0, eval)('executed = true; /*{ initializer }*/;');
 }

src/class-fields/initializer-eval-super-call/cls-decl-private-fields-eval.template

@@ -0,0 +1,20 @@
+// Copyright (C) 2017 Valerie Young. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-performeval-rules-in-initializer
+path: language/statements/class/fields-private-derived-cls-direct-
+name: direct eval
+---*/
+
+var executed = false;
+class A {}
+class C extends A {
+  #x = eval('executed = true; /*{ initializer }*/;');
+}
+
+assert.throws(SyntaxError, function() {
+  new C();
+});
+
+assert.sameValue(executed, false);

src/class-fields/initializer-eval-super-call/cls-decl-private-fields-indirect-eval.template

@@ -0,0 +1,20 @@
+// Copyright (C) 2017 Valerie Young. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-performeval-rules-in-initializer
+path: language/statements/class/fields-private-derived-cls-indirect-
+name: indirect eval
+---*/
+
+var executed = false;
+class A {}
+class C extends A {
+  #x = (0, eval)('executed = true; /*{ initializer }*/;');
+}
+
+assert.throws(SyntaxError, function() {
+  new C();
+});
+
+assert.sameValue(executed, false);

src/class-fields/initializer-eval-super-call/cls-expr-fields-eval.template

@@ -7,9 +7,8 @@ path: language/expressions/class/fields-derived-cls-direct-
 name: direct eval
 ---*/
 
-var A = class {}
-
 var executed = false;
+var A = class {}
 var C = class extends A {
   x = eval('executed = true; /*{ initializer }*/;');
 }

src/class-fields/initializer-eval-super-call/cls-expr-fields-indirect-eval.template

@@ -7,9 +7,8 @@ path: language/expressions/class/fields-derived-cls-indirect-
 name: indirect eval
 ---*/
 
-var A = class {}
-
 var executed = false;
+var A = class {}
 var C = class extends A {
   x = (0, eval)('executed = true; /*{ initializer }*/;');
 }

src/class-fields/initializer-eval-super-call/cls-expr-private-fields-eval.template

@@ -0,0 +1,20 @@
+// Copyright (C) 2017 Valerie Young. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-performeval-rules-in-initializer
+path: language/expressions/class/fields-private-derived-cls-direct-
+name: direct eval
+---*/
+
+var executed = false;
+var A = class {}
+var C = class extends A {
+  #x = eval('executed = true; /*{ initializer }*/;');
+}
+
+assert.throws(SyntaxError, function() {
+  new C();
+});
+
+assert.sameValue(executed, false);

src/class-fields/initializer-eval-super-call/cls-expr-private-fields-indirect-eval.template

@@ -0,0 +1,20 @@
+// Copyright (C) 2017 Valerie Young. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-performeval-rules-in-initializer
+path: language/expressions/class/fields-private-derived-cls-indirect-
+name: indirect eval
+---*/
+
+var executed = false;
+var A = class {}
+var C = class extends A {
+  #x = (0, eval)('executed = true; /*{ initializer }*/;');
+}
+
+assert.throws(SyntaxError, function() {
+  new C();
+});
+
+assert.sameValue(executed, false);

src/class-fields/initializer-eval-super-property/cls-decl-fields-eval.template

@@ -7,9 +7,8 @@ path: language/statements/class/fields-derived-cls-direct-
 name: direct eval
 ---*/
 
-class A {}
-
 var executed = false;
+class A {}
 class C extends A {
   x = eval('executed = true; /*{ initializer }*/;');
 }

src/class-fields/initializer-eval-super-property/cls-decl-fields-indirect-eval.template

@@ -7,9 +7,8 @@ path: language/statements/class/fields-derived-cls-indirect-
 name: indirect eval
 ---*/
 
-class A {}
-
 var executed = false;
+class A {}
 class C extends A {
   x = (0, eval)('executed = true; /*{ initializer }*/;');
 }

src/class-fields/initializer-eval-super-property/cls-decl-private-fields-eval.template

@@ -0,0 +1,18 @@
+// Copyright (C) 2017 Valerie Young. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-performeval-rules-in-initializer
+path: language/statements/class/fields-private-derived-cls-direct-
+name: direct eval
+---*/
+
+var executed = false;
+class A {}
+class C extends A {
+  #x = eval('executed = true; /*{ initializer }*/;');
+}
+
+new C();
+
+assert.sameValue(executed, true);

src/class-fields/initializer-eval-super-property/cls-decl-private-fields-indirect-eval.template

@@ -0,0 +1,20 @@
+// Copyright (C) 2017 Valerie Young. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-performeval-rules-in-initializer
+path: language/statements/class/fields-private-derived-cls-indirect-
+name: indirect eval
+---*/
+
+var executed = false;
+class A {}
+class C extends A {
+  #x = (0, eval)('executed = true; /*{ initializer }*/;');
+}
+
+assert.throws(SyntaxError, function() {
+  new C();
+});
+
+assert.sameValue(executed, false);

src/class-fields/initializer-eval-super-property/cls-expr-fields-eval.template

@@ -7,12 +7,11 @@ path: language/expressions/class/fields-derived-cls-direct-
 name: direct eval
 ---*/
 
-var A = class {}
-
 var executed = false;
+var A = class {}
 var C = class extends A {
   x = eval('executed = true; /*{ initializer }*/;');
-}
+};
 
 new C();
 

src/class-fields/initializer-eval-super-property/cls-expr-fields-indirect-eval.template

@@ -7,12 +7,11 @@ path: language/expressions/class/fields-derived-cls-indirect-
 name: indirect eval
 ---*/
 
-var A = class {}
-
 var executed = false;
+var A = class {}
 var C = class extends A {
   x = (0, eval)('executed = true; /*{ initializer }*/;');
-}
+};
 
 assert.throws(SyntaxError, function() {
   new C();

src/class-fields/initializer-eval-super-property/cls-expr-private-fields-eval.template

@@ -0,0 +1,18 @@
+// Copyright (C) 2017 Valerie Young. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-performeval-rules-in-initializer
+path: language/expressions/class/fields-private-derived-cls-direct-
+name: direct eval
+---*/
+
+var executed = false;
+var A = class {}
+var C = class extends A {
+  #x = eval('executed = true; /*{ initializer }*/;');
+};
+
+new C();
+
+assert.sameValue(executed, true);

src/class-fields/initializer-eval-super-property/cls-expr-private-fields-indirect-eval.template

@@ -0,0 +1,20 @@
+// Copyright (C) 2017 Valerie Young. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-performeval-rules-in-initializer
+path: language/expressions/class/fields-private-derived-cls-indirect-
+name: indirect eval
+---*/
+
+var executed = false;
+var A = class {}
+var C = class extends A {
+  #x = (0, eval)('executed = true; /*{ initializer }*/;');
+};
+
+assert.throws(SyntaxError, function() {
+  new C();
+});
+
+assert.sameValue(executed, false);

src/class-fields/initializer-eval-super/cls-decl-fields-eval.template

@@ -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-performeval-rules-in-initializer
+path: language/statements/class/fields-derived-cls-direct-
+name: direct eval
+features: [class, class-fields-public]
+---*/
+
+var executed = false;
+class A = {}
+class C extends A {
+  x = eval('executed = true; /*{ initializer }*/;';
+}
+
+assert.throws(/*{ earlyerror }*/, function() {
+  new C();
+});
+
+assert.sameValue(executed, false);

src/class-fields/initializer-eval-super/cls-decl-fields-indirect-eval.template

@@ -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-performeval-rules-in-initializer
+path: language/statements/class/fields-derived-cls-indirect-
+name: indirect eval
+features: [class, class-fields-public]
+---*/
+
+class A = {}
+
+var executed = false;
+class C extends A {
+  x = (0, eval)('executed = true; /*{ initializer }*/;';
+}
+
+assert.throws(/*{ executionerror }*/, function() {
+  new C();
+});
+
+assert.sameValue(executed, true);

src/class-fields/initializer-eval-super/cls-decl-private-fields-eval.template

@@ -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-performeval-rules-in-initializer
+path: language/statements/class/fields-private-derived-cls-direct-
+name: direct eval
+features: [class, class-fields-private]
+---*/
+
+var executed = false;
+class A = {}
+class C extends A {
+  #x = eval('executed = true; /*{ initializer }*/;';
+}
+
+assert.throws(/*{ earlyerror }*/, function() {
+  new C();
+});
+
+assert.sameValue(executed, false);

src/class-fields/initializer-eval-super/cls-decl-private-fields-indirect-eval.template

@@ -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-performeval-rules-in-initializer
+path: language/statements/class/fields-private-derived-cls-indirect-
+name: indirect eval
+features: [class, class-fields-private]
+---*/
+
+class A = {}
+
+var executed = false;
+class C extends A {
+  #x = (0, eval)('executed = true; /*{ initializer }*/;';
+}
+
+assert.throws(/*{ executionerror }*/, function() {
+  new C();
+});
+
+assert.sameValue(executed, true);

src/class-fields/initializer-eval-super/cls-expr-fields-eval.template

@@ -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-performeval-rules-in-initializer
+path: language/expressions/class/fields-derived-cls-direct-
+name: direct eval
+features: [class, class-fields-public]
+---*/
+
+var executed = false;
+var A = class {}
+var C = class extends A {
+  x = eval('executed = true; /*{ initializer }*/;';
+};
+
+assert.throws(/*{ earlyerror }*/, function() {
+  new C();
+});
+
+assert.sameValue(executed, false);

src/class-fields/initializer-eval-super/cls-expr-fields-indirect-eval.template

@@ -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-performeval-rules-in-initializer
+path: language/expressions/class/fields-derived-cls-indirect-
+name: indirect eval
+features: [class, class-fields-public]
+---*/
+
+var executed = false;
+var A = class {}
+var C = class extends A {
+  x = (0, eval)('executed = true; /*{ initializer }*/;';
+};
+
+assert.throws(/*{ executionerror }*/, function() {
+  new C();
+});
+
+assert.sameValue(executed, true);

src/class-fields/initializer-eval-super/cls-expr-private-fields-eval.template

@@ -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-performeval-rules-in-initializer
+path: language/expressions/class/fields-private-derived-cls-direct-
+name: direct eval
+features: [class, class-fields-private]
+---*/
+
+var executed = false;
+var A = class {}
+var C = class extends A {
+  #x = eval('executed = true; /*{ initializer }*/;';
+};
+
+assert.throws(/*{ earlyerror }*/, function() {
+  new C();
+});
+
+assert.sameValue(executed, false);

src/class-fields/initializer-eval-super/cls-expr-private-fields-indirect-eval.template

@@ -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-performeval-rules-in-initializer
+path: language/expressions/class/fields-private-derived-cls-indirect-
+name: indirect eval
+features: [class, class-fields-private]
+---*/
+
+var executed = false;
+var A = class {}
+var C = class extends A {
+  #x = (0, eval)('executed = true; /*{ initializer }*/;';
+};
+
+assert.throws(/*{ executionerror }*/, function() {
+  new C();
+});
+
+assert.sameValue(executed, true);

src/class-fields/initializer-eval/cls-decl-fields-eval.template

@@ -0,0 +1,20 @@
+// Copyright (C) 2017 Valerie Young. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-performeval-rules-in-initializer
+path: language/statements/class/fields-direct-
+name: direct eval
+features: [class, class-fields-public]
+---*/
+
+var executed = false;
+class C {
+  x = eval('executed = true; /*{ initializer }*/;');
+}
+
+assert.throws(/*{ earlyerror }*/, function() {
+  new C();
+});
+
+assert.sameValue(executed, false);

src/class-fields/initializer-eval/cls-decl-fields-indirect-eval.template

@@ -0,0 +1,20 @@
+// Copyright (C) 2017 Valerie Young. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-performeval-rules-in-initializer
+path: language/statements/class/fields-indirect-
+name: indirect eval
+features: [class, class-fields-public]
+---*/
+
+var executed = false;
+class C {
+  x = (0, eval)('executed = true; /*{ initializer }*/;');
+}
+
+assert.throws(/*{ executionerror }*/, function() {
+  new C();
+});
+
+assert.sameValue(executed, true);

src/class-fields/initializer-eval/cls-decl-private-fields-eval.template

@@ -0,0 +1,20 @@
+// Copyright (C) 2017 Valerie Young. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-performeval-rules-in-initializer
+path: language/statements/class/fields-private-direct-
+name: direct eval
+features: [class, class-fields-private]
+---*/
+
+var executed = false;
+class C {
+  #x = eval('executed = true; /*{ initializer }*/;');
+}
+
+assert.throws(/*{ earlyerror }*/, function() {
+  new C();
+});
+
+assert.sameValue(executed, false);

src/class-fields/initializer-eval/cls-decl-private-fields-indirect-eval.template

@@ -0,0 +1,20 @@
+// Copyright (C) 2017 Valerie Young. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-performeval-rules-in-initializer
+path: language/statements/class/fields-private-indirect-
+name: indirect eval
+features: [class, class-fields-private]
+---*/
+
+var executed = false;
+class C {
+  #x = (0, eval)('executed = true; /*{ initializer }*/;');
+}
+
+assert.throws(/*{ executionerror }*/, function() {
+  new C();
+});
+
+assert.sameValue(executed, true);