[typetools/checker-framework] a734ae: Make calls to `indexOf()` more efficient

[Michael Ernst]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: a734ae5ea9793fe77c2abc0cd0d3de24859b47f5
https://github.com/typetools/checker-framework/commit/a734ae5ea9793fe77c2abc0cd0d3de24859b47f5
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-09-12 (Fri, 12 Sep 2025)

Changed paths:
A SKIP-REQUIRE-JAVADOC
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/AnnotationInsertion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/CastCriterion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/Insertion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/InstanceOfCriterion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/IsSigMethodCriterion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/LocalVariableCriterion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/NewCriterion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/find/ParamCriterion.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/scanner/MethodOffsetClassVisitor.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/annotator/specification/IndexFileSpecification.java
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/el/AMethod.java
M checker/src/main/java/org/checkerframework/checker/optional/OptionalImplVisitor.java
M dataflow/src/main/java/org/checkerframework/dataflow/expression/ClassName.java
M framework/src/main/java/org/checkerframework/framework/source/SourceChecker.java
M framework/src/main/java/org/checkerframework/framework/stub/AnnotationFileUtil.java
M framework/src/main/java/org/checkerframework/framework/stub/RemoveAnnotationsForInference.java

Log Message:
-----------
Make calls to `indexOf()` more efficient



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