Merge pull request #3414 from adangel:pmd7-issue-3366-support-jdk-17

[java] Support JDK 17 (LTS) (PMD 7) #3414

docs/pages/pmd/userdocs/cli_reference.md

@@ -185,7 +185,7 @@ Example:
 *   [apex](pmd_rules_apex.html) (Salesforce Apex)
 *   [java](pmd_rules_java.html)
     *   Supported Versions: 1.3, 1.4, 1.5, 5, 1.6, 6, 1.7, 7, 1.8, 8, 9, 1.9, 10, 1.10, 11, 12,
-        13, 14, 14-preview, 15 (default), 15-preview
+        13, 14, 15, 16, 16-preview, 17 (default), 17-preview
 *   [ecmascript](pmd_rules_ecmascript.html) (JavaScript)
 *   [jsp](pmd_rules_jsp.html)
 *   [modelica](pmd_rules_modelica.html)

docs/pages/release_notes.md

@@ -19,6 +19,20 @@ This is a {{ site.pmd.release_type }} release.
 
 ### New and noteworthy
 
+#### Java 17 Support
+
+This release of PMD brings support for Java 17. PMD supports [JEP 409: Sealed Classes](https://openjdk.java.net/jeps/409)
+which has been promoted to be a standard language feature of Java 17.
+
+PMD also supports [JEP 406: Pattern Matching for switch (Preview)](https://openjdk.java.net/jeps/406) as a preview
+language feature. In order to analyze a project with PMD that uses these language features, you'll need to enable
+it via the environment variable `PMD_JAVA_OPTS` and select the new language version `17-preview`:
+
+    export PMD_JAVA_OPTS=--enable-preview
+    ./run.sh pmd -language java -version 17-preview ...
+
+Note: Support for Java 15 preview language features have been removed. The version "15-preview" is no longer available.
+
 #### New rules
 
 This release ships with 3 new Java rules.
@@ -107,6 +121,14 @@ This release ships with 3 new Java rules.
 
 ### API Changes
 
+#### Experimental APIs
+
+*   The AST types and APIs around Sealed Classes are not experimental anymore:
+    *   {% jdoc !!java::lang.java.ast.ASTClassOrInterfaceDeclaration#isSealed() %},
+        {% jdoc !!java::lang.java.ast.ASTClassOrInterfaceDeclaration#isNonSealed() %},
+        {% jdoc !!java::lang.java.ast.ASTClassOrInterfaceDeclaration#getPermittedSubclasses() %}
+    *   {% jdoc java::lang.java.ast.ASTPermitsList %}
+
 #### Internal API
 
 Those APIs are not intended to be used by clients, and will be hidden or removed with PMD 7.0.0.

pmd-core/src/main/resources/rulesets/internal/all-java.xml

@@ -23,6 +23,9 @@
     <exclude-pattern>.*/net/sourceforge/pmd/lang/java/ast/jdkversiontests/java10/LocalVariableTypeInference_varAsEnumName.java</exclude-pattern>
     <exclude-pattern>.*/net/sourceforge/pmd/lang/java/ast/jdkversiontests/java10/LocalVariableTypeInference_varAsTypeIdentifier.java</exclude-pattern>
 
+    <!-- this file contains are parse error explicitly -->
+    <exclude-pattern>.*/net/sourceforge/pmd/lang/java/ast/InfiniteLoopInLookahead.java</exclude-pattern>
+
     <rule ref="category/java/bestpractices.xml" />
     <rule ref="category/java/codestyle.xml" />
     <rule ref="category/java/design.xml" />

pmd-java/etc/grammar/Java.jjt

@@ -1,4 +1,9 @@
 /**
+ * Promote "JEP 409: Sealed Classes" as permanent language feature with Java 17.
+ * Support "JEP 406: Pattern Matching for switch (Preview)" for Java 17 Preview.
+ * Remove support for Java 15 preview language features
+ * Andreas Dangel 07/2021
+ *====================================================================
  * Fix #3117 - infinite loop when parsing invalid code nested in lambdas
  * Andreas Dangel 03/2021
  *====================================================================
@@ -298,7 +303,7 @@ class JavaParserImpl {
   }
 
   private boolean isSealedClassSupported() {
-      return jdkVersion == 15 && preview || jdkVersion == 16 && preview;
+      return jdkVersion == 16 && preview || jdkVersion >= 17;
   }
 
   /**
@@ -311,6 +316,7 @@ class JavaParserImpl {
    */
   private boolean inSwitchLabel = false;
 
+
   // This is a semantic LOOKAHEAD to determine if we're dealing with an assert
   // Note that this can't be replaced with a syntactic lookahead
   // since "assert" isn't a string literal token
@@ -371,7 +377,7 @@ class JavaParserImpl {
       return false;
   }
 
-  private boolean classModifierLookahead() {
+  private boolean classModifierForLocalTypesLookahead() {
       Token next = getToken(1);
       return next.kind == AT
         || next.kind == PUBLIC
@@ -380,9 +386,7 @@ class JavaParserImpl {
         || next.kind == ABSTRACT
         || next.kind == STATIC
         || next.kind == FINAL
-        || next.kind == STRICTFP
-        || isSealedClassSupported() && isKeyword("sealed")
-        || isSealedClassSupported() && isNonSealedModifier();
+        || next.kind == STRICTFP;
   }
 
   private boolean localTypeDeclAfterModifiers() {
@@ -397,9 +401,7 @@ class JavaParserImpl {
   }
 
   private boolean localTypeDeclGivenNextIsIdent() {
-      return localTypesSupported() && (
-          isNonSealedModifier() || isRecordStart() || isEnumStart()
-      );
+      return localTypesSupported() && (isRecordStart() || isEnumStart());
   }
 
   /**
@@ -1714,6 +1716,31 @@ void EqualityExpression() #void:
   )*
 }
 
+void Pattern() #void:
+{}
+{
+    PrimaryPattern() [ GuardedPatternCondition() #GuardedPattern(2) ]
+}
+
+void GuardedPatternCondition() #void:
+{}
+{
+    "&&" ConditionalAndExpression()
+}
+
+void PrimaryPattern() #void:
+{}
+{
+    TypePattern()
+    | "(" Pattern() ")" { AstImplUtil.bumpParenDepth((ASTPattern) jjtree.peekNode()); }
+}
+
+void TypePattern():
+{}
+{
+  LocalVarModifierList() ReferenceType() VariableDeclaratorId()
+}
+
 void InstanceOfExpression() #void:
 {}
 {
@@ -1721,9 +1748,11 @@ void InstanceOfExpression() #void:
     LOOKAHEAD(1)
     ("instanceof"
         (
-            AnnotatedRefType() [ VariableDeclaratorId() #TypePattern(2) ]
+              AnnotatedRefType() [ VariableDeclaratorId() #TypePattern(2) ]
             |
-            ( LocalVarModifierList() ReferenceType() VariableDeclaratorId() ) #TypePattern(3)
+              LOOKAHEAD("final" | "@") PrimaryPattern()
+            |
+              LOOKAHEAD("(") Pattern()
         )
         {
             jjtThis.setOp(BinaryOp.INSTANCEOF);
@@ -2405,13 +2434,23 @@ void SwitchLabel() :
 {
 { inSwitchLabel = true; }
 (
-  "case" ConditionalExpression() ( "," ConditionalExpression() )*
+  "case" CaseLabelElement(jjtThis) ( "," CaseLabelElement(jjtThis) )*
 |
   "default" {jjtThis.setDefault();}
 )
 { inSwitchLabel = false; }
 }
 
+void CaseLabelElement(ASTSwitchLabel label) #void:
+{}
+{
+    "default" {label.setDefault();}
+    |
+    LOOKAHEAD(Pattern()) Pattern()
+    |
+    ConditionalExpression()
+}
+
 void YieldStatement() :
 { }
 {

pmd-java/src/main/java/net/sourceforge/pmd/lang/java/JavaLanguageModule.java

@@ -30,9 +30,10 @@ public class JavaLanguageModule extends BaseLanguageModule {
         addVersion("13", new JavaLanguageHandler(13));
         addVersion("14", new JavaLanguageHandler(14));
         addVersion("15", new JavaLanguageHandler(15));
-        addVersion("15-preview", new JavaLanguageHandler(15, true));
-        addDefaultVersion("16", new JavaLanguageHandler(16)); // 16 is the default
+        addVersion("16", new JavaLanguageHandler(16));
         addVersion("16-preview", new JavaLanguageHandler(16, true));
+        addDefaultVersion("17", new JavaLanguageHandler(17)); // 17 is the default
+        addVersion("17-preview", new JavaLanguageHandler(17, true));
     }
 
 }

pmd-java/src/main/java/net/sourceforge/pmd/lang/java/ast/ASTClassOrInterfaceDeclaration.java

@@ -6,7 +6,6 @@ package net.sourceforge.pmd.lang.java.ast;
 
 import java.util.List;
 
-import net.sourceforge.pmd.annotation.Experimental;
 import net.sourceforge.pmd.lang.ast.Node;
 
 
@@ -81,9 +80,7 @@ public final class ASTClassOrInterfaceDeclaration extends AbstractAnyTypeDeclara
     }
 
 
-    @Experimental
     public List<ASTClassOrInterfaceType> getPermittedSubclasses() {
         return ASTList.orEmpty(children(ASTPermitsList.class).first());
     }
-
 }

pmd-java/src/main/java/net/sourceforge/pmd/lang/java/ast/ASTGuardedPattern.java

@@ -0,0 +1,52 @@
+/*
+ * BSD-style license; for more info see http://pmd.sourceforge.net/license.html
+ */
+
+package net.sourceforge.pmd.lang.java.ast;
+
+import net.sourceforge.pmd.annotation.Experimental;
+
+/**
+ * A guarded pattern (JDK17 Preview). This can be found
+ * in {@link ASTSwitchLabel}s.
+ *
+ * <pre class="grammar">
+ *
+ * GuardedPattern ::= {@linkplain ASTPattern Pattern} "&amp;&amp;" {@linkplain ASTConditionalAndExpression ConditionalAndExpression}
+ *
+ * </pre>
+ *
+ * @see <a href="https://openjdk.java.net/jeps/406">JEP 406: Pattern Matching for switch (Preview)</a>
+*/
+@Experimental
+public final class ASTGuardedPattern extends AbstractJavaNode implements ASTPattern {
+
+    private int parenDepth;
+
+    ASTGuardedPattern(int id) {
+        super(id);
+    }
+
+    @Override
+    protected <P, R> R acceptVisitor(JavaVisitor<? super P, ? extends R> visitor, P data) {
+        return visitor.visit(this, data);
+    }
+
+    public ASTPattern getPattern() {
+        return (ASTPattern) getChild(0);
+    }
+
+    public JavaNode getGuard() {
+        return getChild(1);
+    }
+
+    void bumpParenDepth() {
+        parenDepth++;
+    }
+
+    @Override
+    @Experimental
+    public int getParenthesisDepth() {
+        return parenDepth;
+    }
+}

pmd-java/src/main/java/net/sourceforge/pmd/lang/java/ast/ASTPattern.java

@@ -4,9 +4,11 @@
 
 package net.sourceforge.pmd.lang.java.ast;
 
+import net.sourceforge.pmd.annotation.Experimental;
+
 /**
- * A pattern (for pattern matching constructs like {@link ASTInstanceOfExpression InstanceOfExpression}).
- * This is a JDK 16 feature.
+ * A pattern (for pattern matching constructs like {@link ASTInstanceOfExpression InstanceOfExpression}
+ * or within a {@link ASTSwitchLabel}). This is a JDK 16 feature.
  *
  * <p>This interface will be implemented by all forms of patterns. For
  * now, only type test patterns are supported. Record deconstruction
@@ -14,7 +16,8 @@ package net.sourceforge.pmd.lang.java.ast;
  *
  * <pre class="grammar">
  *
- * Pattern ::= {@link ASTTypePattern TypePattern}
+ * Pattern ::=   {@link ASTTypePattern TypePattern}
+ *             | {@link ASTGuardedPattern GuardedPattern}
  *
  * </pre>
  * 
@@ -22,4 +25,10 @@ package net.sourceforge.pmd.lang.java.ast;
  */
 public interface ASTPattern extends JavaNode {
 
+    /**
+     * Returns the number of parenthesis levels around this pattern.
+     * If this method returns 0, then no parentheses are present.
+     */
+    @Experimental
+    int getParenthesisDepth();
 }

pmd-java/src/main/java/net/sourceforge/pmd/lang/java/ast/ASTPermitsList.java

@@ -4,16 +4,15 @@
 
 package net.sourceforge.pmd.lang.java.ast;
 
-import net.sourceforge.pmd.annotation.Experimental;
 import net.sourceforge.pmd.lang.java.ast.ASTList.ASTNonEmptyList;
 
 
 /**
  * Represents the {@code permits} clause of a (sealed) class declaration.
  *
- * <p>This is a Java 15 Preview and Java 16 Preview feature.
+ * <p>This is a Java 17 Feature.
  *
- * <p>See https://openjdk.java.net/jeps/397
+ * <p>See https://openjdk.java.net/jeps/409
  *
  * <pre class="grammar">
  *
@@ -21,7 +20,6 @@ import net.sourceforge.pmd.lang.java.ast.ASTList.ASTNonEmptyList;
  *                ( "," ClassOrInterfaceType )*
  * </pre>
  */
-@Experimental
 public final class ASTPermitsList extends ASTNonEmptyList<ASTClassOrInterfaceType> {
 
     ASTPermitsList(int id) {

pmd-java/src/main/java/net/sourceforge/pmd/lang/java/ast/ASTTypePattern.java

@@ -4,6 +4,8 @@
 
 package net.sourceforge.pmd.lang.java.ast;
 
+import net.sourceforge.pmd.annotation.Experimental;
+
 /**
  * A type pattern (JDK16). This can be found on
  * the right-hand side of an {@link ASTInfixExpression InstanceOfExpression},
@@ -19,6 +21,8 @@ package net.sourceforge.pmd.lang.java.ast;
 */
 public final class ASTTypePattern extends AbstractJavaNode implements ASTPattern, AccessNode {
 
+    private int parenDepth;
+
     ASTTypePattern(int id) {
         super(id);
     }
@@ -39,4 +43,14 @@ public final class ASTTypePattern extends AbstractJavaNode implements ASTPattern
     public ASTVariableDeclaratorId getVarId() {
         return getFirstChildOfType(ASTVariableDeclaratorId.class);
     }
+
+    void bumpParenDepth() {
+        parenDepth++;
+    }
+
+    @Override
+    @Experimental
+    public int getParenthesisDepth() {
+        return parenDepth;
+    }
 }

pmd-java/src/main/java/net/sourceforge/pmd/lang/java/ast/AstImplUtil.java

@@ -48,4 +48,14 @@ final class AstImplUtil {
         ((AbstractJavaExpr) expression).bumpParenDepth();
     }
 
+    static void bumpParenDepth(ASTPattern pattern) {
+        assert pattern instanceof ASTTypePattern || pattern instanceof ASTGuardedPattern
+            : pattern.getClass() + " doesn't have parenDepth attribute!";
+
+        if (pattern instanceof ASTTypePattern) {
+            ((ASTTypePattern) pattern).bumpParenDepth();
+        } else if (pattern instanceof ASTGuardedPattern) {
+            ((ASTGuardedPattern) pattern).bumpParenDepth();
+        }
+    }
 }

pmd-java/src/main/java/net/sourceforge/pmd/lang/java/ast/internal/LanguageLevelChecker.java

@@ -22,13 +22,16 @@ import net.sourceforge.pmd.lang.java.ast.ASTConstructorCall;
 import net.sourceforge.pmd.lang.java.ast.ASTEnumDeclaration;
 import net.sourceforge.pmd.lang.java.ast.ASTForeachStatement;
 import net.sourceforge.pmd.lang.java.ast.ASTFormalParameter;
+import net.sourceforge.pmd.lang.java.ast.ASTGuardedPattern;
 import net.sourceforge.pmd.lang.java.ast.ASTImportDeclaration;
 import net.sourceforge.pmd.lang.java.ast.ASTIntersectionType;
 import net.sourceforge.pmd.lang.java.ast.ASTLambdaExpression;
 import net.sourceforge.pmd.lang.java.ast.ASTMethodDeclaration;
 import net.sourceforge.pmd.lang.java.ast.ASTMethodReference;
 import net.sourceforge.pmd.lang.java.ast.ASTModuleDeclaration;
+import net.sourceforge.pmd.lang.java.ast.ASTNullLiteral;
 import net.sourceforge.pmd.lang.java.ast.ASTNumericLiteral;
+import net.sourceforge.pmd.lang.java.ast.ASTPattern;
 import net.sourceforge.pmd.lang.java.ast.ASTReceiverParameter;
 import net.sourceforge.pmd.lang.java.ast.ASTRecordDeclaration;
 import net.sourceforge.pmd.lang.java.ast.ASTResource;
@@ -137,8 +140,28 @@ public class LanguageLevelChecker<T> {
         /**
          * @see <a href="https://openjdk.java.net/jeps/360">JEP 360: Sealed Classes (Preview)</a>
          * @see <a href="https://openjdk.java.net/jeps/397">JEP 397: Sealed Classes (Second Preview)</a>
+         * @see <a href="https://openjdk.java.net/jeps/409">JEP 409: Sealed Classes</a>
          */
-        SEALED_CLASSES(15, 16, false),
+        SEALED_CLASSES(15, 16, true),
+
+        /**
+         * @see <a href="https://openjdk.java.net/jeps/406">JEP 406: Pattern Matching for switch (Preview)</a>
+         */
+        PATTERN_MATCHING_FOR_SWITCH(17, 17, false),
+
+        /**
+         * Part of pattern matching for switch
+         * @see #PATTERN_MATCHING_FOR_SWITCH
+         * @see <a href="https://openjdk.java.net/jeps/406">JEP 406: Pattern Matching for switch (Preview)</a>
+         */
+        GUARDED_PATTERNS(17, 17, false),
+
+        /**
+         * Part of pattern matching for switch
+         * @see #PATTERN_MATCHING_FOR_SWITCH
+         * @see <a href="https://openjdk.java.net/jeps/406">JEP 406: Pattern Matching for switch (Preview)</a>
+         */
+        NULL_CASE_LABELS(17, 17, false),
 
         ;  // SUPPRESS CHECKSTYLE enum trailing semi is awesome
 
@@ -491,6 +514,12 @@ public class LanguageLevelChecker<T> {
             return null;
         }
 
+        @Override
+        public Void visit(ASTGuardedPattern node, T data) {
+            check(node, PreviewFeature.GUARDED_PATTERNS, data);
+            return null;
+        }
+
         @Override
         public Void visit(ASTTryStatement node, T data) {
             if (node.isTryWithResources()) {
@@ -529,6 +558,18 @@ public class LanguageLevelChecker<T> {
             if (IteratorUtil.count(node.iterator()) > 1) {
                 check(node, RegularLanguageFeature.COMPOSITE_CASE_LABEL, data);
             }
+            if (node.isDefault() && "case".equals(node.getFirstToken().getImage())) {
+                check(node, PreviewFeature.PATTERN_MATCHING_FOR_SWITCH, data);
+            }
+            if (node.getFirstChild() instanceof ASTGuardedPattern) {
+                check(node, PreviewFeature.GUARDED_PATTERNS, data);
+            }
+            if (node.getFirstChild() instanceof ASTPattern) {
+                check(node, PreviewFeature.PATTERN_MATCHING_FOR_SWITCH, data);
+            }
+            if (node.getFirstChild() instanceof ASTNullLiteral) {
+                check(node, PreviewFeature.NULL_CASE_LABELS, data);
+            }
             return null;
         }
 

pmd-java/src/main/java/net/sourceforge/pmd/lang/java/rule/AbstractJavaRule.java

@@ -52,7 +52,6 @@ public abstract class AbstractJavaRule extends AbstractRule implements JavaParse
         return false;
     }
 
-
     @Override
     public boolean dependsOn(AstProcessingStage<?> stage) {
         if (!(stage instanceof JavaProcessingStage)) {

pmd-java/src/test/java/net/sourceforge/pmd/LanguageVersionTest.java

@@ -42,24 +42,20 @@ public class LanguageVersionTest extends AbstractLanguageVersionTest {
                 LanguageRegistry.getLanguage(JavaLanguageModule.NAME).getVersion("11"), },
             { JavaLanguageModule.NAME, JavaLanguageModule.TERSE_NAME, "12",
                 LanguageRegistry.getLanguage(JavaLanguageModule.NAME).getVersion("12"), },
-            { JavaLanguageModule.NAME, JavaLanguageModule.TERSE_NAME, "12-preview",
-                LanguageRegistry.getLanguage(JavaLanguageModule.NAME).getVersion("12-preview"), },
             { JavaLanguageModule.NAME, JavaLanguageModule.TERSE_NAME, "13",
                 LanguageRegistry.getLanguage(JavaLanguageModule.NAME).getVersion("13"), },
-            { JavaLanguageModule.NAME, JavaLanguageModule.TERSE_NAME, "13-preview",
-                LanguageRegistry.getLanguage(JavaLanguageModule.NAME).getVersion("13-preview"), },
             { JavaLanguageModule.NAME, JavaLanguageModule.TERSE_NAME, "14",
                 LanguageRegistry.getLanguage(JavaLanguageModule.NAME).getVersion("14"), },
-            { JavaLanguageModule.NAME, JavaLanguageModule.TERSE_NAME, "14-preview",
-                LanguageRegistry.getLanguage(JavaLanguageModule.NAME).getVersion("14-preview"), },
             { JavaLanguageModule.NAME, JavaLanguageModule.TERSE_NAME, "15",
                 LanguageRegistry.getLanguage(JavaLanguageModule.NAME).getVersion("15"), },
-            { JavaLanguageModule.NAME, JavaLanguageModule.TERSE_NAME, "15-preview",
-                LanguageRegistry.getLanguage(JavaLanguageModule.NAME).getVersion("15-preview"), },
             { JavaLanguageModule.NAME, JavaLanguageModule.TERSE_NAME, "16",
                     LanguageRegistry.getLanguage(JavaLanguageModule.NAME).getVersion("16"), },
             { JavaLanguageModule.NAME, JavaLanguageModule.TERSE_NAME, "16-preview",
                 LanguageRegistry.getLanguage(JavaLanguageModule.NAME).getVersion("16-preview"), },
+            { JavaLanguageModule.NAME, JavaLanguageModule.TERSE_NAME, "17",
+                    LanguageRegistry.getLanguage(JavaLanguageModule.NAME).getVersion("17"), },
+            { JavaLanguageModule.NAME, JavaLanguageModule.TERSE_NAME, "17-preview",
+                LanguageRegistry.getLanguage(JavaLanguageModule.NAME).getVersion("17-preview"), },
 
             // this one won't be found: case sensitive!
             { "JAVA", "JAVA", "1.7", null, },

pmd-java/src/test/java/net/sourceforge/pmd/coverage/PMDCoverageTest.java

@@ -11,35 +11,51 @@ import static org.junit.Assert.fail;
 import java.io.File;
 import java.io.IOException;
 import java.nio.charset.StandardCharsets;
+import java.util.Arrays;
+import java.util.List;
 
 import org.apache.commons.io.FileUtils;
 import org.apache.commons.lang3.ArrayUtils;
 import org.apache.commons.lang3.StringUtils;
 import org.junit.Rule;
 import org.junit.Test;
-import org.junit.contrib.java.lang.system.StandardErrorStreamLog;
-import org.junit.contrib.java.lang.system.StandardOutputStreamLog;
+import org.junit.contrib.java.lang.system.SystemErrRule;
+import org.junit.contrib.java.lang.system.SystemOutRule;
 import org.junit.rules.TemporaryFolder;
 
 import net.sourceforge.pmd.PMD;
+import net.sourceforge.pmd.lang.LanguageRegistry;
+import net.sourceforge.pmd.lang.LanguageVersion;
+import net.sourceforge.pmd.lang.java.JavaLanguageModule;
 
 public class PMDCoverageTest {
 
     @Rule
-    public StandardOutputStreamLog output = new StandardOutputStreamLog();
+    public SystemOutRule output = new SystemOutRule().muteForSuccessfulTests().enableLog();
 
     @Rule
-    public StandardErrorStreamLog errorStream = new StandardErrorStreamLog();
+    public SystemErrRule errorStream = new SystemErrRule().muteForSuccessfulTests().enableLog();
 
     @Rule
     public TemporaryFolder folder = new TemporaryFolder();
 
-    /**
-     * Test some of the PMD command line options
-     */
     @Test
     public void testPmdOptions() {
-        runPmd("-d src/main/java/net/sourceforge/pmd/lang/java/rule/design -f text -R rulesets/internal/all-java.xml -language java -stress -benchmark");
+        runPmd("-d src/main/java/net/sourceforge/pmd/lang/java/rule/design -f text -R rulesets/internal/all-java.xml -stress -benchmark");
+    }
+
+
+    @Test
+    public void runAllJavaPmdOnSourceTree() {
+        runPmd("-d src/main/java -f text -R rulesets/internal/all-java.xml");
+    }
+
+    @Test
+    public void runAllJavaPmdOnTestResourcesWithLatestJavaVersion() {
+        List<LanguageVersion> versions = LanguageRegistry.getLanguage(JavaLanguageModule.NAME).getVersions();
+        LanguageVersion latest = versions.get(versions.size() - 1);
+
+        runPmd("-d src/test/resources -f text -R rulesets/internal/all-java.xml -language java -version " + latest.getVersion());
     }
 
     /**
@@ -49,8 +65,10 @@ public class PMDCoverageTest {
      */
     private void runPmd(String commandLine) {
         String[] args = commandLine.split("\\s");
+        String report = "missing report";
 
         try {
+
             File f = folder.newFile();
             args = ArrayUtils.addAll(
                 args,
@@ -60,27 +78,26 @@ public class PMDCoverageTest {
                 String.valueOf(Runtime.getRuntime().availableProcessors())
             );
 
+            System.err.println("Running PMD with: " + Arrays.toString(args));
             PMD.runPmd(args);
+            report = FileUtils.readFileToString(f, StandardCharsets.UTF_8);
 
             assertEquals("Nothing should be output to stdout", 0, output.getLog().length());
 
-
             assertEquals("No exceptions expected", 0, StringUtils.countMatches(errorStream.getLog(), "Exception applying rule"));
             assertFalse("Wrong configuration? Ruleset not found", errorStream.getLog().contains("Ruleset not found"));
             assertEquals("No usage of deprecated XPath attributes expected", 0, StringUtils.countMatches(errorStream.getLog(), "Use of deprecated attribute"));
 
-            String report = FileUtils.readFileToString(f, StandardCharsets.UTF_8);
             assertEquals("No processing errors expected", 0, StringUtils.countMatches(report, "Error while processing"));
 
             // we might have explicit examples of parsing errors, so these are maybe false positives
             assertEquals("No parsing error expected", 0, StringUtils.countMatches(report, "Error while parsing"));
         } catch (IOException ioe) {
             fail("Problem creating temporary file: " + ioe.getLocalizedMessage());
+        } catch (AssertionError ae) {
+            System.out.println("\nReport:\n");
+            System.out.println(report);
+            throw ae;
         }
     }
-
-    @Test
-    public void runAllJavaPmdOnSourceTree() {
-        runPmd("-d src/main/java -f text -R rulesets/internal/all-java.xml -language java");
-    }
 }

pmd-java/src/test/java/net/sourceforge/pmd/lang/java/ast/Java15PreviewTreeDumpTest.java

@@ -1,131 +0,0 @@
-/*
- * BSD-style license; for more info see http://pmd.sourceforge.net/license.html
- */
-
-package net.sourceforge.pmd.lang.java.ast;
-
-import java.util.List;
-
-import org.junit.Assert;
-import org.junit.Ignore;
-import org.junit.Test;
-
-import net.sourceforge.pmd.lang.ast.ParseException;
-import net.sourceforge.pmd.lang.ast.test.BaseParsingHelper;
-import net.sourceforge.pmd.lang.java.BaseJavaTreeDumpTest;
-import net.sourceforge.pmd.lang.java.JavaParsingHelper;
-
-public class Java15PreviewTreeDumpTest extends BaseJavaTreeDumpTest {
-    private final JavaParsingHelper java15p =
-            JavaParsingHelper.WITH_PROCESSING.withDefaultVersion("15-preview")
-                    .withResourceContext(Java15PreviewTreeDumpTest.class, "jdkversiontests/java15p/");
-    private final JavaParsingHelper java15 = java15p.withDefaultVersion("15");
-
-
-    @Override
-    public BaseParsingHelper<?, ?> getParser() {
-        return java15p;
-    }
-
-    @Test
-    public void patternMatchingInstanceof() {
-        doTest("PatternMatchingInstanceof");
-
-        // extended tests for type resolution etc.
-        ASTCompilationUnit compilationUnit = java15p.parseResource("PatternMatchingInstanceof.java");
-        List<ASTInstanceOfExpression> instanceOfExpressions = compilationUnit.findDescendantsOfType(ASTInstanceOfExpression.class);
-        for (ASTInstanceOfExpression expr : instanceOfExpressions) {
-            ASTVariableDeclaratorId variable = expr.getChild(1).getFirstChildOfType(ASTVariableDeclaratorId.class);
-            Assert.assertEquals(String.class, variable.getType());
-            // Note: these variables are not part of the symbol table
-            // See ScopeAndDeclarationFinder#visit(ASTVariableDeclaratorId, Object)
-            Assert.assertNull(variable.getNameDeclaration());
-        }
-    }
-
-    @Test(expected = ParseException.class)
-    public void patternMatchingInstanceofBeforeJava15PreviewShouldFail() {
-        java15.parseResource("PatternMatchingInstanceof.java");
-    }
-
-    @Test
-    @Ignore("Ignored, this will be reactivated on the typeresolution branch")
-    public void recordPoint() {
-        doTest("Point");
-
-        // extended tests for type resolution etc.
-        ASTCompilationUnit compilationUnit = java15p.parseResource("Point.java");
-        ASTRecordDeclaration recordDecl = compilationUnit.getFirstDescendantOfType(ASTRecordDeclaration.class);
-        List<ASTRecordComponent> components = recordDecl.getRecordComponents().toList();
-        Assert.assertNull(components.get(0).getVarId().getNameDeclaration().getAccessNodeParent());
-        Assert.assertEquals(Integer.TYPE, components.get(0).getVarId().getNameDeclaration().getType());
-        Assert.assertEquals("int", components.get(0).getVarId().getNameDeclaration().getTypeImage());
-    }
-
-    @Test(expected = ParseException.class)
-    public void recordPointBeforeJava15PreviewShouldFail() {
-        java15.parseResource("Point.java");
-    }
-
-    @Test(expected = ParseException.class)
-    public void recordCtorWithThrowsShouldFail() {
-        java15p.parse("  record R {"
-                + "   R throws IOException {}"
-                + "  }");
-    }
-
-    @Test(expected = ParseException.class)
-    public void recordMustNotExtend() {
-        java15p.parse("record RecordEx(int x) extends Number { }");
-    }
-
-    @Test
-    public void innerRecords() {
-        doTest("Records");
-    }
-
-    @Test(expected = ParseException.class)
-    public void recordIsARestrictedIdentifier() {
-        java15p.parse("public class record {}");
-    }
-
-    @Test
-    public void localRecords() {
-        doTest("LocalRecords");
-    }
-
-    @Test(expected = ParseException.class)
-    public void sealedClassBeforeJava15Preview() {
-        java15.parseResource("geometry/Shape.java");
-    }
-
-    @Test
-    public void sealedClass() {
-        doTest("geometry/Shape");
-    }
-
-    @Test
-    public void nonSealedClass() {
-        doTest("geometry/Square");
-    }
-
-    @Test(expected = ParseException.class)
-    public void sealedInterfaceBeforeJava15Preview() {
-        java15.parseResource("expression/Expr.java");
-    }
-
-    @Test
-    public void sealedInterface() {
-        doTest("expression/Expr");
-    }
-
-    @Test
-    public void localInterfaceAndEnums() {
-        doTest("LocalInterfacesAndEnums");
-    }
-
-    @Test(expected = ParseException.class)
-    public void localInterfacesAndEnumsBeforeJava15PreviewShouldFail() {
-        java15.parseResource("LocalInterfacesAndEnums.java");
-    }
-}

pmd-java/src/test/java/net/sourceforge/pmd/lang/java/ast/Java15TreeDumpTest.java

@@ -15,7 +15,6 @@ public class Java15TreeDumpTest extends BaseJavaTreeDumpTest {
     private final JavaParsingHelper java15 =
             JavaParsingHelper.WITH_PROCESSING.withDefaultVersion("15")
                     .withResourceContext(Java15TreeDumpTest.class, "jdkversiontests/java15/");
-    private final JavaParsingHelper java15p = java15.withDefaultVersion("15-preview");
     private final JavaParsingHelper java14 = java15.withDefaultVersion("14");
 
     @Override
@@ -26,7 +25,6 @@ public class Java15TreeDumpTest extends BaseJavaTreeDumpTest {
     @Test
     public void textBlocks() {
         doTest("TextBlocks");
-        java15p.parseResource("TextBlocks.java"); // make sure we can parse it with preview as well
     }
 
     @Test(expected = net.sourceforge.pmd.lang.ast.ParseException.class)
@@ -42,6 +40,5 @@ public class Java15TreeDumpTest extends BaseJavaTreeDumpTest {
     @Test
     public void sealedAndNonSealedIdentifiers() {
         doTest("NonSealedIdentifier");
-        java15p.parseResource("NonSealedIdentifier.java"); // make sure we can parse it with preview as well
     }
 }

pmd-java/src/test/java/net/sourceforge/pmd/lang/java/ast/Java16TreeDumpTest.java

@@ -19,7 +19,7 @@ import net.sourceforge.pmd.lang.java.types.JPrimitiveType;
 public class Java16TreeDumpTest extends BaseJavaTreeDumpTest {
     private final JavaParsingHelper java16 =
             JavaParsingHelper.WITH_PROCESSING.withDefaultVersion("16")
-                    .withResourceContext(Java15TreeDumpTest.class, "jdkversiontests/java16/");
+                    .withResourceContext(Java16TreeDumpTest.class, "jdkversiontests/java16/");
     private final JavaParsingHelper java16p = java16.withDefaultVersion("16-preview");
     private final JavaParsingHelper java15 = java16.withDefaultVersion("15");
 

pmd-java/src/test/java/net/sourceforge/pmd/lang/java/ast/Java17PreviewTreeDumpTest.java

@@ -0,0 +1,92 @@
+/*
+ * BSD-style license; for more info see http://pmd.sourceforge.net/license.html
+ */
+
+package net.sourceforge.pmd.lang.java.ast;
+
+import org.junit.Assert;
+import org.junit.Test;
+import org.junit.function.ThrowingRunnable;
+
+import net.sourceforge.pmd.lang.ast.ParseException;
+import net.sourceforge.pmd.lang.ast.test.BaseParsingHelper;
+import net.sourceforge.pmd.lang.ast.test.BaseTreeDumpTest;
+import net.sourceforge.pmd.lang.ast.test.RelevantAttributePrinter;
+import net.sourceforge.pmd.lang.java.JavaParsingHelper;
+
+public class Java17PreviewTreeDumpTest extends BaseTreeDumpTest {
+    private final JavaParsingHelper java17p =
+            JavaParsingHelper.WITH_PROCESSING.withDefaultVersion("17-preview")
+                    .withResourceContext(Java17PreviewTreeDumpTest.class, "jdkversiontests/java17p/");
+    private final JavaParsingHelper java17 = java17p.withDefaultVersion("17");
+
+    public Java17PreviewTreeDumpTest() {
+        super(new RelevantAttributePrinter(), ".java");
+    }
+
+    @Override
+    public BaseParsingHelper<?, ?> getParser() {
+        return java17p;
+    }
+
+    @Test
+    public void patternMatchingForSwitchBeforeJava17Preview() {
+        ParseException thrown = Assert.assertThrows(ParseException.class, new ThrowingRunnable() {
+            @Override
+            public void run() throws Throwable {
+                java17.parseResource("PatternsInSwitchLabels.java");
+            }
+        });
+        Assert.assertTrue("Unexpected message: " + thrown.getMessage(),
+                thrown.getMessage().contains("Pattern matching for switch is a preview feature of JDK 17, you should select your language version accordingly"));
+    }
+
+    @Test
+    public void patternMatchingForSwitch() {
+        doTest("PatternsInSwitchLabels");
+    }
+
+    @Test
+    public void enhancedTypeCheckingSwitch() {
+        doTest("EnhancedTypeCheckingSwitch");
+    }
+
+    @Test
+    public void scopeOfPatternVariableDeclarations() {
+        doTest("ScopeOfPatternVariableDeclarations");
+    }
+
+    @Test
+    public void dealingWithNullBeforeJava17Preview() {
+        ParseException thrown = Assert.assertThrows(ParseException.class, new ThrowingRunnable() {
+            @Override
+            public void run() throws Throwable {
+                java17.parseResource("DealingWithNull.java");
+            }
+        });
+        Assert.assertTrue("Unexpected message: " + thrown.getMessage(),
+                thrown.getMessage().contains("Null case labels is a preview feature of JDK 17, you should select your language version accordingly"));
+    }
+
+    @Test
+    public void dealingWithNull() {
+        doTest("DealingWithNull");
+    }
+
+    @Test
+    public void guardedAndParenthesizedPatternsBeforeJava17Preview() {
+        ParseException thrown = Assert.assertThrows(ParseException.class, new ThrowingRunnable() {
+            @Override
+            public void run() throws Throwable {
+                java17.parseResource("GuardedAndParenthesizedPatterns.java");
+            }
+        });
+        Assert.assertTrue("Unexpected message: " + thrown.getMessage(),
+                thrown.getMessage().contains("Guarded patterns is a preview feature of JDK 17, you should select your language version accordingly"));
+    }
+
+    @Test
+    public void guardedAndParenthesizedPatterns() {
+        doTest("GuardedAndParenthesizedPatterns");
+    }
+}

pmd-java/src/test/java/net/sourceforge/pmd/lang/java/ast/Java17TreeDumpTest.java

@@ -0,0 +1,79 @@
+/*
+ * BSD-style license; for more info see http://pmd.sourceforge.net/license.html
+ */
+
+package net.sourceforge.pmd.lang.java.ast;
+
+import org.junit.Assert;
+import org.junit.Test;
+import org.junit.function.ThrowingRunnable;
+
+import net.sourceforge.pmd.lang.ast.ParseException;
+import net.sourceforge.pmd.lang.ast.test.BaseParsingHelper;
+import net.sourceforge.pmd.lang.ast.test.BaseTreeDumpTest;
+import net.sourceforge.pmd.lang.ast.test.RelevantAttributePrinter;
+import net.sourceforge.pmd.lang.java.JavaParsingHelper;
+
+public class Java17TreeDumpTest extends BaseTreeDumpTest {
+    private final JavaParsingHelper java17 =
+            JavaParsingHelper.WITH_PROCESSING.withDefaultVersion("17")
+                    .withResourceContext(Java17TreeDumpTest.class, "jdkversiontests/java17/");
+    private final JavaParsingHelper java17p = java17.withDefaultVersion("17-preview");
+    private final JavaParsingHelper java16 = java17.withDefaultVersion("16");
+
+    public Java17TreeDumpTest() {
+        super(new RelevantAttributePrinter(), ".java");
+    }
+
+    @Override
+    public BaseParsingHelper<?, ?> getParser() {
+        return java17;
+    }
+
+    @Test
+    public void sealedClassBeforeJava17() {
+        ParseException thrown = Assert.assertThrows(ParseException.class, new ThrowingRunnable() {
+            @Override
+            public void run() throws Throwable {
+                java16.parseResource("geometry/Shape.java");
+            }
+        });
+        Assert.assertTrue("Unexpected message: " + thrown.getMessage(),
+                thrown.getMessage().contains("Sealed classes is a preview feature of JDK 16, you should select your language version accordingly"));
+    }
+
+    @Test
+    public void sealedClass() {
+        doTest("geometry/Shape");
+        java17p.parseResource("geometry/Shape.java"); // make sure we can parse it with preview as well
+    }
+
+    @Test
+    public void nonSealedClass() {
+        doTest("geometry/Square");
+        java17p.parseResource("geometry/Square.java"); // make sure we can parse it with preview as well
+    }
+
+    @Test
+    public void sealedInterfaceBeforeJava17() {
+        ParseException thrown = Assert.assertThrows(ParseException.class, new ThrowingRunnable() {
+            @Override
+            public void run() throws Throwable {
+                java16.parseResource("expression/Expr.java");
+            }
+        });
+        Assert.assertTrue("Unexpected message: " + thrown.getMessage(),
+                thrown.getMessage().contains("Sealed classes is a preview feature of JDK 16, you should select your language version accordingly"));
+    }
+
+    @Test
+    public void sealedInterface() {
+        doTest("expression/Expr");
+        java17p.parseResource("expression/Expr.java"); // make sure we can parse it with preview as well
+    }
+
+    @Test
+    public void localVars() {
+        doTest("LocalVars");
+    }
+}

pmd-java/src/test/java/net/sourceforge/pmd/lang/java/ast/JavaQualifiedNameTest.java

@@ -24,7 +24,7 @@ public class JavaQualifiedNameTest {
 
 
     private <T extends Node> List<T> getNodes(Class<T> target, String code) {
-        return JavaParsingHelper.WITH_PROCESSING.withDefaultVersion("15-preview").getNodes(target, code);
+        return JavaParsingHelper.WITH_PROCESSING.withDefaultVersion("15").getNodes(target, code);
     }
 
     @Test

pmd-java/src/test/java/net/sourceforge/pmd/lang/java/ast/ParserCornersTest.java

@@ -165,7 +165,7 @@ public class ParserCornersTest extends BaseJavaTreeDumpTest {
     public void testGitHubBug2767() {
         // PMD fails to parse an initializer block.
         // PMD 6.26.0 parses this code just fine.
-        java.withDefaultVersion("15-preview")
+        java.withDefaultVersion("16")
             .parse("class Foo {\n"
                        + "    {final int I;}\n"
                        + "}\n");

pmd-java/src/test/kotlin/net/sourceforge/pmd/lang/java/ast/ASTLiteralTest.kt

@@ -46,7 +46,7 @@ class ASTLiteralTest : ParserTestSpec({
         }
     }
 
-    parserTest("Text block literal", javaVersions = since(J15__PREVIEW)) {
+    parserTest("Text block literal", javaVersions = since(J15)) {
 
         val delim = "\"\"\""
 

pmd-java/src/test/kotlin/net/sourceforge/pmd/lang/java/ast/ASTPatternTest.kt

@@ -12,9 +12,9 @@ import java.io.IOException
 
 class ASTPatternTest : ProcessorTestSpec({
 
-    val typePatternsVersions = JavaVersion.since(J16).plus(J15__PREVIEW)
+    val typePatternsVersions = JavaVersion.since(J16)
 
-    parserTest("Test patterns only available on JDK 15 (preview) and JDK16 and JDK16 (preview)",
+    parserTest("Test patterns only available on JDK16 and JDK16 (preview) and JDK17 and JDK 17 (preview)",
         javaVersions = JavaVersion.except(typePatternsVersions)) {
 
         inContext(ExpressionParsingCtx) {

pmd-java/src/test/kotlin/net/sourceforge/pmd/lang/java/ast/KotlinTestingDsl.kt

@@ -34,8 +34,9 @@ enum class JavaVersion : Comparable<JavaVersion> {
     J12,
     J13,
     J14,
-    J15, J15__PREVIEW,
-    J16, J16__PREVIEW;
+    J15,
+    J16, J16__PREVIEW,
+    J17, J17__PREVIEW;
 
     /** Name suitable for use with e.g. [JavaParsingHelper.parse] */
     val pmdName: String = name.removePrefix("J").replaceFirst("__", "-").replace('_', '.').toLowerCase()

pmd-java/src/test/kotlin/net/sourceforge/pmd/lang/java/ast/NodeParsingCtx.kt

@@ -90,7 +90,7 @@ object ExpressionParsingCtx : NodeParsingCtx<ASTExpression>("expression") {
 object StatementParsingCtx : NodeParsingCtx<ASTStatement>("statement") {
 
     override fun getTemplate(construct: String, ctx: ParserTestCtx): String =
-            TypeBodyParsingCtx.getTemplate("{\n$construct}", ctx)
+            TypeBodyParsingCtx.getTemplate("  {\n    $construct\n  }", ctx)
 
 
     override fun retrieveNode(acu: ASTCompilationUnit): ASTStatement =

pmd-java/src/test/resources/net/sourceforge/pmd/lang/java/ast/jdkversiontests/java15p/LocalInterfacesAndEnums.java

@@ -1,20 +0,0 @@
-/*
- * BSD-style license; for more info see http://pmd.sourceforge.net/license.html
- */
-
-public class LocalInterfacesAndEnums {
-
-    {
-        class MyLocalClass {}
-
-        // static local classes are not allowed (neither Java15 nor Java15 Preview)
-        //static class MyLocalStaticClass {}
-
-        interface MyLocalInterface {}
-
-        enum MyLocalEnum { A }
-
-        // not supported anymore with Java16
-        //@interface MyLocalAnnotation {}
-    }
-}

pmd-java/src/test/resources/net/sourceforge/pmd/lang/java/ast/jdkversiontests/java15p/LocalInterfacesAndEnums.txt

@@ -1,21 +0,0 @@
-+- CompilationUnit[@PackageName = ""]
-   +- ClassOrInterfaceDeclaration[@Abstract = "false", @Annotation = "false", @Anonymous = "false", @BinaryName = "LocalInterfacesAndEnums", @CanonicalName = "LocalInterfacesAndEnums", @EffectiveVisibility = "public", @Enum = "false", @Final = "false", @Interface = "false", @Local = "false", @Nested = "false", @PackageName = "", @PackagePrivate = "false", @Record = "false", @RegularClass = "true", @RegularInterface = "false", @SimpleName = "LocalInterfacesAndEnums", @TopLevel = "true", @Visibility = "public"]
-      +- ModifierList[@EffectiveModifiers = "{public}", @ExplicitModifiers = "{public}"]
-      +- ClassOrInterfaceBody[@Size = "1"]
-         +- Initializer[@Static = "false"]
-            +- Block[@Size = "3", @containsComment = "true"]
-               +- LocalClassStatement[]
-               |  +- ClassOrInterfaceDeclaration[@Abstract = "false", @Annotation = "false", @Anonymous = "false", @BinaryName = "LocalInterfacesAndEnums$1MyLocalClass", @CanonicalName = null, @EffectiveVisibility = "local", @Enum = "false", @Final = "false", @Interface = "false", @Local = "true", @Nested = "false", @PackageName = "", @PackagePrivate = "false", @Record = "false", @RegularClass = "true", @RegularInterface = "false", @SimpleName = "MyLocalClass", @TopLevel = "false", @Visibility = "local"]
-               |     +- ModifierList[@EffectiveModifiers = "{}", @ExplicitModifiers = "{}"]
-               |     +- ClassOrInterfaceBody[@Size = "0"]
-               +- LocalClassStatement[]
-               |  +- ClassOrInterfaceDeclaration[@Abstract = "true", @Annotation = "false", @Anonymous = "false", @BinaryName = "LocalInterfacesAndEnums$1MyLocalInterface", @CanonicalName = null, @EffectiveVisibility = "local", @Enum = "false", @Final = "false", @Interface = "true", @Local = "true", @Nested = "false", @PackageName = "", @PackagePrivate = "false", @Record = "false", @RegularClass = "false", @RegularInterface = "true", @SimpleName = "MyLocalInterface", @TopLevel = "false", @Visibility = "local"]
-               |     +- ModifierList[@EffectiveModifiers = "{abstract, static}", @ExplicitModifiers = "{}"]
-               |     +- ClassOrInterfaceBody[@Size = "0"]
-               +- LocalClassStatement[]
-                  +- EnumDeclaration[@Abstract = "false", @Annotation = "false", @Anonymous = "false", @BinaryName = "LocalInterfacesAndEnums$1MyLocalEnum", @CanonicalName = null, @EffectiveVisibility = "local", @Enum = "true", @Final = "true", @Interface = "false", @Local = "true", @Nested = "false", @PackageName = "", @Record = "false", @RegularClass = "false", @RegularInterface = "false", @SimpleName = "MyLocalEnum", @TopLevel = "false", @Visibility = "local"]
-                     +- ModifierList[@EffectiveModifiers = "{static, final}", @ExplicitModifiers = "{}"]
-                     +- EnumBody[@SeparatorSemi = "false", @Size = "1", @TrailingComma = "false"]
-                        +- EnumConstant[@AnonymousClass = "false", @EffectiveVisibility = "local", @Image = "A", @MethodName = "new", @Name = "A", @Visibility = "public"]
-                           +- ModifierList[@EffectiveModifiers = "{public, static, final}", @ExplicitModifiers = "{}"]
-                           +- VariableDeclaratorId[@ArrayType = "false", @EffectiveVisibility = "local", @EnumConstant = "true", @ExceptionBlockParameter = "false", @Field = "false", @Final = "true", @ForLoopVariable = "false", @ForeachVariable = "false", @FormalParameter = "false", @LambdaParameter = "false", @LocalVariable = "false", @Name = "A", @PatternBinding = "false", @RecordComponent = "false", @ResourceDeclaration = "false", @TypeInferred = "true", @Visibility = "public"]

pmd-java/src/test/resources/net/sourceforge/pmd/lang/java/ast/jdkversiontests/java15p/LocalRecords.java

@@ -1,51 +0,0 @@
-/*
- * BSD-style license; for more info see http://pmd.sourceforge.net/license.html
- */
-
-import java.util.stream.Collectors;
-import java.util.List;
-
-/**
- * @see <a href="https://openjdk.java.net/jeps/384">JEP 384: Records (Second Preview)</a>
- */
-public class LocalRecords {
-    public interface Merchant {}
-    public static double computeSales(Merchant merchant, int month) {
-        return month;
-    }
-    List<Merchant> findTopMerchants(List<Merchant> merchants, int month) {
-        // Local record
-        record MerchantSales(Merchant merchant, double sales) {}
-
-        return merchants.stream()
-            .map(merchant -> new MerchantSales(merchant, computeSales(merchant, month)))
-            .sorted((m1, m2) -> Double.compare(m2.sales(), m1.sales()))
-            .map(MerchantSales::merchant)
-            .collect(Collectors.toList());
-    }
-
-    void methodWithLocalRecordAndModifiers() {
-        final record MyRecord1(String a) {}
-        final static record MyRecord2(String a) {}
-        @Deprecated record MyRecord3(String a) {}
-        final @Deprecated static record MyRecord4(String a) {}
-    }
-
-    void statementThatStartsWithRecordAsRegularIdent() {
-        // https://github.com/pmd/pmd/issues/3145
-        final Map<String, String> record = new HashMap<>();
-        record.put("key", "value");
-    }
-
-    void methodWithLocalClass() {
-        class MyLocalClass {}
-    }
-
-    void methodWithLocalVarsNamedSealed() {
-        int result = 0;
-        int non = 1;
-        int sealed = 2;
-        result = non-sealed;
-        System.out.println(result);
-    }
-}

pmd-java/src/test/resources/net/sourceforge/pmd/lang/java/ast/jdkversiontests/java15p/LocalRecords.txt

@@ -1,217 +0,0 @@
-+- CompilationUnit[@PackageName = ""]
-   +- ImportDeclaration[@ImportOnDemand = "false", @ImportedName = "java.util.stream.Collectors", @ImportedSimpleName = "Collectors", @PackageName = "java.util.stream", @Static = "false"]
-   +- ImportDeclaration[@ImportOnDemand = "false", @ImportedName = "java.util.List", @ImportedSimpleName = "List", @PackageName = "java.util", @Static = "false"]
-   +- ClassOrInterfaceDeclaration[@Abstract = "false", @Annotation = "false", @Anonymous = "false", @BinaryName = "LocalRecords", @CanonicalName = "LocalRecords", @EffectiveVisibility = "public", @Enum = "false", @Final = "false", @Interface = "false", @Local = "false", @Nested = "false", @PackageName = "", @PackagePrivate = "false", @Record = "false", @RegularClass = "true", @RegularInterface = "false", @SimpleName = "LocalRecords", @TopLevel = "true", @Visibility = "public"]
-      +- ModifierList[@EffectiveModifiers = "{public}", @ExplicitModifiers = "{public}"]
-      +- ClassOrInterfaceBody[@Size = "7"]
-         +- ClassOrInterfaceDeclaration[@Abstract = "true", @Annotation = "false", @Anonymous = "false", @BinaryName = "LocalRecords$Merchant", @CanonicalName = "LocalRecords.Merchant", @EffectiveVisibility = "public", @Enum = "false", @Final = "false", @Interface = "true", @Local = "false", @Nested = "true", @PackageName = "", @PackagePrivate = "false", @Record = "false", @RegularClass = "false", @RegularInterface = "true", @SimpleName = "Merchant", @TopLevel = "false", @Visibility = "public"]
-         |  +- ModifierList[@EffectiveModifiers = "{public, abstract, static}", @ExplicitModifiers = "{public}"]
-         |  +- ClassOrInterfaceBody[@Size = "0"]
-         +- MethodDeclaration[@Abstract = "false", @Arity = "2", @EffectiveVisibility = "public", @Image = "computeSales", @Name = "computeSales", @Overridden = "false", @Varargs = "false", @Visibility = "public", @Void = "false"]
-         |  +- ModifierList[@EffectiveModifiers = "{public, static}", @ExplicitModifiers = "{public, static}"]
-         |  +- PrimitiveType[@Kind = "double"]
-         |  +- FormalParameters[@Size = "2"]
-         |  |  +- FormalParameter[@EffectiveVisibility = "local", @Final = "false", @Varargs = "false", @Visibility = "local"]
-         |  |  |  +- ModifierList[@EffectiveModifiers = "{}", @ExplicitModifiers = "{}"]
-         |  |  |  +- ClassOrInterfaceType[@FullyQualified = "false", @SimpleName = "Merchant"]
-         |  |  |  +- VariableDeclaratorId[@ArrayType = "false", @EffectiveVisibility = "local", @EnumConstant = "false", @ExceptionBlockParameter = "false", @Field = "false", @Final = "false", @ForLoopVariable = "false", @ForeachVariable = "false", @FormalParameter = "true", @LambdaParameter = "false", @LocalVariable = "false", @Name = "merchant", @PatternBinding = "false", @RecordComponent = "false", @ResourceDeclaration = "false", @TypeInferred = "false", @Visibility = "local"]
-         |  |  +- FormalParameter[@EffectiveVisibility = "local", @Final = "false", @Varargs = "false", @Visibility = "local"]
-         |  |     +- ModifierList[@EffectiveModifiers = "{}", @ExplicitModifiers = "{}"]
-         |  |     +- PrimitiveType[@Kind = "int"]
-         |  |     +- VariableDeclaratorId[@ArrayType = "false", @EffectiveVisibility = "local", @EnumConstant = "false", @ExceptionBlockParameter = "false", @Field = "false", @Final = "false", @ForLoopVariable = "false", @ForeachVariable = "false", @FormalParameter = "true", @LambdaParameter = "false", @LocalVariable = "false", @Name = "month", @PatternBinding = "false", @RecordComponent = "false", @ResourceDeclaration = "false", @TypeInferred = "false", @Visibility = "local"]
-         |  +- Block[@Size = "1", @containsComment = "false"]
-         |     +- ReturnStatement[]
-         |        +- VariableAccess[@AccessType = "READ", @CompileTimeConstant = "false", @Image = "month", @Name = "month", @ParenthesisDepth = "0", @Parenthesized = "false"]
-         +- MethodDeclaration[@Abstract = "false", @Arity = "2", @EffectiveVisibility = "package", @Image = "findTopMerchants", @Name = "findTopMerchants", @Overridden = "false", @Varargs = "false", @Visibility = "package", @Void = "false"]
-         |  +- ModifierList[@EffectiveModifiers = "{}", @ExplicitModifiers = "{}"]
-         |  +- ClassOrInterfaceType[@FullyQualified = "false", @SimpleName = "List"]
-         |  |  +- TypeArguments[@Diamond = "false", @Size = "1"]
-         |  |     +- ClassOrInterfaceType[@FullyQualified = "false", @SimpleName = "Merchant"]
-         |  +- FormalParameters[@Size = "2"]
-         |  |  +- FormalParameter[@EffectiveVisibility = "local", @Final = "false", @Varargs = "false", @Visibility = "local"]
-         |  |  |  +- ModifierList[@EffectiveModifiers = "{}", @ExplicitModifiers = "{}"]
-         |  |  |  +- ClassOrInterfaceType[@FullyQualified = "false", @SimpleName = "List"]
-         |  |  |  |  +- TypeArguments[@Diamond = "false", @Size = "1"]
-         |  |  |  |     +- ClassOrInterfaceType[@FullyQualified = "false", @SimpleName = "Merchant"]
-         |  |  |  +- VariableDeclaratorId[@ArrayType = "false", @EffectiveVisibility = "local", @EnumConstant = "false", @ExceptionBlockParameter = "false", @Field = "false", @Final = "false", @ForLoopVariable = "false", @ForeachVariable = "false", @FormalParameter = "true", @LambdaParameter = "false", @LocalVariable = "false", @Name = "merchants", @PatternBinding = "false", @RecordComponent = "false", @ResourceDeclaration = "false", @TypeInferred = "false", @Visibility = "local"]
-         |  |  +- FormalParameter[@EffectiveVisibility = "local", @Final = "false", @Varargs = "false", @Visibility = "local"]
-         |  |     +- ModifierList[@EffectiveModifiers = "{}", @ExplicitModifiers = "{}"]
-         |  |     +- PrimitiveType[@Kind = "int"]
-         |  |     +- VariableDeclaratorId[@ArrayType = "false", @EffectiveVisibility = "local", @EnumConstant = "false", @ExceptionBlockParameter = "false", @Field = "false", @Final = "false", @ForLoopVariable = "false", @ForeachVariable = "false", @FormalParameter = "true", @LambdaParameter = "false", @LocalVariable = "false", @Name = "month", @PatternBinding = "false", @RecordComponent = "false", @ResourceDeclaration = "false", @TypeInferred = "false", @Visibility = "local"]
-         |  +- Block[@Size = "2", @containsComment = "false"]
-         |     +- LocalClassStatement[]
-         |     |  +- RecordDeclaration[@Abstract = "false", @Annotation = "false", @Anonymous = "false", @BinaryName = "LocalRecords$1MerchantSales", @CanonicalName = null, @EffectiveVisibility = "local", @Enum = "false", @Final = "true", @Interface = "false", @Local = "true", @Nested = "false", @PackageName = "", @Record = "true", @RegularClass = "false", @RegularInterface = "false", @SimpleName = "MerchantSales", @TopLevel = "false", @Visibility = "local"]
-         |     |     +- ModifierList[@EffectiveModifiers = "{static, final}", @ExplicitModifiers = "{}"]
-         |     |     +- RecordComponentList[@Size = "2", @Varargs = "false"]
-         |     |     |  +- RecordComponent[@EffectiveVisibility = "local", @Varargs = "false", @Visibility = "private"]
-         |     |     |  |  +- ModifierList[@EffectiveModifiers = "{private, final}", @ExplicitModifiers = "{}"]
-         |     |     |  |  +- ClassOrInterfaceType[@FullyQualified = "false", @SimpleName = "Merchant"]
-         |     |     |  |  +- VariableDeclaratorId[@ArrayType = "false", @EffectiveVisibility = "local", @EnumConstant = "false", @ExceptionBlockParameter = "false", @Field = "false", @Final = "true", @ForLoopVariable = "false", @ForeachVariable = "false", @FormalParameter = "false", @LambdaParameter = "false", @LocalVariable = "false", @Name = "merchant", @PatternBinding = "false", @RecordComponent = "true", @ResourceDeclaration = "false", @TypeInferred = "false", @Visibility = "private"]
-         |     |     |  +- RecordComponent[@EffectiveVisibility = "local", @Varargs = "false", @Visibility = "private"]
-         |     |     |     +- ModifierList[@EffectiveModifiers = "{private, final}", @ExplicitModifiers = "{}"]
-         |     |     |     +- PrimitiveType[@Kind = "double"]
-         |     |     |     +- VariableDeclaratorId[@ArrayType = "false", @EffectiveVisibility = "local", @EnumConstant = "false", @ExceptionBlockParameter = "false", @Field = "false", @Final = "true", @ForLoopVariable = "false", @ForeachVariable = "false", @FormalParameter = "false", @LambdaParameter = "false", @LocalVariable = "false", @Name = "sales", @PatternBinding = "false", @RecordComponent = "true", @ResourceDeclaration = "false", @TypeInferred = "false", @Visibility = "private"]
-         |     |     +- RecordBody[@Size = "0"]
-         |     +- ReturnStatement[]
-         |        +- MethodCall[@CompileTimeConstant = "false", @Image = "collect", @MethodName = "collect", @ParenthesisDepth = "0", @Parenthesized = "false"]
-         |           +- MethodCall[@CompileTimeConstant = "false", @Image = "map", @MethodName = "map", @ParenthesisDepth = "0", @Parenthesized = "false"]
-         |           |  +- MethodCall[@CompileTimeConstant = "false", @Image = "sorted", @MethodName = "sorted", @ParenthesisDepth = "0", @Parenthesized = "false"]
-         |           |  |  +- MethodCall[@CompileTimeConstant = "false", @Image = "map", @MethodName = "map", @ParenthesisDepth = "0", @Parenthesized = "false"]
-         |           |  |  |  +- MethodCall[@CompileTimeConstant = "false", @Image = "stream", @MethodName = "stream", @ParenthesisDepth = "0", @Parenthesized = "false"]
-         |           |  |  |  |  +- VariableAccess[@AccessType = "READ", @CompileTimeConstant = "false", @Image = "merchants", @Name = "merchants", @ParenthesisDepth = "0", @Parenthesized = "false"]
-         |           |  |  |  |  +- ArgumentList[@Size = "0"]
-         |           |  |  |  +- ArgumentList[@Size = "1"]
-         |           |  |  |     +- LambdaExpression[@BlockBody = "false", @CompileTimeConstant = "false", @ExpressionBody = "true", @ParenthesisDepth = "0", @Parenthesized = "false"]
-         |           |  |  |        +- LambdaParameterList[@Size = "1"]
-         |           |  |  |        |  +- LambdaParameter[@EffectiveVisibility = "package", @Final = "false", @TypeInferred = "true", @Visibility = "package"]
-         |           |  |  |        |     +- ModifierList[@EffectiveModifiers = "{}", @ExplicitModifiers = "{}"]
-         |           |  |  |        |     +- VariableDeclaratorId[@ArrayType = "false", @EffectiveVisibility = "package", @EnumConstant = "false", @ExceptionBlockParameter = "false", @Field = "false", @Final = "false", @ForLoopVariable = "false", @ForeachVariable = "false", @FormalParameter = "true", @LambdaParameter = "true", @LocalVariable = "false", @Name = "merchant", @PatternBinding = "false", @RecordComponent = "false", @ResourceDeclaration = "false", @TypeInferred = "true", @Visibility = "package"]
-         |           |  |  |        +- ConstructorCall[@AnonymousClass = "false", @CompileTimeConstant = "false", @DiamondTypeArgs = "false", @MethodName = "new", @ParenthesisDepth = "0", @Parenthesized = "false", @QualifiedInstanceCreation = "false"]
-         |           |  |  |           +- ClassOrInterfaceType[@FullyQualified = "false", @SimpleName = "MerchantSales"]
-         |           |  |  |           +- ArgumentList[@Size = "2"]
-         |           |  |  |              +- VariableAccess[@AccessType = "READ", @CompileTimeConstant = "false", @Image = "merchant", @Name = "merchant", @ParenthesisDepth = "0", @Parenthesized = "false"]
-         |           |  |  |              +- MethodCall[@CompileTimeConstant = "false", @Image = "computeSales", @MethodName = "computeSales", @ParenthesisDepth = "0", @Parenthesized = "false"]
-         |           |  |  |                 +- ArgumentList[@Size = "2"]
-         |           |  |  |                    +- VariableAccess[@AccessType = "READ", @CompileTimeConstant = "false", @Image = "merchant", @Name = "merchant", @ParenthesisDepth = "0", @Parenthesized = "false"]
-         |           |  |  |                    +- VariableAccess[@AccessType = "READ", @CompileTimeConstant = "false", @Image = "month", @Name = "month", @ParenthesisDepth = "0", @Parenthesized = "false"]
-         |           |  |  +- ArgumentList[@Size = "1"]
-         |           |  |     +- LambdaExpression[@BlockBody = "false", @CompileTimeConstant = "false", @ExpressionBody = "true", @ParenthesisDepth = "0", @Parenthesized = "false"]
-         |           |  |        +- LambdaParameterList[@Size = "2"]
-         |           |  |        |  +- LambdaParameter[@EffectiveVisibility = "package", @Final = "false", @TypeInferred = "true", @Visibility = "package"]
-         |           |  |        |  |  +- ModifierList[@EffectiveModifiers = "{}", @ExplicitModifiers = "{}"]
-         |           |  |        |  |  +- VariableDeclaratorId[@ArrayType = "false", @EffectiveVisibility = "package", @EnumConstant = "false", @ExceptionBlockParameter = "false", @Field = "false", @Final = "false", @ForLoopVariable = "false", @ForeachVariable = "false", @FormalParameter = "true", @LambdaParameter = "true", @LocalVariable = "false", @Name = "m1", @PatternBinding = "false", @RecordComponent = "false", @ResourceDeclaration = "false", @TypeInferred = "true", @Visibility = "package"]
-         |           |  |        |  +- LambdaParameter[@EffectiveVisibility = "package", @Final = "false", @TypeInferred = "true", @Visibility = "package"]
-         |           |  |        |     +- ModifierList[@EffectiveModifiers = "{}", @ExplicitModifiers = "{}"]
-         |           |  |        |     +- VariableDeclaratorId[@ArrayType = "false", @EffectiveVisibility = "package", @EnumConstant = "false", @ExceptionBlockParameter = "false", @Field = "false", @Final = "false", @ForLoopVariable = "false", @ForeachVariable = "false", @FormalParameter = "true", @LambdaParameter = "true", @LocalVariable = "false", @Name = "m2", @PatternBinding = "false", @RecordComponent = "false", @ResourceDeclaration = "false", @TypeInferred = "true", @Visibility = "package"]
-         |           |  |        +- MethodCall[@CompileTimeConstant = "false", @Image = "compare", @MethodName = "compare", @ParenthesisDepth = "0", @Parenthesized = "false"]
-         |           |  |           +- TypeExpression[@CompileTimeConstant = "false", @ParenthesisDepth = "0", @Parenthesized = "false"]
-         |           |  |           |  +- ClassOrInterfaceType[@FullyQualified = "false", @SimpleName = "Double"]
-         |           |  |           +- ArgumentList[@Size = "2"]
-         |           |  |              +- MethodCall[@CompileTimeConstant = "false", @Image = "sales", @MethodName = "sales", @ParenthesisDepth = "0", @Parenthesized = "false"]
-         |           |  |              |  +- VariableAccess[@AccessType = "READ", @CompileTimeConstant = "false", @Image = "m2", @Name = "m2", @ParenthesisDepth = "0", @Parenthesized = "false"]
-         |           |  |              |  +- ArgumentList[@Size = "0"]
-         |           |  |              +- MethodCall[@CompileTimeConstant = "false", @Image = "sales", @MethodName = "sales", @ParenthesisDepth = "0", @Parenthesized = "false"]
-         |           |  |                 +- VariableAccess[@AccessType = "READ", @CompileTimeConstant = "false", @Image = "m1", @Name = "m1", @ParenthesisDepth = "0", @Parenthesized = "false"]
-         |           |  |                 +- ArgumentList[@Size = "0"]
-         |           |  +- ArgumentList[@Size = "1"]
-         |           |     +- MethodReference[@CompileTimeConstant = "false", @ConstructorReference = "false", @MethodName = "merchant", @ParenthesisDepth = "0", @Parenthesized = "false"]
-         |           |        +- TypeExpression[@CompileTimeConstant = "false", @ParenthesisDepth = "0", @Parenthesized = "false"]
-         |           |           +- ClassOrInterfaceType[@FullyQualified = "false", @SimpleName = "MerchantSales"]
-         |           +- ArgumentList[@Size = "1"]
-         |              +- MethodCall[@CompileTimeConstant = "false", @Image = "toList", @MethodName = "toList", @ParenthesisDepth = "0", @Parenthesized = "false"]
-         |                 +- TypeExpression[@CompileTimeConstant = "false", @ParenthesisDepth = "0", @Parenthesized = "false"]
-         |                 |  +- ClassOrInterfaceType[@FullyQualified = "false", @SimpleName = "Collectors"]
-         |                 +- ArgumentList[@Size = "0"]
-         +- MethodDeclaration[@Abstract = "false", @Arity = "0", @EffectiveVisibility = "package", @Image = "methodWithLocalRecordAndModifiers", @Name = "methodWithLocalRecordAndModifiers", @Overridden = "false", @Varargs = "false", @Visibility = "package", @Void = "true"]
-         |  +- ModifierList[@EffectiveModifiers = "{}", @ExplicitModifiers = "{}"]
-         |  +- VoidType[]
-         |  +- FormalParameters[@Size = "0"]
-         |  +- Block[@Size = "4", @containsComment = "false"]
-         |     +- LocalClassStatement[]
-         |     |  +- RecordDeclaration[@Abstract = "false", @Annotation = "false", @Anonymous = "false", @BinaryName = "LocalRecords$1MyRecord1", @CanonicalName = null, @EffectiveVisibility = "local", @Enum = "false", @Final = "true", @Interface = "false", @Local = "true", @Nested = "false", @PackageName = "", @Record = "true", @RegularClass = "false", @RegularInterface = "false", @SimpleName = "MyRecord1", @TopLevel = "false", @Visibility = "local"]
-         |     |     +- ModifierList[@EffectiveModifiers = "{static, final}", @ExplicitModifiers = "{final}"]
-         |     |     +- RecordComponentList[@Size = "1", @Varargs = "false"]
-         |     |     |  +- RecordComponent[@EffectiveVisibility = "local", @Varargs = "false", @Visibility = "private"]
-         |     |     |     +- ModifierList[@EffectiveModifiers = "{private, final}", @ExplicitModifiers = "{}"]
-         |     |     |     +- ClassOrInterfaceType[@FullyQualified = "false", @SimpleName = "String"]
-         |     |     |     +- VariableDeclaratorId[@ArrayType = "false", @EffectiveVisibility = "local", @EnumConstant = "false", @ExceptionBlockParameter = "false", @Field = "false", @Final = "true", @ForLoopVariable = "false", @ForeachVariable = "false", @FormalParameter = "false", @LambdaParameter = "false", @LocalVariable = "false", @Name = "a", @PatternBinding = "false", @RecordComponent = "true", @ResourceDeclaration = "false", @TypeInferred = "false", @Visibility = "private"]
-         |     |     +- RecordBody[@Size = "0"]
-         |     +- LocalClassStatement[]
-         |     |  +- RecordDeclaration[@Abstract = "false", @Annotation = "false", @Anonymous = "false", @BinaryName = "LocalRecords$1MyRecord2", @CanonicalName = null, @EffectiveVisibility = "local", @Enum = "false", @Final = "true", @Interface = "false", @Local = "true", @Nested = "false", @PackageName = "", @Record = "true", @RegularClass = "false", @RegularInterface = "false", @SimpleName = "MyRecord2", @TopLevel = "false", @Visibility = "local"]
-         |     |     +- ModifierList[@EffectiveModifiers = "{static, final}", @ExplicitModifiers = "{static, final}"]
-         |     |     +- RecordComponentList[@Size = "1", @Varargs = "false"]
-         |     |     |  +- RecordComponent[@EffectiveVisibility = "local", @Varargs = "false", @Visibility = "private"]
-         |     |     |     +- ModifierList[@EffectiveModifiers = "{private, final}", @ExplicitModifiers = "{}"]
-         |     |     |     +- ClassOrInterfaceType[@FullyQualified = "false", @SimpleName = "String"]
-         |     |     |     +- VariableDeclaratorId[@ArrayType = "false", @EffectiveVisibility = "local", @EnumConstant = "false", @ExceptionBlockParameter = "false", @Field = "false", @Final = "true", @ForLoopVariable = "false", @ForeachVariable = "false", @FormalParameter = "false", @LambdaParameter = "false", @LocalVariable = "false", @Name = "a", @PatternBinding = "false", @RecordComponent = "true", @ResourceDeclaration = "false", @TypeInferred = "false", @Visibility = "private"]
-         |     |     +- RecordBody[@Size = "0"]
-         |     +- LocalClassStatement[]
-         |     |  +- RecordDeclaration[@Abstract = "false", @Annotation = "false", @Anonymous = "false", @BinaryName = "LocalRecords$1MyRecord3", @CanonicalName = null, @EffectiveVisibility = "local", @Enum = "false", @Final = "true", @Interface = "false", @Local = "true", @Nested = "false", @PackageName = "", @Record = "true", @RegularClass = "false", @RegularInterface = "false", @SimpleName = "MyRecord3", @TopLevel = "false", @Visibility = "local"]
-         |     |     +- ModifierList[@EffectiveModifiers = "{static, final}", @ExplicitModifiers = "{}"]
-         |     |     |  +- Annotation[@SimpleName = "Deprecated"]
-         |     |     |     +- ClassOrInterfaceType[@FullyQualified = "false", @SimpleName = "Deprecated"]
-         |     |     +- RecordComponentList[@Size = "1", @Varargs = "false"]
-         |     |     |  +- RecordComponent[@EffectiveVisibility = "local", @Varargs = "false", @Visibility = "private"]
-         |     |     |     +- ModifierList[@EffectiveModifiers = "{private, final}", @ExplicitModifiers = "{}"]
-         |     |     |     +- ClassOrInterfaceType[@FullyQualified = "false", @SimpleName = "String"]
-         |     |     |     +- VariableDeclaratorId[@ArrayType = "false", @EffectiveVisibility = "local", @EnumConstant = "false", @ExceptionBlockParameter = "false", @Field = "false", @Final = "true", @ForLoopVariable = "false", @ForeachVariable = "false", @FormalParameter = "false", @LambdaParameter = "false", @LocalVariable = "false", @Name = "a", @PatternBinding = "false", @RecordComponent = "true", @ResourceDeclaration = "false", @TypeInferred = "false", @Visibility = "private"]
-         |     |     +- RecordBody[@Size = "0"]
-         |     +- LocalClassStatement[]
-         |        +- RecordDeclaration[@Abstract = "false", @Annotation = "false", @Anonymous = "false", @BinaryName = "LocalRecords$1MyRecord4", @CanonicalName = null, @EffectiveVisibility = "local", @Enum = "false", @Final = "true", @Interface = "false", @Local = "true", @Nested = "false", @PackageName = "", @Record = "true", @RegularClass = "false", @RegularInterface = "false", @SimpleName = "MyRecord4", @TopLevel = "false", @Visibility = "local"]
-         |           +- ModifierList[@EffectiveModifiers = "{static, final}", @ExplicitModifiers = "{static, final}"]
-         |           |  +- Annotation[@SimpleName = "Deprecated"]
-         |           |     +- ClassOrInterfaceType[@FullyQualified = "false", @SimpleName = "Deprecated"]
-         |           +- RecordComponentList[@Size = "1", @Varargs = "false"]
-         |           |  +- RecordComponent[@EffectiveVisibility = "local", @Varargs = "false", @Visibility = "private"]
-         |           |     +- ModifierList[@EffectiveModifiers = "{private, final}", @ExplicitModifiers = "{}"]
-         |           |     +- ClassOrInterfaceType[@FullyQualified = "false", @SimpleName = "String"]
-         |           |     +- VariableDeclaratorId[@ArrayType = "false", @EffectiveVisibility = "local", @EnumConstant = "false", @ExceptionBlockParameter = "false", @Field = "false", @Final = "true", @ForLoopVariable = "false", @ForeachVariable = "false", @FormalParameter = "false", @LambdaParameter = "false", @LocalVariable = "false", @Name = "a", @PatternBinding = "false", @RecordComponent = "true", @ResourceDeclaration = "false", @TypeInferred = "false", @Visibility = "private"]
-         |           +- RecordBody[@Size = "0"]
-         +- MethodDeclaration[@Abstract = "false", @Arity = "0", @EffectiveVisibility = "package", @Image = "statementThatStartsWithRecordAsRegularIdent", @Name = "statementThatStartsWithRecordAsRegularIdent", @Overridden = "false", @Varargs = "false", @Visibility = "package", @Void = "true"]
-         |  +- ModifierList[@EffectiveModifiers = "{}", @ExplicitModifiers = "{}"]
-         |  +- VoidType[]
-         |  +- FormalParameters[@Size = "0"]
-         |  +- Block[@Size = "2", @containsComment = "false"]
-         |     +- LocalVariableDeclaration[@EffectiveVisibility = "local", @Final = "true", @TypeInferred = "false", @Visibility = "local"]
-         |     |  +- ModifierList[@EffectiveModifiers = "{final}", @ExplicitModifiers = "{final}"]
-         |     |  +- ClassOrInterfaceType[@FullyQualified = "false", @SimpleName = "Map"]
-         |     |  |  +- TypeArguments[@Diamond = "false", @Size = "2"]
-         |     |  |     +- ClassOrInterfaceType[@FullyQualified = "false", @SimpleName = "String"]
-         |     |  |     +- ClassOrInterfaceType[@FullyQualified = "false", @SimpleName = "String"]
-         |     |  +- VariableDeclarator[@Initializer = "true", @Name = "record"]
-         |     |     +- VariableDeclaratorId[@ArrayType = "false", @EffectiveVisibility = "local", @EnumConstant = "false", @ExceptionBlockParameter = "false", @Field = "false", @Final = "true", @ForLoopVariable = "false", @ForeachVariable = "false", @FormalParameter = "false", @LambdaParameter = "false", @LocalVariable = "true", @Name = "record", @PatternBinding = "false", @RecordComponent = "false", @ResourceDeclaration = "false", @TypeInferred = "false", @Visibility = "local"]
-         |     |     +- ConstructorCall[@AnonymousClass = "false", @CompileTimeConstant = "false", @DiamondTypeArgs = "true", @MethodName = "new", @ParenthesisDepth = "0", @Parenthesized = "false", @QualifiedInstanceCreation = "false"]
-         |     |        +- ClassOrInterfaceType[@FullyQualified = "false", @SimpleName = "HashMap"]
-         |     |        |  +- TypeArguments[@Diamond = "true", @Size = "0"]
-         |     |        +- ArgumentList[@Size = "0"]
-         |     +- ExpressionStatement[]
-         |        +- MethodCall[@CompileTimeConstant = "false", @Image = "put", @MethodName = "put", @ParenthesisDepth = "0", @Parenthesized = "false"]
-         |           +- VariableAccess[@AccessType = "READ", @CompileTimeConstant = "false", @Image = "record", @Name = "record", @ParenthesisDepth = "0", @Parenthesized = "false"]
-         |           +- ArgumentList[@Size = "2"]
-         |              +- StringLiteral[@CompileTimeConstant = "true", @ConstValue = "key", @Empty = "false", @Image = "\"key\"", @Length = "3", @ParenthesisDepth = "0", @Parenthesized = "false", @TextBlock = "false"]
-         |              +- StringLiteral[@CompileTimeConstant = "true", @ConstValue = "value", @Empty = "false", @Image = "\"value\"", @Length = "5", @ParenthesisDepth = "0", @Parenthesized = "false", @TextBlock = "false"]
-         +- MethodDeclaration[@Abstract = "false", @Arity = "0", @EffectiveVisibility = "package", @Image = "methodWithLocalClass", @Name = "methodWithLocalClass", @Overridden = "false", @Varargs = "false", @Visibility = "package", @Void = "true"]
-         |  +- ModifierList[@EffectiveModifiers = "{}", @ExplicitModifiers = "{}"]
-         |  +- VoidType[]
-         |  +- FormalParameters[@Size = "0"]
-         |  +- Block[@Size = "1", @containsComment = "false"]
-         |     +- LocalClassStatement[]
-         |        +- ClassOrInterfaceDeclaration[@Abstract = "false", @Annotation = "false", @Anonymous = "false", @BinaryName = "LocalRecords$1MyLocalClass", @CanonicalName = null, @EffectiveVisibility = "local", @Enum = "false", @Final = "false", @Interface = "false", @Local = "true", @Nested = "false", @PackageName = "", @PackagePrivate = "false", @Record = "false", @RegularClass = "true", @RegularInterface = "false", @SimpleName = "MyLocalClass", @TopLevel = "false", @Visibility = "local"]
-         |           +- ModifierList[@EffectiveModifiers = "{}", @ExplicitModifiers = "{}"]
-         |           +- ClassOrInterfaceBody[@Size = "0"]
-         +- MethodDeclaration[@Abstract = "false", @Arity = "0", @EffectiveVisibility = "package", @Image = "methodWithLocalVarsNamedSealed", @Name = "methodWithLocalVarsNamedSealed", @Overridden = "false", @Varargs = "false", @Visibility = "package", @Void = "true"]
-            +- ModifierList[@EffectiveModifiers = "{}", @ExplicitModifiers = "{}"]
-            +- VoidType[]
-            +- FormalParameters[@Size = "0"]
-            +- Block[@Size = "5", @containsComment = "false"]
-               +- LocalVariableDeclaration[@EffectiveVisibility = "local", @Final = "false", @TypeInferred = "false", @Visibility = "local"]
-               |  +- ModifierList[@EffectiveModifiers = "{}", @ExplicitModifiers = "{}"]
-               |  +- PrimitiveType[@Kind = "int"]
-               |  +- VariableDeclarator[@Initializer = "true", @Name = "result"]
-               |     +- VariableDeclaratorId[@ArrayType = "false", @EffectiveVisibility = "local", @EnumConstant = "false", @ExceptionBlockParameter = "false", @Field = "false", @Final = "false", @ForLoopVariable = "false", @ForeachVariable = "false", @FormalParameter = "false", @LambdaParameter = "false", @LocalVariable = "true", @Name = "result", @PatternBinding = "false", @RecordComponent = "false", @ResourceDeclaration = "false", @TypeInferred = "false", @Visibility = "local"]
-               |     +- NumericLiteral[@Base = "10", @CompileTimeConstant = "true", @DoubleLiteral = "false", @FloatLiteral = "false", @Image = "0", @IntLiteral = "true", @Integral = "true", @LongLiteral = "false", @ParenthesisDepth = "0", @Parenthesized = "false", @ValueAsDouble = "0.0", @ValueAsFloat = "0.0", @ValueAsInt = "0", @ValueAsLong = "0"]
-               +- LocalVariableDeclaration[@EffectiveVisibility = "local", @Final = "false", @TypeInferred = "false", @Visibility = "local"]
-               |  +- ModifierList[@EffectiveModifiers = "{}", @ExplicitModifiers = "{}"]
-               |  +- PrimitiveType[@Kind = "int"]
-               |  +- VariableDeclarator[@Initializer = "true", @Name = "non"]
-               |     +- VariableDeclaratorId[@ArrayType = "false", @EffectiveVisibility = "local", @EnumConstant = "false", @ExceptionBlockParameter = "false", @Field = "false", @Final = "false", @ForLoopVariable = "false", @ForeachVariable = "false", @FormalParameter = "false", @LambdaParameter = "false", @LocalVariable = "true", @Name = "non", @PatternBinding = "false", @RecordComponent = "false", @ResourceDeclaration = "false", @TypeInferred = "false", @Visibility = "local"]
-               |     +- NumericLiteral[@Base = "10", @CompileTimeConstant = "true", @DoubleLiteral = "false", @FloatLiteral = "false", @Image = "1", @IntLiteral = "true", @Integral = "true", @LongLiteral = "false", @ParenthesisDepth = "0", @Parenthesized = "false", @ValueAsDouble = "1.0", @ValueAsFloat = "1.0", @ValueAsInt = "1", @ValueAsLong = "1"]
-               +- LocalVariableDeclaration[@EffectiveVisibility = "local", @Final = "false", @TypeInferred = "false", @Visibility = "local"]
-               |  +- ModifierList[@EffectiveModifiers = "{}", @ExplicitModifiers = "{}"]
-               |  +- PrimitiveType[@Kind = "int"]
-               |  +- VariableDeclarator[@Initializer = "true", @Name = "sealed"]
-               |     +- VariableDeclaratorId[@ArrayType = "false", @EffectiveVisibility = "local", @EnumConstant = "false", @ExceptionBlockParameter = "false", @Field = "false", @Final = "false", @ForLoopVariable = "false", @ForeachVariable = "false", @FormalParameter = "false", @LambdaParameter = "false", @LocalVariable = "true", @Name = "sealed", @PatternBinding = "false", @RecordComponent = "false", @ResourceDeclaration = "false", @TypeInferred = "false", @Visibility = "local"]
-               |     +- NumericLiteral[@Base = "10", @CompileTimeConstant = "true", @DoubleLiteral = "false", @FloatLiteral = "false", @Image = "2", @IntLiteral = "true", @Integral = "true", @LongLiteral = "false", @ParenthesisDepth = "0", @Parenthesized = "false", @ValueAsDouble = "2.0", @ValueAsFloat = "2.0", @ValueAsInt = "2", @ValueAsLong = "2"]
-               +- ExpressionStatement[]
-               |  +- AssignmentExpression[@CompileTimeConstant = "false", @Compound = "false", @Operator = "=", @ParenthesisDepth = "0", @Parenthesized = "false"]
-               |     +- VariableAccess[@AccessType = "WRITE", @CompileTimeConstant = "false", @Image = "result", @Name = "result", @ParenthesisDepth = "0", @Parenthesized = "false"]
-               |     +- InfixExpression[@CompileTimeConstant = "false", @Operator = "-", @ParenthesisDepth = "0", @Parenthesized = "false"]
-               |        +- VariableAccess[@AccessType = "READ", @CompileTimeConstant = "false", @Image = "non", @Name = "non", @ParenthesisDepth = "0", @Parenthesized = "false"]
-               |        +- VariableAccess[@AccessType = "READ", @CompileTimeConstant = "false", @Image = "sealed", @Name = "sealed", @ParenthesisDepth = "0", @Parenthesized = "false"]
-               +- ExpressionStatement[]
-                  +- MethodCall[@CompileTimeConstant = "false", @Image = "println", @MethodName = "println", @ParenthesisDepth = "0", @Parenthesized = "false"]
-                     +- FieldAccess[@AccessType = "READ", @CompileTimeConstant = "false", @Image = "out", @Name = "out", @ParenthesisDepth = "0", @Parenthesized = "false"]
-                     |  +- TypeExpression[@CompileTimeConstant = "false", @ParenthesisDepth = "0", @Parenthesized = "false"]
-                     |     +- ClassOrInterfaceType[@FullyQualified = "false", @SimpleName = "System"]
-                     +- ArgumentList[@Size = "1"]
-                        +- VariableAccess[@AccessType = "READ", @CompileTimeConstant = "false", @Image = "result", @Name = "result", @ParenthesisDepth = "0", @Parenthesized = "false"]