langtools/src/jdk.compiler/share/classes/com/sun/tools/javac/platform/JDKPlatformProvider.java
equal
deleted
inserted
replaced
64 return SUPPORTED_JAVA_PLATFORM_VERSIONS; |
64 return SUPPORTED_JAVA_PLATFORM_VERSIONS; |
65 } |
65 } |
66 |
66 |
67 @Override |
67 @Override |
68 public PlatformDescription getPlatform(String platformName, String options) { |
68 public PlatformDescription getPlatform(String platformName, String options) { |
69 return new PlatformDescriptionImpl(platformName); |
69 return new PlatformDescriptionImpl(platformName.equals("10") ? "9" : platformName); |
70 } |
70 } |
71 |
71 |
72 private static final String[] symbolFileLocation = { "lib", "ct.sym" }; |
72 private static final String[] symbolFileLocation = { "lib", "ct.sym" }; |
73 |
73 |
74 private static final Set<String> SUPPORTED_JAVA_PLATFORM_VERSIONS; |
74 private static final Set<String> SUPPORTED_JAVA_PLATFORM_VERSIONS; |
90 } |
90 } |
91 } |
91 } |
92 } |
92 } |
93 } catch (IOException | ProviderNotFoundException ex) { |
93 } catch (IOException | ProviderNotFoundException ex) { |
94 } |
94 } |
|
95 } |
|
96 |
|
97 if (SUPPORTED_JAVA_PLATFORM_VERSIONS.contains("9")) { |
|
98 SUPPORTED_JAVA_PLATFORM_VERSIONS.add("10"); |
95 } |
99 } |
96 } |
100 } |
97 |
101 |
98 private static String targetNumericVersion(Target target) { |
102 private static String targetNumericVersion(Target target) { |
99 return Integer.toString(target.ordinal() - Target.JDK1_1.ordinal() + 1); |
103 return Integer.toString(target.ordinal() - Target.JDK1_1.ordinal() + 1); |