aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorMichael Williamson <mike@zwobble.org>2024-05-12 20:11:37 +0100
committerMichael Williamson <mike@zwobble.org>2024-05-12 20:11:37 +0100
commit550db1d4de555949a27c001235c9ea82d1cfcaad (patch)
treee4086133f9be6e7c8ddadf7f21a0e7d95efa5ef1 /src
parent59841f623b8afb1c13acde8cb01b2a1bed0dff67 (diff)
Check that JRE path exists
Diffstat (limited to 'src')
-rw-r--r--src/main/java/org/zwobble/couscous/frontends/java/JavaParser.java8
1 files changed, 6 insertions, 2 deletions
diff --git a/src/main/java/org/zwobble/couscous/frontends/java/JavaParser.java b/src/main/java/org/zwobble/couscous/frontends/java/JavaParser.java
index c8321b4..40cf7d6 100644
--- a/src/main/java/org/zwobble/couscous/frontends/java/JavaParser.java
+++ b/src/main/java/org/zwobble/couscous/frontends/java/JavaParser.java
@@ -53,7 +53,11 @@ public class JavaParser {
return (CompilationUnit)parser.createAST(null);
}
- private String jrePath(String path) {
- return Paths.get("/usr/lib/jvm/java-8-openjdk-amd64/jre", path).toString();
+ private String jrePath(String relativePath) {
+ Path fullPath = Paths.get("/usr/lib/jvm/java-8-openjdk-amd64/jre", relativePath);
+ if (!fullPath.toFile().exists()) {
+ throw new RuntimeException("Missing JRE file: " + fullPath);
+ }
+ return fullPath.toString();
}
}