Skip to content

Commit

Permalink
build(deps): bump org.checkerframework from 26c6857 to acf0fea
Browse files Browse the repository at this point in the history 
Bumps [org.checkerframework](https://github.com/typetools/checker-framework) from `26c6857` to `acf0fea`.
- [Release notes](https://github.com/typetools/checker-framework/releases)
- [Commits](typetools/checker-framework@26c6857...acf0fea)

---
updated-dependencies:
- dependency-name: org.checkerframework
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
  • Loading branch information
@dependabot
dependabot[bot] authored Mar 15, 2024
1 parent ebab92d commit 7fecff0
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion org.checkerframework
Submodule org.checkerframework updated 22 files
+1 −1 build.gradle
+0 −1 checker/bin-devel/wpi-plumelib/test-wpi-plumelib.sh
+0 −2 checker/build.gradle
+9 −0 checker/src/main/java/org/checkerframework/checker/initialization/InitializationChecker.java
+44 −14 checker/src/main/java/org/checkerframework/checker/nullness/NullnessAnnotatedTypeFactory.java
+1 −16 checker/src/main/java/org/checkerframework/checker/nullness/NullnessStore.java
+23 −1 checker/src/main/java/org/checkerframework/checker/resourceleak/MustCallInference.java
+0 −11 checker/src/main/java/org/checkerframework/checker/resourceleak/ResourceLeakAnnotatedTypeFactory.java
+18 −0 checker/tests/ainfer-resourceleak/non-annotated/GenericClassFieldCrash.java
+1 −0 checker/tests/regex/RawTypeTest.java
+51 −0 checker/tests/tainting/PolyVarArgs.java
+58 −7 docs/manual/nullness-checker.tex
+2 −1 docs/manual/troubleshooting.tex
+0 −4 docs/tutorial/tests/ant.xml
+2 −2 framework/src/main/java/org/checkerframework/common/accumulation/AccumulationChecker.java
+2 −0 ...src/main/java/org/checkerframework/common/wholeprograminference/WholeProgramInferenceJavaParserStorage.java
+19 −4 framework/src/main/java/org/checkerframework/framework/source/SourceChecker.java
+2 −1 framework/src/main/java/org/checkerframework/framework/type/poly/AbstractQualifierPolymorphism.java
+10 −0 framework/src/main/java/org/checkerframework/framework/type/poly/DefaultQualifierPolymorphism.java
+4 −0 framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/AbstractType.java
+76 −34 javacutil/src/main/java/org/checkerframework/javacutil/Resolver.java
+18 −0 javacutil/src/main/java/org/checkerframework/javacutil/TreeUtils.java

0 comments on commit 7fecff0

Please sign in to comment.