fix(707): do not throw if the record-pattern contains dims

Author: clementdessoude

.github/workflows/github-ci.yml

@@ -8,8 +8,8 @@ jobs:
     strategy:
       matrix:
         node_version:
-          - 18.x
           - 20.x
+          - 22.x
     steps:
       - uses: actions/checkout@v4
       - uses: actions/setup-node@v3
@@ -33,15 +33,15 @@ jobs:
         test_repository:
           - e2e-jhipster1
           - e2e-jhipster2
-        node_version: [18.x]
+        node_version: [22.x]
     steps:
       - uses: actions/checkout@v4
       - uses: actions/setup-node@v3
         with:
           node-version: ${{ matrix.node_version }}
       - uses: actions/setup-java@v3
         with:
-          java-version: 17.x
+          java-version: 21.x
           distribution: zulu
       - name: Install dependencies
         run: yarn

packages/java-parser/api.d.ts

@@ -171,6 +171,10 @@ export abstract class JavaCstVisitor<IN, OUT> implements ICstVisitor<IN, OUT> {
     param?: IN
   ): OUT;
   isDims(ctx: IsDimsCtx, param?: IN): OUT;
+  isFollowingVariableDeclarator(
+    ctx: IsFollowingVariableDeclaratorCtx,
+    param?: IN
+  ): OUT;
   compilationUnit(ctx: CompilationUnitCtx, param?: IN): OUT;
   ordinaryCompilationUnit(ctx: OrdinaryCompilationUnitCtx, param?: IN): OUT;
   modularCompilationUnit(ctx: ModularCompilationUnitCtx, param?: IN): OUT;
@@ -499,6 +503,10 @@ export abstract class JavaCstVisitorWithDefaults<IN, OUT>
     param?: IN
   ): OUT;
   isDims(ctx: IsDimsCtx, param?: IN): OUT;
+  isFollowingVariableDeclarator(
+    ctx: IsFollowingVariableDeclaratorCtx,
+    param?: IN
+  ): OUT;
   compilationUnit(ctx: CompilationUnitCtx, param?: IN): OUT;
   ordinaryCompilationUnit(ctx: OrdinaryCompilationUnitCtx, param?: IN): OUT;
   modularCompilationUnit(ctx: ModularCompilationUnitCtx, param?: IN): OUT;
@@ -1555,7 +1563,7 @@ export interface SimpleTypeNameCstNode extends CstNode {
 }
 
 export type SimpleTypeNameCtx = {
-  TypeIdentifier: TypeIdentifierCstNode[];
+  typeIdentifier: TypeIdentifierCstNode[];
 };
 
 export interface ConstructorBodyCstNode extends CstNode {
@@ -1794,6 +1802,16 @@ export type IsDimsCtx = {
   RBrace?: IToken[];
 };
 
+export interface IsFollowingVariableDeclaratorCstNode extends CstNode {
+  name: "isFollowingVariableDeclarator";
+  children: IsFollowingVariableDeclaratorCtx;
+}
+
+export type IsFollowingVariableDeclaratorCtx = {
+  Comma: IToken[];
+  variableDeclarator: VariableDeclaratorCstNode[];
+};
+
 export interface CompilationUnitCstNode extends CstNode {
   name: "compilationUnit";
   children: CompilationUnitCtx;
@@ -2238,7 +2256,7 @@ export interface ElementValueCstNode extends CstNode {
 }
 
 export type ElementValueCtx = {
-  expression?: ExpressionCstNode[];
+  conditionalExpression?: ConditionalExpressionCstNode[];
   elementValueArrayInitializer?: ElementValueArrayInitializerCstNode[];
   annotation?: AnnotationCstNode[];
 };
@@ -2469,8 +2487,8 @@ export interface SwitchBlockCstNode extends CstNode {
 
 export type SwitchBlockCtx = {
   LCurly: IToken[];
-  switchBlockStatementGroup?: SwitchBlockStatementGroupCstNode[];
   switchRule?: SwitchRuleCstNode[];
+  switchBlockStatementGroup?: SwitchBlockStatementGroupCstNode[];
   RCurly: IToken[];
 };
 
@@ -2492,8 +2510,8 @@ export interface SwitchLabelCstNode extends CstNode {
 
 export type SwitchLabelCtx = {
   Case?: IToken[];
-  Comma?: IToken[];
   Null?: IToken[];
+  Comma?: IToken[];
   Default?: IToken[];
   casePattern?: CasePatternCstNode[];
   guard?: GuardCstNode[];
@@ -2888,11 +2906,11 @@ export interface NormalLambdaParameterListCstNode extends CstNode {
 }
 
 export type NormalLambdaParameterListCtx = {
-  normalLambdaParameter: LambdaParameterCstNode[];
+  normalLambdaParameter: NormalLambdaParameterCstNode[];
   Comma?: IToken[];
 };
 
-export interface LambdaParameterCstNode extends CstNode {
+export interface NormalLambdaParameterCstNode extends CstNode {
   name: "normalLambdaParameter";
   children: LambdaParameterCtx;
 }

packages/java-parser/scripts/generate-signature.js

@@ -2,7 +2,12 @@
 import _ from "lodash";
 import path from "path";
 import fs from "fs";
-import JavaParser from "../src/parser";
+import { fileURLToPath } from "url";
+
+import JavaParser from "../src/parser.js";
+
+const __filename = fileURLToPath(import.meta.url);
+const __dirname = path.dirname(__filename);
 
 const parseRule = rule => {
   const children = {};

packages/java-parser/src/productions/classes.js

@@ -158,9 +158,8 @@ export function defineRules($, t) {
     $.SUBRULE($.variableDeclarator);
     $.MANY({
       // required to distinguish from patternList
-      GATE: () =>
-        !tokenMatcher(this.LA(3), t.Identifier) &&
-        !tokenMatcher(this.LA(3), t.Underscore),
+      // TODO: complexify lookahed logic to see if we can avoid backtracking
+      GATE: () => this.BACKTRACK_LOOKAHEAD($.isFollowingVariableDeclarator),
       DEF: () => {
         $.CONSUME(t.Comma);
         $.SUBRULE2($.variableDeclarator);
@@ -732,4 +731,9 @@ export function defineRules($, t) {
       tokenMatcher(this.LA(2).tokenType, t.RSquare)
     );
   });
+
+  $.RULE("isFollowingVariableDeclarator", () => {
+    $.CONSUME(t.Comma);
+    $.SUBRULE2($.variableDeclarator);
+  });
 }

packages/java-parser/test/pattern-matching/pattern-matching-spec.js

@@ -54,4 +54,11 @@ describe("Pattern matching", () => {
       javaParser.parse(input, "componentPatternList")
     ).to.not.throw();
   });
+
+  it("should parse pattern list with dims", () => {
+    const input = `A a, B[] b`;
+    expect(() =>
+      javaParser.parse(input, "componentPatternList")
+    ).to.not.throw();
+  });
 });

packages/prettier-plugin-java/src/printers/classes.ts

@@ -56,6 +56,7 @@ import {
   FormalParameterListCtx,
   InstanceInitializerCtx,
   InterfaceTypeListCtx,
+  IsFollowingVariableDeclaratorCtx,
   IToken,
   MethodBodyCtx,
   MethodDeclarationCtx,
@@ -1071,4 +1072,8 @@ export class ClassesPrettierVisitor extends BaseCstPrettierPrinter {
   isDims() {
     return "isDims";
   }
+
+  isFollowingVariableDeclarator() {
+    return "isFollowingVariableDeclarator";
+  }
 }