[typetools/checker-framework] 7b79d6: Use Java 17 features

[Michael Ernst]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 7b79d612a288e21a9905fe17be4f00ac2ddee447
https://github.com/typetools/checker-framework/commit/7b79d612a288e21a9905fe17be4f00ac2ddee447
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-04-11 (Sat, 11 Apr 2026)

Changed paths:
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/Main.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/ASTPathCriterion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/BoundLocationCriterion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/GenericArrayLocationCriterion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/InClassCriterion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/LocalLocation.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/RelativeLocation.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/TypeIndexLocation.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/TypePathEntry.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/io/ASTPath.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/io/ASTRecord.java
M dataflow/src/main/java/org/checkerframework/dataflow/analysis/BackwardAnalysisImpl.java
M dataflow/src/main/java/org/checkerframework/dataflow/analysis/ForwardAnalysisImpl.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/builder/CFGBuilder.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/builder/CFGTranslationPhaseOne.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/builder/CFGTranslationPhaseThree.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/builder/CFGTranslationPhaseTwo.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/visualize/AbstractCFGVisualizer.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/visualize/CFGVisualizeOptions.java
M dataflow/src/main/java/org/checkerframework/dataflow/util/PurityChecker.java
M javacutil/src/main/java/org/checkerframework/javacutil/TreeUtils.java
M javacutil/src/main/java/org/checkerframework/javacutil/TypesUtils.java

Log Message:
-----------
Use Java 17 features



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