104 public final String name;
105
106 private static final Map<String,Source> tab = new HashMap<>();
107 static {
108 for (Source s : values()) {
109 tab.put(s.name, s);
110 }
111 tab.put("1.5", JDK5); // Make 5 an alias for 1.5
112 tab.put("1.6", JDK6); // Make 6 an alias for 1.6
113 tab.put("1.7", JDK7); // Make 7 an alias for 1.7
114 tab.put("1.8", JDK8); // Make 8 an alias for 1.8
115 tab.put("1.9", JDK9); // Make 9 an alias for 1.9
116 tab.put("1.10", JDK10); // Make 10 an alias for 1.10
117 // Decline to make 1.11 an alias for 11.
118 }
119
120 private Source(String name) {
121 this.name = name;
122 }
123
124 public static final Source MIN = Source.JDK6;
125
126 private static final Source MAX = values()[values().length - 1];
127
128 public static final Source DEFAULT = MAX;
129
130 public static Source lookup(String name) {
131 return tab.get(name);
132 }
133
134 public Target requiredTarget() {
135 if (this.compareTo(JDK12) >= 0) return Target.JDK1_12;
136 if (this.compareTo(JDK11) >= 0) return Target.JDK1_11;
137 if (this.compareTo(JDK10) >= 0) return Target.JDK1_10;
138 if (this.compareTo(JDK9) >= 0) return Target.JDK1_9;
139 if (this.compareTo(JDK8) >= 0) return Target.JDK1_8;
140 if (this.compareTo(JDK7) >= 0) return Target.JDK1_7;
141 if (this.compareTo(JDK6) >= 0) return Target.JDK1_6;
142 if (this.compareTo(JDK5) >= 0) return Target.JDK1_5;
143 if (this.compareTo(JDK1_4) >= 0) return Target.JDK1_4;
144 return Target.JDK1_1;
|
104 public final String name;
105
106 private static final Map<String,Source> tab = new HashMap<>();
107 static {
108 for (Source s : values()) {
109 tab.put(s.name, s);
110 }
111 tab.put("1.5", JDK5); // Make 5 an alias for 1.5
112 tab.put("1.6", JDK6); // Make 6 an alias for 1.6
113 tab.put("1.7", JDK7); // Make 7 an alias for 1.7
114 tab.put("1.8", JDK8); // Make 8 an alias for 1.8
115 tab.put("1.9", JDK9); // Make 9 an alias for 1.9
116 tab.put("1.10", JDK10); // Make 10 an alias for 1.10
117 // Decline to make 1.11 an alias for 11.
118 }
119
120 private Source(String name) {
121 this.name = name;
122 }
123
124 public static final Source MIN = Source.JDK7;
125
126 private static final Source MAX = values()[values().length - 1];
127
128 public static final Source DEFAULT = MAX;
129
130 public static Source lookup(String name) {
131 return tab.get(name);
132 }
133
134 public Target requiredTarget() {
135 if (this.compareTo(JDK12) >= 0) return Target.JDK1_12;
136 if (this.compareTo(JDK11) >= 0) return Target.JDK1_11;
137 if (this.compareTo(JDK10) >= 0) return Target.JDK1_10;
138 if (this.compareTo(JDK9) >= 0) return Target.JDK1_9;
139 if (this.compareTo(JDK8) >= 0) return Target.JDK1_8;
140 if (this.compareTo(JDK7) >= 0) return Target.JDK1_7;
141 if (this.compareTo(JDK6) >= 0) return Target.JDK1_6;
142 if (this.compareTo(JDK5) >= 0) return Target.JDK1_5;
143 if (this.compareTo(JDK1_4) >= 0) return Target.JDK1_4;
144 return Target.JDK1_1;
|