From b9aa09c33e2fc05199a8daff16314761ab36555e Mon Sep 17 00:00:00 2001 From: Leo Balter Date: Thu, 29 Nov 2018 17:28:07 -0500 Subject: [PATCH] Set negative flags along with the templates using DONOTEVALUATE calls --- src/class-elements/init-err-contains-arguments.case | 3 --- src/class-elements/init-err-contains-super.case | 3 --- .../initializer-error/cls-decl-fields-arrow-fnc.template | 3 +++ .../initializer-error/cls-decl-fields-comp-name.template | 3 +++ .../initializer-error/cls-decl-fields-equality.template | 3 +++ .../initializer-error/cls-decl-fields-literal-name.template | 3 +++ .../cls-decl-fields-private-arrow-fnc.template | 3 +++ .../initializer-error/cls-decl-fields-private-name.template | 3 +++ .../initializer-error/cls-decl-fields-private-ternary.template | 3 +++ .../initializer-error/cls-decl-fields-private-typeof.template | 3 +++ .../cls-decl-fields-static-comp-name.template | 3 +++ .../cls-decl-fields-static-literal-name.template | 3 +++ .../cls-decl-fields-static-private-name.template | 3 +++ .../cls-decl-fields-static-string-literal-name.template | 3 +++ .../cls-decl-fields-string-literal-name.template | 3 +++ .../initializer-error/cls-decl-fields-ternary.template | 3 +++ .../initializer-error/cls-decl-fields-typeof.template | 3 +++ .../initializer-error/cls-expr-fields-arrow-fnc.template | 3 +++ .../initializer-error/cls-expr-fields-comp-name.template | 3 +++ .../initializer-error/cls-expr-fields-equality.template | 3 +++ .../initializer-error/cls-expr-fields-literal-name.template | 3 +++ .../cls-expr-fields-private-arrow-fnc.template | 3 +++ .../initializer-error/cls-expr-fields-private-name.template | 3 +++ .../initializer-error/cls-expr-fields-private-ternary.template | 3 +++ .../initializer-error/cls-expr-fields-private-typeof.template | 3 +++ .../cls-expr-fields-static-comp-name.template | 3 +++ .../cls-expr-fields-static-literal-name.template | 3 +++ .../cls-expr-fields-static-private-name.template | 3 +++ .../cls-expr-fields-static-string-literal-name.template | 3 +++ .../cls-expr-fields-string-literal-name.template | 3 +++ .../initializer-error/cls-expr-fields-ternary.template | 3 +++ .../initializer-error/cls-expr-fields-typeof.template | 3 +++ 32 files changed, 90 insertions(+), 6 deletions(-) diff --git a/src/class-elements/init-err-contains-arguments.case b/src/class-elements/init-err-contains-arguments.case index f27326b266..86f9343e30 100644 --- a/src/class-elements/init-err-contains-arguments.case +++ b/src/class-elements/init-err-contains-arguments.case @@ -18,9 +18,6 @@ info: | ... For all other grammatical productions, recurse on all nonterminals. If any piece returns true, then return true. Otherwise return false. features: [class, class-fields-public] -negative: - type: SyntaxError - phase: parse template: initializer-error ---*/ diff --git a/src/class-elements/init-err-contains-super.case b/src/class-elements/init-err-contains-super.case index 78de1c53bd..7c804a2a5e 100644 --- a/src/class-elements/init-err-contains-super.case +++ b/src/class-elements/init-err-contains-super.case @@ -11,9 +11,6 @@ info: | - It is a Syntax Error if Initializer is present and Initializer Contains SuperCall is true. features: [class, class-fields-public] -negative: - type: SyntaxError - phase: parse template: initializer-error ---*/ diff --git a/src/class-elements/initializer-error/cls-decl-fields-arrow-fnc.template b/src/class-elements/initializer-error/cls-decl-fields-arrow-fnc.template index 4abf8231d3..3b7811b14f 100644 --- a/src/class-elements/initializer-error/cls-decl-fields-arrow-fnc.template +++ b/src/class-elements/initializer-error/cls-decl-fields-arrow-fnc.template @@ -6,6 +6,9 @@ esid: sec-class-definitions-static-semantics-early-errors path: language/statements/class/fields-arrow-fnc- name: arrow function expression features: [arrow-function, class-fields-public] +negative: + type: SyntaxError + phase: parse ---*/ $DONOTEVALUATE(); diff --git a/src/class-elements/initializer-error/cls-decl-fields-comp-name.template b/src/class-elements/initializer-error/cls-decl-fields-comp-name.template index 2ef35e5129..4db66f243f 100644 --- a/src/class-elements/initializer-error/cls-decl-fields-comp-name.template +++ b/src/class-elements/initializer-error/cls-decl-fields-comp-name.template @@ -6,6 +6,9 @@ esid: sec-class-definitions-static-semantics-early-errors path: language/statements/class/fields-comp-name- name: computed ClassElementName features: [class, class-fields-public, computed-property-names] +negative: + type: SyntaxError + phase: parse ---*/ $DONOTEVALUATE(); diff --git a/src/class-elements/initializer-error/cls-decl-fields-equality.template b/src/class-elements/initializer-error/cls-decl-fields-equality.template index e413441c08..0811ecd49e 100644 --- a/src/class-elements/initializer-error/cls-decl-fields-equality.template +++ b/src/class-elements/initializer-error/cls-decl-fields-equality.template @@ -6,6 +6,9 @@ esid: sec-class-definitions-static-semantics-early-errors path: language/statements/class/fields-equality- name: equality expression features: [class, class-fields-public] +negative: + type: SyntaxError + phase: parse ---*/ $DONOTEVALUATE(); diff --git a/src/class-elements/initializer-error/cls-decl-fields-literal-name.template b/src/class-elements/initializer-error/cls-decl-fields-literal-name.template index bbc65e9be6..c136f5a24a 100644 --- a/src/class-elements/initializer-error/cls-decl-fields-literal-name.template +++ b/src/class-elements/initializer-error/cls-decl-fields-literal-name.template @@ -6,6 +6,9 @@ esid: sec-class-definitions-static-semantics-early-errors path: language/statements/class/fields-literal-name- name: literal ClassElementName features: [class, class-fields-public] +negative: + type: SyntaxError + phase: parse ---*/ $DONOTEVALUATE(); diff --git a/src/class-elements/initializer-error/cls-decl-fields-private-arrow-fnc.template b/src/class-elements/initializer-error/cls-decl-fields-private-arrow-fnc.template index 70ffe83f0a..38199b19a5 100644 --- a/src/class-elements/initializer-error/cls-decl-fields-private-arrow-fnc.template +++ b/src/class-elements/initializer-error/cls-decl-fields-private-arrow-fnc.template @@ -6,6 +6,9 @@ esid: sec-class-definitions-static-semantics-early-errors path: language/statements/class/fields-private-arrow-fnc- name: private field, arrow function expression features: [class, arrow-function, class-fields-private] +negative: + type: SyntaxError + phase: parse ---*/ $DONOTEVALUATE(); diff --git a/src/class-elements/initializer-error/cls-decl-fields-private-name.template b/src/class-elements/initializer-error/cls-decl-fields-private-name.template index 67e610ed1d..705a8841e1 100644 --- a/src/class-elements/initializer-error/cls-decl-fields-private-name.template +++ b/src/class-elements/initializer-error/cls-decl-fields-private-name.template @@ -6,6 +6,9 @@ esid: sec-class-definitions-static-semantics-early-errors path: language/statements/class/fields-private-literal-name- name: ClassElementName PrivateName features: [class, class-fields-private] +negative: + type: SyntaxError + phase: parse ---*/ $DONOTEVALUATE(); diff --git a/src/class-elements/initializer-error/cls-decl-fields-private-ternary.template b/src/class-elements/initializer-error/cls-decl-fields-private-ternary.template index 407f31bd6a..628e12bdf3 100644 --- a/src/class-elements/initializer-error/cls-decl-fields-private-ternary.template +++ b/src/class-elements/initializer-error/cls-decl-fields-private-ternary.template @@ -6,6 +6,9 @@ esid: sec-class-definitions-static-semantics-early-errors path: language/statements/class/fields-private-ternary- name: private field, ternary expression features: [class, class-fields-private] +negative: + type: SyntaxError + phase: parse ---*/ $DONOTEVALUATE(); diff --git a/src/class-elements/initializer-error/cls-decl-fields-private-typeof.template b/src/class-elements/initializer-error/cls-decl-fields-private-typeof.template index 6d73c1b5de..bba1b43fd5 100644 --- a/src/class-elements/initializer-error/cls-decl-fields-private-typeof.template +++ b/src/class-elements/initializer-error/cls-decl-fields-private-typeof.template @@ -6,6 +6,9 @@ esid: sec-class-definitions-static-semantics-early-errors path: language/statements/class/fields-private-typeof- name: private field, typeof expression features: [class, class-fields-private] +negative: + type: SyntaxError + phase: parse ---*/ $DONOTEVALUATE(); diff --git a/src/class-elements/initializer-error/cls-decl-fields-static-comp-name.template b/src/class-elements/initializer-error/cls-decl-fields-static-comp-name.template index 64eac9a1e5..0b9656f7c9 100644 --- a/src/class-elements/initializer-error/cls-decl-fields-static-comp-name.template +++ b/src/class-elements/initializer-error/cls-decl-fields-static-comp-name.template @@ -6,6 +6,9 @@ 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, computed-property-names] +negative: + type: SyntaxError + phase: parse ---*/ $DONOTEVALUATE(); diff --git a/src/class-elements/initializer-error/cls-decl-fields-static-literal-name.template b/src/class-elements/initializer-error/cls-decl-fields-static-literal-name.template index 4956af30b6..ae25c329d1 100644 --- a/src/class-elements/initializer-error/cls-decl-fields-static-literal-name.template +++ b/src/class-elements/initializer-error/cls-decl-fields-static-literal-name.template @@ -6,6 +6,9 @@ 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] +negative: + type: SyntaxError + phase: parse ---*/ $DONOTEVALUATE(); diff --git a/src/class-elements/initializer-error/cls-decl-fields-static-private-name.template b/src/class-elements/initializer-error/cls-decl-fields-static-private-name.template index 29c3a4880f..d514fbffff 100644 --- a/src/class-elements/initializer-error/cls-decl-fields-static-private-name.template +++ b/src/class-elements/initializer-error/cls-decl-fields-static-private-name.template @@ -6,6 +6,9 @@ esid: sec-class-definitions-static-semantics-early-errors path: language/statements/class/fields-static-private- name: static PrivateName features: [class, class-static-fields-private] +negative: + type: SyntaxError + phase: parse ---*/ $DONOTEVALUATE(); diff --git a/src/class-elements/initializer-error/cls-decl-fields-static-string-literal-name.template b/src/class-elements/initializer-error/cls-decl-fields-static-string-literal-name.template index 24a57a8b01..574ee8dffc 100644 --- a/src/class-elements/initializer-error/cls-decl-fields-static-string-literal-name.template +++ b/src/class-elements/initializer-error/cls-decl-fields-static-string-literal-name.template @@ -6,6 +6,9 @@ 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] +negative: + type: SyntaxError + phase: parse ---*/ $DONOTEVALUATE(); diff --git a/src/class-elements/initializer-error/cls-decl-fields-string-literal-name.template b/src/class-elements/initializer-error/cls-decl-fields-string-literal-name.template index c0bfb00790..708a25b181 100644 --- a/src/class-elements/initializer-error/cls-decl-fields-string-literal-name.template +++ b/src/class-elements/initializer-error/cls-decl-fields-string-literal-name.template @@ -6,6 +6,9 @@ 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] +negative: + type: SyntaxError + phase: parse ---*/ $DONOTEVALUATE(); diff --git a/src/class-elements/initializer-error/cls-decl-fields-ternary.template b/src/class-elements/initializer-error/cls-decl-fields-ternary.template index 4e4546a2a1..bdce269e5d 100644 --- a/src/class-elements/initializer-error/cls-decl-fields-ternary.template +++ b/src/class-elements/initializer-error/cls-decl-fields-ternary.template @@ -6,6 +6,9 @@ esid: sec-class-definitions-static-semantics-early-errors path: language/statements/class/fields-ternary- name: ternary expression features: [class, class-fields-public] +negative: + type: SyntaxError + phase: parse ---*/ $DONOTEVALUATE(); diff --git a/src/class-elements/initializer-error/cls-decl-fields-typeof.template b/src/class-elements/initializer-error/cls-decl-fields-typeof.template index febab10679..b83bf837bf 100644 --- a/src/class-elements/initializer-error/cls-decl-fields-typeof.template +++ b/src/class-elements/initializer-error/cls-decl-fields-typeof.template @@ -6,6 +6,9 @@ esid: sec-class-definitions-static-semantics-early-errors path: language/statements/class/fields-typeof- name: typeof expression features: [class, class-fields-public] +negative: + type: SyntaxError + phase: parse ---*/ $DONOTEVALUATE(); diff --git a/src/class-elements/initializer-error/cls-expr-fields-arrow-fnc.template b/src/class-elements/initializer-error/cls-expr-fields-arrow-fnc.template index d36582f1c2..f1c475c330 100644 --- a/src/class-elements/initializer-error/cls-expr-fields-arrow-fnc.template +++ b/src/class-elements/initializer-error/cls-expr-fields-arrow-fnc.template @@ -6,6 +6,9 @@ esid: sec-class-definitions-static-semantics-early-errors path: language/expressions/class/fields-arrow-fnc- name: arrow function expression features: [arrow-function, class, class-fields-public] +negative: + type: SyntaxError + phase: parse ---*/ $DONOTEVALUATE(); diff --git a/src/class-elements/initializer-error/cls-expr-fields-comp-name.template b/src/class-elements/initializer-error/cls-expr-fields-comp-name.template index 700ba1f9eb..2bbd48d435 100644 --- a/src/class-elements/initializer-error/cls-expr-fields-comp-name.template +++ b/src/class-elements/initializer-error/cls-expr-fields-comp-name.template @@ -6,6 +6,9 @@ esid: sec-class-definitions-static-semantics-early-errors path: language/expressions/class/fields-comp-name- name: computed ClassElementName features: [class, class-fields-public] +negative: + type: SyntaxError + phase: parse ---*/ $DONOTEVALUATE(); diff --git a/src/class-elements/initializer-error/cls-expr-fields-equality.template b/src/class-elements/initializer-error/cls-expr-fields-equality.template index d4398c6f07..e3f4b680a1 100644 --- a/src/class-elements/initializer-error/cls-expr-fields-equality.template +++ b/src/class-elements/initializer-error/cls-expr-fields-equality.template @@ -6,6 +6,9 @@ esid: sec-class-definitions-static-semantics-early-errors path: language/expressions/class/fields-equality- name: equality expression features: [class, class-fields-public] +negative: + type: SyntaxError + phase: parse ---*/ $DONOTEVALUATE(); diff --git a/src/class-elements/initializer-error/cls-expr-fields-literal-name.template b/src/class-elements/initializer-error/cls-expr-fields-literal-name.template index 2b29049fce..6adccb4c42 100644 --- a/src/class-elements/initializer-error/cls-expr-fields-literal-name.template +++ b/src/class-elements/initializer-error/cls-expr-fields-literal-name.template @@ -6,6 +6,9 @@ esid: sec-class-definitions-static-semantics-early-errors path: language/expressions/class/fields-literal-name- name: literal ClassElementName features: [class, class-fields-public] +negative: + type: SyntaxError + phase: parse ---*/ $DONOTEVALUATE(); diff --git a/src/class-elements/initializer-error/cls-expr-fields-private-arrow-fnc.template b/src/class-elements/initializer-error/cls-expr-fields-private-arrow-fnc.template index 912ccb60db..0aea408fc1 100644 --- a/src/class-elements/initializer-error/cls-expr-fields-private-arrow-fnc.template +++ b/src/class-elements/initializer-error/cls-expr-fields-private-arrow-fnc.template @@ -6,6 +6,9 @@ esid: sec-class-definitions-static-semantics-early-errors path: language/expressions/class/fields-private-arrow-fnc- name: private field, arrow function expression features: [class, arrow-function, class-fields-private] +negative: + type: SyntaxError + phase: parse ---*/ $DONOTEVALUATE(); diff --git a/src/class-elements/initializer-error/cls-expr-fields-private-name.template b/src/class-elements/initializer-error/cls-expr-fields-private-name.template index 4f5908535f..2847f4ca9f 100644 --- a/src/class-elements/initializer-error/cls-expr-fields-private-name.template +++ b/src/class-elements/initializer-error/cls-expr-fields-private-name.template @@ -6,6 +6,9 @@ esid: sec-class-definitions-static-semantics-early-errors path: language/expressions/class/fields-private-literal-name- name: ClassElementName PrivateName features: [class, class-fields-private] +negative: + type: SyntaxError + phase: parse ---*/ $DONOTEVALUATE(); diff --git a/src/class-elements/initializer-error/cls-expr-fields-private-ternary.template b/src/class-elements/initializer-error/cls-expr-fields-private-ternary.template index d56cc60c76..c6d7ec8467 100644 --- a/src/class-elements/initializer-error/cls-expr-fields-private-ternary.template +++ b/src/class-elements/initializer-error/cls-expr-fields-private-ternary.template @@ -6,6 +6,9 @@ esid: sec-class-definitions-static-semantics-early-errors path: language/expressions/class/fields-private-ternary- name: private field, ternary expression features: [class, class-fields-private] +negative: + type: SyntaxError + phase: parse ---*/ $DONOTEVALUATE(); diff --git a/src/class-elements/initializer-error/cls-expr-fields-private-typeof.template b/src/class-elements/initializer-error/cls-expr-fields-private-typeof.template index 2a07b59f1c..548c8e6e4b 100644 --- a/src/class-elements/initializer-error/cls-expr-fields-private-typeof.template +++ b/src/class-elements/initializer-error/cls-expr-fields-private-typeof.template @@ -6,6 +6,9 @@ esid: sec-class-definitions-static-semantics-early-errors path: language/expressions/class/fields-private-typeof- name: private field, typeof expression features: [class, class-fields-private] +negative: + type: SyntaxError + phase: parse ---*/ $DONOTEVALUATE(); diff --git a/src/class-elements/initializer-error/cls-expr-fields-static-comp-name.template b/src/class-elements/initializer-error/cls-expr-fields-static-comp-name.template index cd89f6f110..8df9a0480d 100644 --- a/src/class-elements/initializer-error/cls-expr-fields-static-comp-name.template +++ b/src/class-elements/initializer-error/cls-expr-fields-static-comp-name.template @@ -6,6 +6,9 @@ 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, computed-property-names] +negative: + type: SyntaxError + phase: parse ---*/ $DONOTEVALUATE(); diff --git a/src/class-elements/initializer-error/cls-expr-fields-static-literal-name.template b/src/class-elements/initializer-error/cls-expr-fields-static-literal-name.template index 5288254768..367b31af41 100644 --- a/src/class-elements/initializer-error/cls-expr-fields-static-literal-name.template +++ b/src/class-elements/initializer-error/cls-expr-fields-static-literal-name.template @@ -6,6 +6,9 @@ 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] +negative: + type: SyntaxError + phase: parse ---*/ $DONOTEVALUATE(); diff --git a/src/class-elements/initializer-error/cls-expr-fields-static-private-name.template b/src/class-elements/initializer-error/cls-expr-fields-static-private-name.template index f78b4b5c4b..49bc4c9c10 100644 --- a/src/class-elements/initializer-error/cls-expr-fields-static-private-name.template +++ b/src/class-elements/initializer-error/cls-expr-fields-static-private-name.template @@ -6,6 +6,9 @@ esid: sec-class-definitions-static-semantics-early-errors path: language/expressions/class/fields-static-private- name: static PrivateName features: [class, class-static-fields-private] +negative: + type: SyntaxError + phase: parse ---*/ $DONOTEVALUATE(); diff --git a/src/class-elements/initializer-error/cls-expr-fields-static-string-literal-name.template b/src/class-elements/initializer-error/cls-expr-fields-static-string-literal-name.template index 7485f300aa..8641726242 100644 --- a/src/class-elements/initializer-error/cls-expr-fields-static-string-literal-name.template +++ b/src/class-elements/initializer-error/cls-expr-fields-static-string-literal-name.template @@ -6,6 +6,9 @@ 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] +negative: + type: SyntaxError + phase: parse ---*/ $DONOTEVALUATE(); diff --git a/src/class-elements/initializer-error/cls-expr-fields-string-literal-name.template b/src/class-elements/initializer-error/cls-expr-fields-string-literal-name.template index db5d0949fc..4a9411721f 100644 --- a/src/class-elements/initializer-error/cls-expr-fields-string-literal-name.template +++ b/src/class-elements/initializer-error/cls-expr-fields-string-literal-name.template @@ -6,6 +6,9 @@ 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] +negative: + type: SyntaxError + phase: parse ---*/ $DONOTEVALUATE(); diff --git a/src/class-elements/initializer-error/cls-expr-fields-ternary.template b/src/class-elements/initializer-error/cls-expr-fields-ternary.template index d603a10478..a7110b7a82 100644 --- a/src/class-elements/initializer-error/cls-expr-fields-ternary.template +++ b/src/class-elements/initializer-error/cls-expr-fields-ternary.template @@ -6,6 +6,9 @@ esid: sec-class-definitions-static-semantics-early-errors path: language/expressions/class/fields-ternary- name: ternary expression features: [class, class-fields-public] +negative: + type: SyntaxError + phase: parse ---*/ $DONOTEVALUATE(); diff --git a/src/class-elements/initializer-error/cls-expr-fields-typeof.template b/src/class-elements/initializer-error/cls-expr-fields-typeof.template index be306265aa..66e31ac130 100644 --- a/src/class-elements/initializer-error/cls-expr-fields-typeof.template +++ b/src/class-elements/initializer-error/cls-expr-fields-typeof.template @@ -6,6 +6,9 @@ esid: sec-class-definitions-static-semantics-early-errors path: language/expressions/class/fields-typeof- name: typeof expression features: [class, class-fields-public] +negative: + type: SyntaxError + phase: parse ---*/ $DONOTEVALUATE();