1 /* 2 * Copyright (c) 2002, 2025, Oracle and/or its affiliates. All rights reserved. 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. 4 * 5 * This code is free software; you can redistribute it and/or modify it 6 * under the terms of the GNU General Public License version 2 only, as 7 * published by the Free Software Foundation. Oracle designates this 8 * particular file as subject to the "Classpath" exception as provided 9 * by Oracle in the LICENSE file that accompanied this code. 10 * 11 * This code is distributed in the hope that it will be useful, but WITHOUT 12 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 13 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 14 * version 2 for more details (a copy is included in the LICENSE file that 15 * accompanied this code). 16 * 17 * You should have received a copy of the GNU General Public License version 18 * 2 along with this work; if not, write to the Free Software Foundation, 19 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. 20 * 21 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA 22 * or visit www.oracle.com if you need additional information or have any 23 * questions. 24 */ 25 26 package com.sun.tools.javac.code; 27 28 import java.util.*; 29 30 import javax.lang.model.SourceVersion; 31 import static javax.lang.model.SourceVersion.*; 32 33 import com.sun.tools.javac.jvm.Target; 34 import com.sun.tools.javac.resources.CompilerProperties.Errors; 35 import com.sun.tools.javac.resources.CompilerProperties.Fragments; 36 import com.sun.tools.javac.util.*; 37 import com.sun.tools.javac.util.JCDiagnostic.Error; 38 import com.sun.tools.javac.util.JCDiagnostic.Fragment; 39 40 import static com.sun.tools.javac.main.Option.*; 41 42 /** The source language version accepted. 43 * 44 * <p><b>This is NOT part of any supported API. 45 * If you write code that depends on this, you do so at your own risk. 46 * This code and its internal interfaces are subject to change or 47 * deletion without notice.</b> 48 */ 49 public enum Source { 50 /* 1.0 had no inner classes, and so could not pass the JCK. */ 51 // public static final Source JDK1_0 = new Source("1.0"); 52 53 /* 1.1 did not have strictfp, and so could not pass the JCK. */ 54 // public static final Source JDK1_1 = new Source("1.1"); 55 56 /** 1.2 introduced strictfp. */ 57 JDK1_2("1.2"), 58 59 /** 1.3 is the same language as 1.2. */ 60 JDK1_3("1.3"), 61 62 /** 1.4 introduced assert. */ 63 JDK1_4("1.4"), 64 65 /** 1.5 introduced generics, attributes, foreach, boxing, static import, 66 * covariant return, enums, varargs, et al. */ 67 JDK5("5"), 68 69 /** 1.6 reports encoding problems as errors instead of warnings. */ 70 JDK6("6"), 71 72 /** 1.7 introduced try-with-resources, multi-catch, string switch, etc. */ 73 JDK7("7"), 74 75 /** 1.8 lambda expressions and default methods. */ 76 JDK8("8"), 77 78 /** 1.9 modularity. */ 79 JDK9("9"), 80 81 /** 1.10 local-variable type inference (var). */ 82 JDK10("10"), 83 84 /** 1.11 local-variable syntax for lambda parameters */ 85 JDK11("11"), 86 87 /** 12, no language features; switch expression in preview */ 88 JDK12("12"), 89 90 /** 91 * 13, no language features; text blocks and revised switch 92 * expressions in preview 93 */ 94 JDK13("13"), 95 96 /** 97 * 14, switch expressions; pattern matching, records, and revised 98 * text blocks in preview 99 */ 100 JDK14("14"), 101 102 /** 103 * 15, text blocks 104 */ 105 JDK15("15"), 106 107 /** 108 * 16, records and pattern matching for instanceof 109 */ 110 JDK16("16"), 111 112 /** 113 * 17, sealed classes, restoration of always-strict floating-point 114 */ 115 JDK17("17"), 116 117 /** 118 * 18, no major changes 119 */ 120 JDK18("18"), 121 122 /** 123 * 19, no major changes 124 */ 125 JDK19("19"), 126 127 /** 128 * 20, no major changes 129 */ 130 JDK20("20"), 131 132 /** 133 * 21, tbd 134 */ 135 JDK21("21"), 136 137 /** 138 * 22, tbd 139 */ 140 JDK22("22"), 141 142 /** 143 * 23, tbd 144 */ 145 JDK23("23"), 146 147 /** 148 * 24, tbd 149 */ 150 JDK24("24"), 151 152 /** 153 * 25, tbd 154 */ 155 JDK25("25"), 156 157 /** 158 * 26, tbd 159 */ 160 JDK26("26"), 161 ; // Reduce code churn when appending new constants 162 163 private static final Context.Key<Source> sourceKey = new Context.Key<>(); 164 165 public static Source instance(Context context) { 166 Source instance = context.get(sourceKey); 167 if (instance == null) { 168 Options options = Options.instance(context); 169 String sourceString = options.get(SOURCE); 170 if (sourceString != null) instance = lookup(sourceString); 171 if (instance == null) instance = DEFAULT; 172 context.put(sourceKey, instance); 173 } 174 return instance; 175 } 176 177 public final String name; 178 179 private static final Map<String,Source> tab = new HashMap<>(); 180 static { 181 for (Source s : values()) { 182 tab.put(s.name, s); 183 } 184 tab.put("1.5", JDK5); // Make 5 an alias for 1.5 185 tab.put("1.6", JDK6); // Make 6 an alias for 1.6 186 tab.put("1.7", JDK7); // Make 7 an alias for 1.7 187 tab.put("1.8", JDK8); // Make 8 an alias for 1.8 188 tab.put("1.9", JDK9); // Make 9 an alias for 1.9 189 tab.put("1.10", JDK10); // Make 10 an alias for 1.10 190 // Decline to make 1.11 an alias for 11. 191 } 192 193 private Source(String name) { 194 this.name = name; 195 } 196 197 public static final Source MIN = Source.JDK8; 198 199 private static final Source MAX = values()[values().length - 1]; 200 201 public static final Source DEFAULT = MAX; 202 203 public static Source lookup(String name) { 204 return tab.get(name); 205 } 206 207 public boolean isSupported() { 208 return this.compareTo(MIN) >= 0; 209 } 210 211 public Target requiredTarget() { 212 return switch(this) { 213 case JDK26 -> Target.JDK1_26; 214 case JDK25 -> Target.JDK1_25; 215 case JDK24 -> Target.JDK1_24; 216 case JDK23 -> Target.JDK1_23; 217 case JDK22 -> Target.JDK1_22; 218 case JDK21 -> Target.JDK1_21; 219 case JDK20 -> Target.JDK1_20; 220 case JDK19 -> Target.JDK1_19; 221 case JDK18 -> Target.JDK1_18; 222 case JDK17 -> Target.JDK1_17; 223 case JDK16 -> Target.JDK1_16; 224 case JDK15 -> Target.JDK1_15; 225 case JDK14 -> Target.JDK1_14; 226 case JDK13 -> Target.JDK1_13; 227 case JDK12 -> Target.JDK1_12; 228 case JDK11 -> Target.JDK1_11; 229 case JDK10 -> Target.JDK1_10; 230 case JDK9 -> Target.JDK1_9; 231 case JDK8 -> Target.JDK1_8; 232 case JDK7 -> Target.JDK1_7; 233 case JDK6 -> Target.JDK1_6; 234 case JDK5 -> Target.JDK1_5; 235 case JDK1_4 -> Target.JDK1_4; 236 default -> Target.JDK1_1; 237 }; 238 } 239 240 /** 241 * Models a feature of the Java programming language. Each feature can be associated with a 242 * minimum source level, a maximum source level and a diagnostic fragment describing the feature, 243 * which is used to generate error messages of the kind {@code feature XYZ not supported in source N}. 244 */ 245 public enum Feature { 246 247 MODULES(JDK9, Fragments.FeatureModules, DiagKind.PLURAL), 248 EFFECTIVELY_FINAL_VARIABLES_IN_TRY_WITH_RESOURCES(JDK9, Fragments.FeatureVarInTryWithResources, DiagKind.PLURAL), 249 DEPRECATION_ON_IMPORT(MIN, JDK8), 250 PRIVATE_SAFE_VARARGS(JDK9), 251 DIAMOND_WITH_ANONYMOUS_CLASS_CREATION(JDK9, Fragments.FeatureDiamondAndAnonClass, DiagKind.NORMAL), 252 UNDERSCORE_IDENTIFIER(MIN, JDK8), 253 PRIVATE_INTERFACE_METHODS(JDK9, Fragments.FeaturePrivateIntfMethods, DiagKind.PLURAL), 254 LOCAL_VARIABLE_TYPE_INFERENCE(JDK10), 255 VAR_SYNTAX_IMPLICIT_LAMBDAS(JDK11, Fragments.FeatureVarSyntaxInImplicitLambda, DiagKind.PLURAL), 256 IMPORT_ON_DEMAND_OBSERVABLE_PACKAGES(JDK1_2, JDK8), 257 SWITCH_MULTIPLE_CASE_LABELS(JDK14, Fragments.FeatureMultipleCaseLabels, DiagKind.PLURAL), 258 SWITCH_RULE(JDK14, Fragments.FeatureSwitchRules, DiagKind.PLURAL), 259 SWITCH_EXPRESSION(JDK14, Fragments.FeatureSwitchExpressions, DiagKind.PLURAL), 260 NO_TARGET_ANNOTATION_APPLICABILITY(JDK14), 261 TEXT_BLOCKS(JDK15, Fragments.FeatureTextBlocks, DiagKind.PLURAL), 262 PATTERN_MATCHING_IN_INSTANCEOF(JDK16, Fragments.FeaturePatternMatchingInstanceof, DiagKind.NORMAL), 263 REIFIABLE_TYPES_INSTANCEOF(JDK16, Fragments.FeatureReifiableTypesInstanceof, DiagKind.PLURAL), 264 RECORDS(JDK16, Fragments.FeatureRecords, DiagKind.PLURAL), 265 SEALED_CLASSES(JDK17, Fragments.FeatureSealedClasses, DiagKind.PLURAL), 266 CASE_NULL(JDK21, Fragments.FeatureCaseNull, DiagKind.NORMAL), 267 PATTERN_SWITCH(JDK21, Fragments.FeaturePatternSwitch, DiagKind.PLURAL), 268 REDUNDANT_STRICTFP(JDK17), 269 UNCONDITIONAL_PATTERN_IN_INSTANCEOF(JDK21, Fragments.FeatureUnconditionalPatternsInInstanceof, DiagKind.PLURAL), 270 RECORD_PATTERNS(JDK21, Fragments.FeatureDeconstructionPatterns, DiagKind.PLURAL), 271 IMPLICIT_CLASSES(JDK25, Fragments.FeatureImplicitClasses, DiagKind.PLURAL), 272 WARN_ON_ILLEGAL_UTF8(MIN, JDK21), 273 UNNAMED_VARIABLES(JDK22, Fragments.FeatureUnnamedVariables, DiagKind.PLURAL), 274 PRIMITIVE_PATTERNS(JDK23, Fragments.FeaturePrimitivePatterns, DiagKind.PLURAL), 275 FLEXIBLE_CONSTRUCTORS(JDK25, Fragments.FeatureFlexibleConstructors, DiagKind.NORMAL), 276 MODULE_IMPORTS(JDK25, Fragments.FeatureModuleImports, DiagKind.PLURAL), 277 JAVA_BASE_TRANSITIVE(JDK25, Fragments.FeatureJavaBaseTransitive, DiagKind.PLURAL), 278 PRIVATE_MEMBERS_IN_PERMITS_CLAUSE(JDK19), 279 ERASE_POLY_SIG_RETURN_TYPE(JDK24), 280 REFLECT_METHODS(JDK22, Fragments.FeatureReflectMethods, DiagKind.NORMAL), 281 ; 282 283 enum DiagKind { 284 NORMAL, 285 PLURAL; 286 } 287 288 private final Source minLevel; 289 private final Source maxLevel; 290 private final Fragment optFragment; 291 private final DiagKind optKind; 292 293 Feature(Source minLevel) { 294 this(minLevel, null, null); 295 } 296 297 Feature(Source minLevel, Fragment optFragment, DiagKind optKind) { 298 this(minLevel, MAX, optFragment, optKind); 299 } 300 301 Feature(Source minLevel, Source maxLevel) { 302 this(minLevel, maxLevel, null, null); 303 } 304 305 Feature(Source minLevel, Source maxLevel, Fragment optFragment, DiagKind optKind) { 306 this.minLevel = minLevel; 307 this.maxLevel = maxLevel; 308 this.optFragment = optFragment; 309 this.optKind = optKind; 310 } 311 312 public boolean allowedInSource(Source source) { 313 return source.compareTo(minLevel) >= 0 && 314 source.compareTo(maxLevel) <= 0; 315 } 316 317 public boolean isPlural() { 318 Assert.checkNonNull(optKind); 319 return optKind == DiagKind.PLURAL; 320 } 321 322 public Fragment nameFragment() { 323 Assert.checkNonNull(optFragment); 324 return optFragment; 325 } 326 327 public Fragment fragment(String sourceName) { 328 Assert.checkNonNull(optFragment); 329 return optKind == DiagKind.NORMAL ? 330 Fragments.FeatureNotSupportedInSource(optFragment, sourceName, minLevel.name) : 331 Fragments.FeatureNotSupportedInSourcePlural(optFragment, sourceName, minLevel.name); 332 } 333 334 public Error error(String sourceName) { 335 Assert.checkNonNull(optFragment); 336 return optKind == DiagKind.NORMAL ? 337 Errors.FeatureNotSupportedInSource(optFragment, sourceName, minLevel.name) : 338 Errors.FeatureNotSupportedInSourcePlural(optFragment, sourceName, minLevel.name); 339 } 340 } 341 342 public static SourceVersion toSourceVersion(Source source) { 343 return switch(source) { 344 case JDK1_2 -> RELEASE_2; 345 case JDK1_3 -> RELEASE_3; 346 case JDK1_4 -> RELEASE_4; 347 case JDK5 -> RELEASE_5; 348 case JDK6 -> RELEASE_6; 349 case JDK7 -> RELEASE_7; 350 case JDK8 -> RELEASE_8; 351 case JDK9 -> RELEASE_9; 352 case JDK10 -> RELEASE_10; 353 case JDK11 -> RELEASE_11; 354 case JDK12 -> RELEASE_12; 355 case JDK13 -> RELEASE_13; 356 case JDK14 -> RELEASE_14; 357 case JDK15 -> RELEASE_15; 358 case JDK16 -> RELEASE_16; 359 case JDK17 -> RELEASE_17; 360 case JDK18 -> RELEASE_18; 361 case JDK19 -> RELEASE_19; 362 case JDK20 -> RELEASE_20; 363 case JDK21 -> RELEASE_21; 364 case JDK22 -> RELEASE_22; 365 case JDK23 -> RELEASE_23; 366 case JDK24 -> RELEASE_24; 367 case JDK25 -> RELEASE_25; 368 case JDK26 -> RELEASE_26; 369 default -> null; 370 }; 371 } 372 }