package java.lang;
import java.io.PrintStream;
import java.util.Arrays;
import java.util.List;
import java.util.Map;
import java.util.Optional;
class VersionProps {
private static final String launcher_name =
"openjdk";
private static final String java_version =
"14.0.2-internal";
private static final String java_version_date =
"2020-07-14";
private static final String java_runtime_name =
"OpenJDK Runtime Environment";
private static final String java_runtime_version =
"14.0.2-internal+0-adhoc.jenkins.jdk-updatesjdk14u";
private static final String VERSION_NUMBER =
"14.0.2";
private static final String VERSION_SPECIFICATION =
"14";
private static final String VERSION_BUILD =
"0";
private static final String VERSION_PRE =
"internal";
private static final String VERSION_OPT =
"adhoc.jenkins.jdk-updatesjdk14u";
private static final boolean isLTS =
"adhoc.jenkins.jdk-updatesjdk14u".startsWith("LTS");
private static final String CLASSFILE_MAJOR_MINOR =
"58.0";
private static final String VENDOR =
"N/A";
private static final String VENDOR_URL =
"https://openjdk.java.net/";
private static String VENDOR_VERSION =
"";
private static String VENDOR_URL_BUG =
"https://bugreport.java.com/bugreport/";
private static String VENDOR_URL_VM_BUG =
"https://bugreport.java.com/bugreport/crash.jsp";
public static void init(Map<String, String> props) {
props.put("java.version", java_version);
props.put("java.version.date", java_version_date);
props.put("java.runtime.version", java_runtime_version);
props.put("java.runtime.name", java_runtime_name);
if (!VENDOR_VERSION.isEmpty())
props.put("java.vendor.version", VENDOR_VERSION);
props.put("java.class.version", CLASSFILE_MAJOR_MINOR);
props.put("java.specification.version", VERSION_SPECIFICATION);
props.put("java.specification.name", "Java Platform API Specification");
props.put("java.specification.vendor", "Oracle Corporation");
props.put("java.vendor", VENDOR);
props.put("java.vendor.url", VENDOR_URL);
props.put("java.vendor.url.bug", VENDOR_URL_BUG);
}
private static int parseVersionNumber(String version, int prevIndex, int index) {
if (index - prevIndex > 1 &&
Character.digit(version.charAt(prevIndex), 10) <= 0)
throw new IllegalArgumentException("Leading zeros not supported (" +
version.substring(prevIndex, index) + ")");
return Integer.parseInt(version, prevIndex, index, 10);
}
static List<Integer> parseVersionNumbers(String version) {
int size = 0;
int prevIndex = 0;
do {
prevIndex = version.indexOf('.', prevIndex) + 1;
size++;
} while (prevIndex > 0);
Integer[] verNumbers = new Integer[size];
int n = 0;
prevIndex = 0;
int index = version.indexOf('.');
while (index > -1) {
verNumbers[n] = parseVersionNumber(version, prevIndex, index);
prevIndex = index + 1;
index = version.indexOf('.', prevIndex);
n++;
}
verNumbers[n] = parseVersionNumber(version, prevIndex, version.length());
if (verNumbers[0] == 0 || verNumbers[n] == 0)
throw new IllegalArgumentException("Leading/trailing zeros not allowed (" +
Arrays.toString(verNumbers) + ")");
return List.of(verNumbers);
}
static List<Integer> versionNumbers() {
return parseVersionNumbers(VERSION_NUMBER);
}
static Optional<String> pre() {
return optionalOf(VERSION_PRE);
}
static Optional<Integer> build() {
return VERSION_BUILD.isEmpty() ?
Optional.empty() :
Optional.of(Integer.parseInt(VERSION_BUILD));
}
static Optional<String> optional() {
return optionalOf(VERSION_OPT);
}
private static Optional<String> optionalOf(String value) {
if (!value.isEmpty()) {
return Optional.of(value);
} else {
return Optional.empty();
}
}
public static void print(boolean err) {
print(err, false);
}
public static void println(boolean err) {
print(err, true);
}
private static void print(boolean err, boolean newln) {
PrintStream ps = err ? System.err : System.out;
if (err) {
ps.println(launcher_name + " version \"" + java_version + "\""
+ " " + java_version_date
+ (isLTS ? " LTS" : ""));
} else {
ps.println(launcher_name + " " + java_version
+ " " + java_version_date
+ (isLTS ? " LTS" : ""));
}
String jdk_debug_level = System.getProperty("jdk.debug", "release");
if ("release".equals(jdk_debug_level)) {
jdk_debug_level = "";
} else {
jdk_debug_level = jdk_debug_level + " ";
}
String vendor_version = (VENDOR_VERSION.isEmpty()
? "" : " " + VENDOR_VERSION);
ps.println(java_runtime_name + vendor_version
+ " (" + jdk_debug_level + "build " + java_runtime_version + ")");
String java_vm_name = System.getProperty("java.vm.name");
String java_vm_version = System.getProperty("java.vm.version");
String java_vm_info = System.getProperty("java.vm.info");
ps.println(java_vm_name + vendor_version
+ " (" + jdk_debug_level + "build " + java_vm_version + ", "
+ java_vm_info + ")");
}
}