JavaScript: Move support for optional catch to ES2019.

Max Schaefer · Max Schaefer · commit 9ec366cf8843 · 2019-05-10T08:27:25.000+01:00
diff --git a/javascript/extractor/src/com/semmle/jcorn/ESNextParser.java b/javascript/extractor/src/com/semmle/jcorn/ESNextParser.java
@@ -385,7 +385,7 @@ protected CatchClause parseCatchClause(Position startLoc) {
       param = this.parseBindingAtom();
       this.checkLVal(param, true, null);
       this.expect(TokenType.parenR);
-    } else if (!options.esnext()) {
+    } else if (options.ecmaVersion() < 10) {
       this.unexpected();
     }
     BlockStatement catchBody = this.parseBlock(false);

Original file line number	Diff line number	Diff line change
`@@ -385,7 +385,7 @@ protected CatchClause parseCatchClause(Position startLoc) {`
`385`	`385`	`param = this.parseBindingAtom();`
`386`	`386`	`this.checkLVal(param, true, null);`
`387`	`387`	`this.expect(TokenType.parenR);`
`388`		`- } else if (!options.esnext()) {`
	`388`	`+ } else if (options.ecmaVersion() < 10) {`
`389`	`389`	`this.unexpected();`
`390`	`390`	`}`
`391`	`391`	`BlockStatement catchBody = this.parseBlock(false);`