Class Fields: extensive static and runtime production verification cases & templates

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

+// 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

+// 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-def-has-initializer-no-sc-error.case

+// 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-private]
+---*/
+
+//- fields
+x = []
+y;

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

+// 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

+// 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

+// 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

+// 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

+// 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

+// 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

+// 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

+// 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

+// 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

+// 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

+// 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

+// 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

+// 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

+// 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

+// 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

+// 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

+// 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