From 70f3c09bcdd80f682b098f22da8b6285211e46da Mon Sep 17 00:00:00 2001
From: Alexander Kriegisch <Alexander@Kriegisch.name>
Date: Sun, 5 Nov 2023 10:03:23 +0700
Subject: Enable some tests after J19 problems were fixed for J21

Two test classes which had redundant default clauses for switch with
record patterns were copied from the java19 to the java21 directory and
the redundant clauses deactivated, i.e. the test now run as originally
intended. For older JDK versions, the old tests still stay active in
order to document the old state of affairs.

Signed-off-by: Alexander Kriegisch <Alexander@Kriegisch.name>
---
 .../aspectj/systemtest/ajc1921/Ajc1921TestsJava.java | 20 +++++++-------------
 .../org/aspectj/systemtest/ajc1921/ajc1921.xml       |  5 ++---
 2 files changed, 9 insertions(+), 16 deletions(-)

(limited to 'tests/src')

diff --git a/tests/src/test/java/org/aspectj/systemtest/ajc1921/Ajc1921TestsJava.java b/tests/src/test/java/org/aspectj/systemtest/ajc1921/Ajc1921TestsJava.java
index 20efe1723..b0eaf3939 100644
--- a/tests/src/test/java/org/aspectj/systemtest/ajc1921/Ajc1921TestsJava.java
+++ b/tests/src/test/java/org/aspectj/systemtest/ajc1921/Ajc1921TestsJava.java
@@ -59,10 +59,8 @@ public class Ajc1921TestsJava extends XMLBasedAjcTestCaseForJava21OrLater {
   }
 
   public void testRecordPatternsPreview1ExhaustivenessOK1() {
-    // Falsely throws 'An enhanced switch statement should be exhaustive; a default label expected' twice,
-    // see https://github.com/eclipse-jdt/eclipse.jdt.core/issues/455
-    // TODO: Remove redundant default clauses when fixed upstream
-    System.out.println("TODO: fully activate when https://github.com/eclipse-jdt/eclipse.jdt.core/issues/455 has been fixed");
+    // Used to falsely throw 'An enhanced switch statement should be exhaustive; a default label expected' twice,
+    // see https://github.com/eclipse-jdt/eclipse.jdt.core/issues/455. Fixed in Java 21.
     runTest("record patterns exhaustiveness 1");
   }
 
@@ -71,10 +69,8 @@ public class Ajc1921TestsJava extends XMLBasedAjcTestCaseForJava21OrLater {
   }
 
   public void testRecordPatternsPreview1ExhaustivenessAspect() {
-    // Falsely throws 'An enhanced switch statement should be exhaustive; a default label expected' twice,
-    // see https://github.com/eclipse-jdt/eclipse.jdt.core/issues/455
-    // TODO: Remove redundant default clauses when fixed upstream
-    System.out.println("TODO: fully activate when https://github.com/eclipse-jdt/eclipse.jdt.core/issues/455 has been fixed");
+    // Used to falsely throw 'An enhanced switch statement should be exhaustive; a default label expected' twice,
+    // see https://github.com/eclipse-jdt/eclipse.jdt.core/issues/455. Fixed in Java 21.
     runTest("record patterns exhaustiveness aspect");
   }
 
@@ -84,11 +80,9 @@ public class Ajc1921TestsJava extends XMLBasedAjcTestCaseForJava21OrLater {
   }
 
   public void testRecordPatternsPreview1ExhaustivenessOK2() {
-    // Falsely throws 'An enhanced switch statement should be exhaustive; a default label expected',
-    // see https://github.com/eclipse-jdt/eclipse.jdt.core/issues/398
-    // TODO: activate when fixed
-    System.out.println("TODO: activate when https://github.com/eclipse-jdt/eclipse.jdt.core/issues/398 has been fixed");
-    //runTest("record patterns exhaustiveness 2");
+    // Used to falsely throw 'An enhanced switch statement should be exhaustive; a default label expected',
+    // see https://github.com/eclipse-jdt/eclipse.jdt.core/issues/398. Fixed in Java 21.
+    runTest("record patterns exhaustiveness 2");
   }
 
   public static Test suite() {
diff --git a/tests/src/test/resources/org/aspectj/systemtest/ajc1921/ajc1921.xml b/tests/src/test/resources/org/aspectj/systemtest/ajc1921/ajc1921.xml
index 73f2bdf5b..ec4682216 100644
--- a/tests/src/test/resources/org/aspectj/systemtest/ajc1921/ajc1921.xml
+++ b/tests/src/test/resources/org/aspectj/systemtest/ajc1921/ajc1921.xml
@@ -139,7 +139,7 @@
 	</ajc-test>
 
 	<!-- Java 21 final, Java 19, 20 preview -->
-	<ajc-test dir="features1919/java19" vm="21" title="record patterns exhaustiveness 1">
+	<ajc-test dir="features1921/java21" vm="21" title="record patterns exhaustiveness 1">
 		<compile files="RecordPatternsPreview1ExhaustivenessOK1.java" options="-21"/>
 		<run class="RecordPatternsPreview1ExhaustivenessOK1" vmargs="">
 			<stdout>
@@ -150,9 +150,8 @@
 	</ajc-test>
 
 	<!-- Java 21 final, Java 19, 20 preview -->
-	<ajc-test dir="features1919/java19" vm="21" title="record patterns exhaustiveness aspect">
+	<ajc-test dir="features1921/java21" vm="21" title="record patterns exhaustiveness aspect">
 		<compile files="RecordPatternsPreview1ExhaustivenessAspect.aj" options="-21"/>
-		<!-- TODO: Remove redundant default clauses when https://github.com/eclipse-jdt/eclipse.jdt.core/issues/455 has been fixed -->
 		<run class="RecordPatternsPreview1ExhaustivenessAspect" vmargs="">
 			<stdout>
 				<line text="y"/>
-- 
cgit v1.2.3