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
-  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.
+  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;