mirror of
https://github.com/openjdk/jdk.git
synced 2025-09-23 12:34:32 +02:00
8150632: jdk.jshell.TaskFactory should use jdk.Version to check for java.specification.version
Reviewed-by: rfield
This commit is contained in:
parent
0a352526f3
commit
eb9a8ddcc4
1 changed files with 4 additions and 1 deletions
|
@ -61,6 +61,7 @@ import javax.lang.model.util.Elements;
|
|||
import javax.tools.FileObject;
|
||||
import jdk.jshell.MemoryFileManager.SourceMemoryJavaFileObject;
|
||||
import jdk.jshell.ClassTracker.ClassInfo;
|
||||
import jdk.Version;
|
||||
|
||||
/**
|
||||
* The primary interface to the compiler API. Parsing, analysis, and
|
||||
|
@ -73,6 +74,7 @@ class TaskFactory {
|
|||
private final MemoryFileManager fileManager;
|
||||
private final JShell state;
|
||||
private String classpath = System.getProperty("java.class.path");
|
||||
private final static Version INITIAL_SUPPORTED_VER = Version.parse("9");
|
||||
|
||||
TaskFactory(JShell state) {
|
||||
this.state = state;
|
||||
|
@ -80,7 +82,8 @@ class TaskFactory {
|
|||
if (compiler == null) {
|
||||
throw new UnsupportedOperationException("Compiler not available, must be run with full JDK 9.");
|
||||
}
|
||||
if (!System.getProperty("java.specification.version").equals("9")) {
|
||||
Version current = Version.parse(System.getProperty("java.specification.version"));
|
||||
if (INITIAL_SUPPORTED_VER.compareToIgnoreOpt(current) > 0) {
|
||||
throw new UnsupportedOperationException("Wrong compiler, must be run with full JDK 9.");
|
||||
}
|
||||
this.fileManager = new MemoryFileManager(
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue