From 4727b692c45aa2004be287d6c23748bc4b055035 Mon Sep 17 00:00:00 2001 From: Ricardo Costa Date: Mon, 24 Nov 2025 20:06:34 +0000 Subject: [PATCH] Fix Java Compilation Warning --- .../main/java/liquidjava/api/CommandLineLauncher.java | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/liquidjava-verifier/src/main/java/liquidjava/api/CommandLineLauncher.java b/liquidjava-verifier/src/main/java/liquidjava/api/CommandLineLauncher.java index e7efeff6..b664ced6 100644 --- a/liquidjava-verifier/src/main/java/liquidjava/api/CommandLineLauncher.java +++ b/liquidjava-verifier/src/main/java/liquidjava/api/CommandLineLauncher.java @@ -9,6 +9,7 @@ import liquidjava.diagnostics.warnings.CustomWarning; import liquidjava.processor.RefinementProcessor; import spoon.Launcher; +import spoon.compiler.Environment; import spoon.processing.ProcessingManager; import spoon.reflect.declaration.CtPackage; import spoon.reflect.factory.Factory; @@ -53,12 +54,14 @@ public static void launch(String... paths) { } launcher.addInputResource(path); } - launcher.getEnvironment().setNoClasspath(true); - launcher.getEnvironment().setComplianceLevel(8); + + Environment env = launcher.getEnvironment(); + env.setNoClasspath(true); + env.setComplianceLevel(8); boolean buildSuccess = launcher.getModelBuilder().build(); - if (!buildSuccess) { - diagnostics.add(new CustomWarning("Java compilation error detected. Verification might be affected.")); + if (!buildSuccess && (env.getErrorCount() > 0 || env.getWarningCount() > 0)) { + diagnostics.add(new CustomWarning("Java compilation encountered issues. Verification may be affected.")); } final Factory factory = launcher.getFactory();