fix: separate binary expression from pattern

closes #605
jhipster · Sep 17, 2023 · ec0e028 · ec0e028
1 parent a7f9a5f
commit ec0e028
Show file tree

Hide file tree

Showing 6 changed files with 24 additions and 33 deletions.
diff --git a/packages/java-parser/api.d.ts b/packages/java-parser/api.d.ts
@@ -3498,8 +3498,6 @@ export interface PatternCstNode extends CstNode {
 
 export type PatternCtx = {
   primaryPattern: PrimaryPatternCstNode[];
-  AndAnd?: IToken[];
-  binaryExpression?: BinaryExpressionCstNode[];
 };
 
 export interface PrimaryPatternCstNode extends CstNode {

diff --git a/packages/java-parser/src/productions/blocks-and-statements.js b/packages/java-parser/src/productions/blocks-and-statements.js
@@ -244,10 +244,6 @@ function defineRules($, t) {
     $.OR([
       { ALT: () => $.CONSUME(t.Null) },
       { ALT: () => $.CONSUME(t.Default) },
-      {
-        GATE: () => this.BACKTRACK_LOOKAHEAD($.pattern),
-        ALT: () => $.SUBRULE($.pattern)
-      },
       {
         GATE: () => tokenMatcher($.LA(1).tokenType, t.Null) === false,
         ALT: () => $.SUBRULE($.caseConstant)

diff --git a/packages/java-parser/src/productions/expressions.js b/packages/java-parser/src/productions/expressions.js
@@ -116,14 +116,20 @@ function defineRules($, t) {
   });
 
   $.RULE("binaryExpression", () => {
-    $.SUBRULE($.unaryExpression);
+    $.OR([
+      {
+        GATE: () => this.BACKTRACK_LOOKAHEAD($.pattern),
+        ALT: () => $.SUBRULE($.pattern)
+      },
+      { ALT: () => $.SUBRULE($.unaryExpression) }
+    ])
     $.MANY(() => {
-      $.OR({
+      $.OR1({
         DEF: [
           {
             ALT: () => {
               $.CONSUME(t.Instanceof);
-              $.OR1([
+              $.OR2([
                 {
                   GATE: () => this.BACKTRACK_LOOKAHEAD($.pattern),
                   ALT: () => $.SUBRULE($.pattern)
@@ -150,7 +156,7 @@ function defineRules($, t) {
               tokenMatcher($.LA(2).tokenType, t.Less) ||
               tokenMatcher($.LA(2).tokenType, t.Greater),
             ALT: () => {
-              $.OR2([
+              $.OR3([
                 {
                   GATE: () => $.LA(1).startOffset + 1 === $.LA(2).startOffset,
                   ALT: () => {
@@ -563,10 +569,6 @@ function defineRules($, t) {
 
   $.RULE("pattern", () => {
     $.SUBRULE($.primaryPattern);
-    $.OPTION(() => {
-      $.CONSUME(t.AndAnd);
-      $.SUBRULE($.binaryExpression);
-    });
   });
 
   $.RULE("primaryPattern", () => {

diff --git a/packages/prettier-plugin-java/src/printers/expressions.ts b/packages/prettier-plugin-java/src/printers/expressions.ts
@@ -511,13 +511,9 @@ export class ExpressionsPrettierVisitor extends BaseCstPrettierPrinter {
     return rejectAndConcat([keyWord, typeArguments]);
   }
 
-  parenthesisExpression(
-    ctx: ParenthesisExpressionCtx,
-    params?: { addParenthesisToWrapStatement?: boolean }
-  ) {
+  parenthesisExpression(ctx: ParenthesisExpressionCtx) {
     const expression = this.visit(ctx.expression);
-    const separator = params?.addParenthesisToWrapStatement ? softline : "";
-    return putIntoBraces(expression, separator, ctx.LBrace[0], ctx.RBrace[0]);
+    return putIntoBraces(expression, softline, ctx.LBrace[0], ctx.RBrace[0]);
   }
 
   castExpression(ctx: CastExpressionCtx) {
@@ -715,19 +711,7 @@ export class ExpressionsPrettierVisitor extends BaseCstPrettierPrinter {
   }
 
   pattern(ctx: PatternCtx) {
-    const primaryPattern = this.visit(ctx.primaryPattern);
-    if (ctx.AndAnd === undefined) {
-      return primaryPattern;
-    }
-
-    const binaryExpression = this.visit(ctx.binaryExpression);
-    return rejectAndConcat([
-      primaryPattern,
-      " ",
-      ctx.AndAnd[0],
-      line,
-      binaryExpression
-    ]);
+    return this.visit(ctx.primaryPattern);
   }
 
   primaryPattern(ctx: PrimaryPatternCtx) {

diff --git a/packages/prettier-plugin-java/test/unit-test/pattern-matching/_input.java b/packages/prettier-plugin-java/test/unit-test/pattern-matching/_input.java
@@ -13,6 +13,10 @@ static String formatter(Object o) {
         return formatted;
     }
 
+    public boolean test(final Object obj) {
+        return obj instanceof final Integer x && (x == 5 || x == 6 || x == 7 || x == 8 || x == 9 || x == 10 || x == 11);
+    }
+
     void test(Buyer other) {
         return switch (other) {
             case null -> true;

diff --git a/packages/prettier-plugin-java/test/unit-test/pattern-matching/_output.java b/packages/prettier-plugin-java/test/unit-test/pattern-matching/_output.java
@@ -19,6 +19,13 @@ static String formatter(Object o) {
     return formatted;
   }
 
+  public boolean test(final Object obj) {
+    return (
+      obj instanceof final Integer x &&
+      (x == 5 || x == 6 || x == 7 || x == 8 || x == 9 || x == 10 || x == 11)
+    );
+  }
+
   void test(Buyer other) {
     return switch (other) {
       case null -> true;