< prev index next >

langtools/src/jdk.compiler/share/classes/com/sun/tools/javac/code/Source.java

Print this page

        

*** 72,82 **** /** 1.9 modularity. */ JDK1_9("1.9"), /** 1.10 covers the to be determined language features that will be added in JDK 10. */ ! JDK1_10("1.10"); private static final Context.Key<Source> sourceKey = new Context.Key<>(); public static Source instance(Context context) { Source instance = context.get(sourceKey); --- 72,85 ---- /** 1.9 modularity. */ JDK1_9("1.9"), /** 1.10 covers the to be determined language features that will be added in JDK 10. */ ! JDK1_10("1.10"), ! ! JDK_11("11"); ! private static final Context.Key<Source> sourceKey = new Context.Key<>(); public static Source instance(Context context) { Source instance = context.get(sourceKey);
*** 101,127 **** tab.put("6", JDK1_6); // Make 6 an alias for 1.6 tab.put("7", JDK1_7); // Make 7 an alias for 1.7 tab.put("8", JDK1_8); // Make 8 an alias for 1.8 tab.put("9", JDK1_9); // Make 9 an alias for 1.9 tab.put("10", JDK1_10); // Make 10 an alias for 1.10 } private Source(String name) { this.name = name; } public static final Source MIN = Source.JDK1_6; private static final Source MAX = values()[values().length - 1]; ! public static final Source DEFAULT = MAX; public static Source lookup(String name) { return tab.get(name); } public Target requiredTarget() { if (this.compareTo(JDK1_10) >= 0) return Target.JDK1_10; if (this.compareTo(JDK1_9) >= 0) return Target.JDK1_9; if (this.compareTo(JDK1_8) >= 0) return Target.JDK1_8; if (this.compareTo(JDK1_7) >= 0) return Target.JDK1_7; if (this.compareTo(JDK1_6) >= 0) return Target.JDK1_6; --- 104,132 ---- tab.put("6", JDK1_6); // Make 6 an alias for 1.6 tab.put("7", JDK1_7); // Make 7 an alias for 1.7 tab.put("8", JDK1_8); // Make 8 an alias for 1.8 tab.put("9", JDK1_9); // Make 9 an alias for 1.9 tab.put("10", JDK1_10); // Make 10 an alias for 1.10 + tab.put("11", JDK_11); } private Source(String name) { this.name = name; } public static final Source MIN = Source.JDK1_6; private static final Source MAX = values()[values().length - 1]; ! public static final Source DEFAULT = JDK1_10; // MAX; - FIXME later public static Source lookup(String name) { return tab.get(name); } public Target requiredTarget() { + if (this.compareTo(JDK_11) >= 0) return Target.JDK_11; if (this.compareTo(JDK1_10) >= 0) return Target.JDK1_10; if (this.compareTo(JDK1_9) >= 0) return Target.JDK1_9; if (this.compareTo(JDK1_8) >= 0) return Target.JDK1_8; if (this.compareTo(JDK1_7) >= 0) return Target.JDK1_7; if (this.compareTo(JDK1_6) >= 0) return Target.JDK1_6;
*** 245,254 **** --- 250,261 ---- return RELEASE_8; case JDK1_9: return RELEASE_9; case JDK1_10: return RELEASE_10; + case JDK_11: + return RELEASE_11; default: return null; } } }
< prev index next >