[typetools/checker-framework] a1b306: Directly use Java 17 and below Javac APIs. (#7582)

[Suzanne Millstein]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: a1b30642b07d64603a9ec9ef093f910e5be0bf41
https://github.com/typetools/checker-framework/commit/a1b30642b07d64603a9ec9ef093f910e5be0bf41
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2026-04-06 (Mon, 06 Apr 2026)

Changed paths:
M checker/src/main/java/org/checkerframework/checker/fenum/FenumVisitor.java
M checker/src/main/java/org/checkerframework/checker/nullness/NullnessVisitor.java
A checker/tests/nullness/java17/ArrowSwitchInference.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/builder/CFGTranslationPhaseOne.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/SwitchExpressionNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/expression/JavaExpression.java
M framework/src/main/java/org/checkerframework/common/basetype/BaseTypeVisitor.java
M framework/src/main/java/org/checkerframework/common/util/debug/SignaturePrinter.java
M framework/src/main/java/org/checkerframework/framework/ajava/ExpectedTreesVisitor.java
M framework/src/main/java/org/checkerframework/framework/ajava/JointJavacJavaParserVisitor.java
M framework/src/main/java/org/checkerframework/framework/ajava/TreeScannerWithDefaults.java
M framework/src/main/java/org/checkerframework/framework/stub/AnnotationFileElementTypes.java
M framework/src/main/java/org/checkerframework/framework/stub/AnnotationFileUtil.java
M framework/src/main/java/org/checkerframework/framework/stub/StubGenerator.java
M framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeFactory.java
M framework/src/main/java/org/checkerframework/framework/type/GenericAnnotatedTypeFactory.java
M framework/src/main/java/org/checkerframework/framework/type/SupertypeFinder.java
M framework/src/main/java/org/checkerframework/framework/type/TypeFromExpressionVisitor.java
M framework/src/main/java/org/checkerframework/framework/util/defaults/QualifierDefaults.java
M framework/src/main/java/org/checkerframework/framework/util/dependenttypes/DependentTypesHelper.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/DefaultTypeArgumentInference.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/InvocationTypeInference.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/Expression.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/TypeConstraint.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/InferenceFactory.java
M javacutil/src/main/java/org/checkerframework/javacutil/AnnotationUtils.java
M javacutil/src/main/java/org/checkerframework/javacutil/ElementUtils.java
M javacutil/src/main/java/org/checkerframework/javacutil/Resolver.java
M javacutil/src/main/java/org/checkerframework/javacutil/SwitchExpressionScanner.java
M javacutil/src/main/java/org/checkerframework/javacutil/TreePathUtil.java
M javacutil/src/main/java/org/checkerframework/javacutil/TreeUtils.java
M javacutil/src/main/java/org/checkerframework/javacutil/TreeUtilsAfterJava11.java
A javacutil/src/main/java/org/checkerframework/javacutil/TreeUtilsAfterJava17.java

Log Message:
-----------
Directly use Java 17 and below Javac APIs. (#7582)



To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications