diff options
| author | Michael Williamson <mike@zwobble.org> | 2024-05-12 20:11:37 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2024-05-12 20:11:37 +0100 |
| commit | 550db1d4de555949a27c001235c9ea82d1cfcaad (patch) | |
| tree | e4086133f9be6e7c8ddadf7f21a0e7d95efa5ef1 /src | |
| parent | 59841f623b8afb1c13acde8cb01b2a1bed0dff67 (diff) | |
Check that JRE path exists
Diffstat (limited to 'src')
| -rw-r--r-- | src/main/java/org/zwobble/couscous/frontends/java/JavaParser.java | 8 |
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(); } } |
