From 93e3bd515e5244a2d365862f07aaf7a449b6d510 Mon Sep 17 00:00:00 2001 From: Alexander Kriegisch Date: Sat, 2 Oct 2021 13:55:59 +0200 Subject: Update ECJ version, activate Java 17 preview features tests After JDT Core (ECJ) was updated to the final Java 17 feature set, the tests now pass as expected. Signed-off-by: Alexander Kriegisch --- .../ajc198/Java17PreviewFeaturesTests.java | 22 ++++++++-------------- 1 file changed, 8 insertions(+), 14 deletions(-) (limited to 'tests/src/test/java/org/aspectj') diff --git a/tests/src/test/java/org/aspectj/systemtest/ajc198/Java17PreviewFeaturesTests.java b/tests/src/test/java/org/aspectj/systemtest/ajc198/Java17PreviewFeaturesTests.java index e17ae26d6..c1b0f8c44 100644 --- a/tests/src/test/java/org/aspectj/systemtest/ajc198/Java17PreviewFeaturesTests.java +++ b/tests/src/test/java/org/aspectj/systemtest/ajc198/Java17PreviewFeaturesTests.java @@ -18,26 +18,20 @@ import org.aspectj.testing.XMLBasedAjcTestCaseForJava17Only; public class Java17PreviewFeaturesTests extends XMLBasedAjcTestCaseForJava17Only { public void testSwitchPatternMatchingCaseLabelDominatedByPrecedingError() { - // TODO: JDT Core does not support detecting type domination detection in the development version yet -> activate when available - System.out.println("TODO: JDT Core does not support detecting type domination detection in the development version yet -> activate when available"); -// runTest("switch pattern matching error"); + runTest("switch pattern matching error"); } public void testSwitchPatternMatchingJava() { - // TODO: JDT Core does not support sealed class coverage in the development version yet -> activate when available - System.out.println("TODO: JDT Core does not support sealed class coverage in the development version yet -> activate when available"); -// runTest("switch pattern matching java"); -// checkVersion("SwitchPatternOK", Constants.MAJOR_17, Constants.PREVIEW_MINOR_VERSION); + runTest("switch pattern matching java"); + checkVersion("SwitchPatternOK", Constants.MAJOR_17, Constants.PREVIEW_MINOR_VERSION); } public void testSwitchPatternMatchingAspect() { - // TODO: JDT Core does not support sealed class coverage in the development version yet -> activate when available - System.out.println("TODO: JDT Core does not support sealed class coverage in the development version yet -> activate when available"); -// runTest("switch pattern matching aspect"); -// checkVersion("SwitchPatternAspect", Constants.MAJOR_17, Constants.PREVIEW_MINOR_VERSION); -// checkVersion("Application", Constants.MAJOR_17, Constants.PREVIEW_MINOR_VERSION); -// checkVersion("Shape", Constants.MAJOR_17, Constants.PREVIEW_MINOR_VERSION); -// checkVersion("S", Constants.MAJOR_17, Constants.PREVIEW_MINOR_VERSION); + runTest("switch pattern matching aspect"); + checkVersion("SwitchPatternAspect", Constants.MAJOR_17, Constants.PREVIEW_MINOR_VERSION); + checkVersion("Application", Constants.MAJOR_17, Constants.PREVIEW_MINOR_VERSION); + checkVersion("Shape", Constants.MAJOR_17, Constants.PREVIEW_MINOR_VERSION); + checkVersion("S", Constants.MAJOR_17, Constants.PREVIEW_MINOR_VERSION); } public static Test suite() { -- cgit v1.2.3