[typetools/checker-framework] 89e0aa: Convert switch statements to switch expressions

[Michael Ernst]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 89e0aa1a041ee7f078de339c1d53798de1d1c4b7
https://github.com/typetools/checker-framework/commit/89e0aa1a041ee7f078de339c1d53798de1d1c4b7
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-04-12 (Sun, 12 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/Insertions.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/TreeFinder.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/TypeArgumentCriterion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/io/ASTIndex.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/io/IndexFileWriter.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/io/JavapParser.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/io/classfile/ClassAnnotationSceneReader.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/io/classfile/ClassAnnotationSceneWriter.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/util/JVMNames.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/util/Strings.java
M build.gradle
M checker/src/main/java/org/checkerframework/checker/calledmethods/CalledMethodsAnnotatedTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/guieffect/GuiEffectVisitor.java
M checker/src/main/java/org/checkerframework/checker/i18nformatter/I18nFormatterVisitor.java
M checker/src/main/java/org/checkerframework/checker/index/lowerbound/LowerBoundAnnotatedTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/index/upperbound/UpperBoundAnnotatedTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/index/upperbound/UpperBoundTransfer.java
M checker/src/main/java/org/checkerframework/checker/lock/LockAnnotatedTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/lock/LockVisitor.java
M checker/src/main/java/org/checkerframework/checker/nullness/KeyForPropagator.java
M checker/src/main/java/org/checkerframework/checker/nullness/NullnessVisitor.java
M checker/src/main/java/org/checkerframework/checker/optional/OptionalImplVisitor.java
M checker/src/main/java/org/checkerframework/checker/regex/RegexAnnotatedTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/resourceleak/MustCallConsistencyAnalyzer.java
M checker/src/main/java/org/checkerframework/checker/signedness/SignednessAnnotatedTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/signedness/SignednessShifts.java
M checker/src/main/java/org/checkerframework/checker/units/UnitsAnnotatedTypeFactory.java
A checker/tests/nullness/ExplicitTypeVarAnnos.java
R checker/tests/nullness/ExplictTypeVarAnnos.java
M framework-test/src/main/java/org/checkerframework/framework/test/PerDirectorySuite.java
M framework-test/src/main/java/org/checkerframework/framework/test/PerFileSuite.java
M framework/src/main/java/org/checkerframework/common/basetype/BaseTypeValidator.java
M framework/src/main/java/org/checkerframework/common/basetype/BaseTypeVisitor.java
M framework/src/main/java/org/checkerframework/common/reflection/ClassValAnnotatedTypeFactory.java
M framework/src/main/java/org/checkerframework/common/reflection/MethodValAnnotatedTypeFactory.java
M framework/src/main/java/org/checkerframework/common/value/ValueAnnotatedTypeFactory.java
M framework/src/main/java/org/checkerframework/common/value/ValueCheckerUtils.java
M framework/src/main/java/org/checkerframework/common/value/ValueQualifierHierarchy.java
M framework/src/main/java/org/checkerframework/common/value/ValueTransfer.java
M framework/src/main/java/org/checkerframework/common/value/ValueTreeAnnotator.java
M framework/src/main/java/org/checkerframework/common/value/ValueVisitor.java
M framework/src/main/java/org/checkerframework/common/value/util/NumberUtils.java
M framework/src/main/java/org/checkerframework/common/wholeprograminference/AnnotationConverter.java
M framework/src/main/java/org/checkerframework/common/wholeprograminference/WholeProgramInferenceImplementation.java
M framework/src/main/java/org/checkerframework/common/wholeprograminference/WholeProgramInferenceScenesStorage.java
M framework/src/main/java/org/checkerframework/common/wholeprograminference/scenelib/ASceneWrapper.java
M framework/src/main/java/org/checkerframework/framework/ajava/JointJavacJavaParserVisitor.java
M framework/src/main/java/org/checkerframework/framework/flow/CFTreeBuilder.java
M framework/src/main/java/org/checkerframework/framework/source/SourceChecker.java
M framework/src/main/java/org/checkerframework/framework/stub/AnnotationFileElementTypes.java
M framework/src/main/java/org/checkerframework/framework/stub/AnnotationFileParser.java
M framework/src/main/java/org/checkerframework/framework/stub/AnnotationFileUtil.java
M framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeFactory.java
M framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeMirror.java
M framework/src/main/java/org/checkerframework/framework/type/GenericAnnotatedTypeFactory.java
M framework/src/main/java/org/checkerframework/framework/type/TypeFromExpressionVisitor.java
M framework/src/main/java/org/checkerframework/framework/type/TypeFromTypeTreeVisitor.java
M framework/src/main/java/org/checkerframework/framework/type/treeannotator/PropagationTreeAnnotator.java
M framework/src/main/java/org/checkerframework/framework/util/AnnotatedTypes.java
M framework/src/main/java/org/checkerframework/framework/util/JavaParserUtil.java
M framework/src/main/java/org/checkerframework/framework/util/TypeInformationPresenter.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/element/ElementAnnotationUtil.java
M framework/src/main/java/org/checkerframework/framework/util/element/TypeVarUseApplier.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/QualifierTyping.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/TypeConstraint.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/Typing.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/InferenceFactory.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/QualifierVar.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/Variable.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/VariableBounds.java
M javacutil/src/main/java/org/checkerframework/javacutil/TypesUtils.java

Log Message:
-----------
Convert switch statements to switch expressions



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