Skip to content

Commit 9f3cd0a

Browse files
committed
Check Java Compilation Before Verification
This approach is not ideal since a compilation error in a single file causes the whole verification to be skipped for the whole directory.
1 parent 08af804 commit 9f3cd0a

File tree

1 file changed

+6
-1
lines changed

1 file changed

+6
-1
lines changed

liquidjava-verifier/src/main/java/liquidjava/api/CommandLineLauncher.java

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -54,7 +54,12 @@ public static void launch(String... paths) {
5454
}
5555
launcher.getEnvironment().setNoClasspath(true);
5656
launcher.getEnvironment().setComplianceLevel(8);
57-
launcher.run();
57+
58+
boolean buildSuccess = launcher.getModelBuilder().build();
59+
if (!buildSuccess) {
60+
diagnostics.add(new CustomError("Java compilation error detected. Skipping verification."));
61+
return;
62+
}
5863

5964
final Factory factory = launcher.getFactory();
6065
final ProcessingManager processingManager = new QueueProcessingManager(factory);

0 commit comments

Comments
 (0)