mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-08 21:52:48 +07:00
GitOrigin-RevId: 8cf9a9628e922aae75c1366cde4150cf820d023f
18 lines
528 B
Java
18 lines
528 B
Java
import java.util.*;
|
|
|
|
class Test {
|
|
void testVersion() {
|
|
Runtime runtime = Runtime.getRuntime();
|
|
Runtime.Version version = runtime.version();
|
|
if (version.build().isPresent()) {
|
|
unknown();
|
|
if (<warning descr="Condition 'version.build().isPresent()' is always 'true'">version.build().isPresent()</warning>) {
|
|
}
|
|
if (<warning descr="Condition 'runtime == Runtime.getRuntime()' is always 'true'">runtime == Runtime.getRuntime()</warning>) {
|
|
|
|
}
|
|
}
|
|
}
|
|
|
|
native void unknown();
|
|
} |