blob: 61c5bc43829daf067dc738913b8d43884a390afa (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
package org.javacs;
import java.io.File;
import java.lang.System;
import java.util.Optional;
import java.nio.file.*;
class Lib {
static Optional<Path> srcZipPath() {
return Optional.ofNullable(System.getenv("JAVA_HOME"))
.flatMap(home -> Optional.of(Paths.get(home).resolve("lib/src.zip")))
.flatMap(path -> {
if (path.toFile().exists()) {
return Optional.of(path);
} else {
return Optional.empty();
}
});
}
static final Optional<Path> SRC_ZIP = srcZipPath();
}
|