[jdk19] Add support for new guard pattern

src/delombok/lombok/delombok/PrettyPrinter.java

@@ -1452,6 +1452,15 @@ public class PrettyPrinter extends JCTree.Visitor {
 		print((JCTree) readObject(tree, "expr", null));
 	}
 	
+	void printPatternCaseLabel(JCTree tree) {
+		print((JCTree) readObject(tree, "pat", null));
+		JCTree guard = readObject(tree, "guard", null);
+		if (guard != null) {
+			print(" when ");
+			print(guard);
+		}
+	}
+	
 	@Override public void visitTry(JCTry tree) {
 		aPrint("try ");
 		List<?> resources = readObject(tree, "resources", List.nil());
@@ -1678,6 +1687,8 @@ public class PrettyPrinter extends JCTree.Visitor {
 			printParenthesizedPattern(tree);
 		} else if (className.endsWith("$JCConstantCaseLabel")) { // Introduced in JDK19
 			printConstantCaseLabel(tree);
+		} else if (className.endsWith("$JCPatternCaseLabel")) { // Introduced in JDK19
+			printPatternCaseLabel(tree);
 		} else {
 			throw new AssertionError("Unhandled tree type: " + tree.getClass() + ": " + tree);
 		}

test/pretty/resource/after/Switch19.java

@@ -0,0 +1,32 @@
+public class Switch19 {
+	String switchPatternMatching(Object o) {
+		return switch (o) {
+			case Integer i -> String.format("int %d", i);
+			case Long l -> String.format("long %d", l);
+			case Double d -> String.format("double %f", d);
+			case String s -> String.format("String %s", s);
+			default -> o.toString();
+		};
+	}
+
+	String switchNull(Object o) {
+		return switch (o) {
+			case null, default -> "?";
+		};
+	}
+
+	String switchGuardPattern(Object o) {
+		return switch (o) {
+			case String s when s.length() > 1 -> s;
+			case String s -> s;
+			default -> o.toString();
+		};
+	}
+
+	String switchParenthesizedPattern(Object o) {
+		return switch (o) {
+			case (String s) -> s;
+			default -> o.toString();
+		};
+	}
+}

test/pretty/resource/before/Switch17.java

@@ -1,4 +1,4 @@
-// version 17:
+// version 17:18
 public class Switch17 {
 	String switchPatternMatching(Object o) {
 		return switch (o) {

test/pretty/resource/before/Switch19.java

@@ -0,0 +1,33 @@
+// version 19:
+public class Switch19 {
+	String switchPatternMatching(Object o) {
+		return switch (o) {
+			case Integer i	-> String.format("int %d", i);
+			case Long l		-> String.format("long %d", l);
+			case Double d	-> String.format("double %f", d);
+			case String s	-> String.format("String %s", s);
+			default			-> o.toString();
+		};
+	}
+
+	String switchNull(Object o) {
+		return switch (o) {
+			case null, default	-> "?";
+		};
+	}
+
+	String switchGuardPattern(Object o) {
+		return switch (o) {
+			case String s when s.length() > 1	-> s;
+			case String s 						-> s;
+			default								-> o.toString();
+		};
+	}
+
+	String switchParenthesizedPattern(Object o) {
+		return switch (o) {
+			case (String s)	-> s;
+			default			-> o.toString();
+		};
+	}
+}