[typetools/checker-framework] 6e1afa: Varargs capitalization

[Michael Ernst]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 6e1afa56da7e56ee1b8c9ae944201b83b471759c
https://github.com/typetools/checker-framework/commit/6e1afa56da7e56ee1b8c9ae944201b83b471759c
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2024-07-15 (Mon, 15 Jul 2024)

Changed paths:
M checker-qual/src/main/java/org/checkerframework/checker/calledmethods/qual/EnsuresCalledMethodsVarArgs.java
A checker-qual/src/main/java/org/checkerframework/checker/calledmethods/qual/EnsuresCalledMethodsVarargs.java
M checker/src/main/java/org/checkerframework/checker/calledmethods/CalledMethodsAnnotatedTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/calledmethods/CalledMethodsTransfer.java
M checker/src/main/java/org/checkerframework/checker/calledmethods/CalledMethodsVisitor.java
M checker/src/main/java/org/checkerframework/checker/calledmethods/messages.properties
M checker/src/main/java/org/checkerframework/checker/resourceleak/IOUtils.astub
R checker/tests/ainfer-resourceleak/non-annotated/EnsuresCalledMethodsVarArgsTest.java
A checker/tests/ainfer-resourceleak/non-annotated/EnsuresCalledMethodsVarargsTest.java
R checker/tests/calledmethods/EnsuresCalledMethodsVarArgsSimple.java
A checker/tests/calledmethods/EnsuresCalledMethodsVarargsSimple.java
R checker/tests/index/VarArgsIncompatible.java
A checker/tests/index/VarargsIncompatible.java
M checker/tests/nonempty/UnmodifiableTest.java
M checker/tests/nullness/Issue2171.java
R checker/tests/tainting/PolyVarArgs.java
A checker/tests/tainting/PolyVarargs.java
M dataflow/src/main/java/org/checkerframework/dataflow/expression/JavaExpression.java
M docs/CHANGELOG.md
M docs/manual/called-methods-checker.tex
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/common/value/ReflectiveEvaluator.java
M framework/src/main/java/org/checkerframework/framework/stub/AnnotationFileParser.java
M framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeMirror.java
M framework/src/main/java/org/checkerframework/framework/type/poly/AbstractQualifierPolymorphism.java
M framework/src/main/java/org/checkerframework/framework/util/AnnotatedTypes.java
R framework/src/test/java/org/checkerframework/framework/testchecker/lib/VarArgMethods.java
A framework/src/test/java/org/checkerframework/framework/testchecker/lib/VarargsMethods.java
A framework/tests/all-systems/TypeVarVarArgs.java
R framework/tests/all-systems/TypeVarVarargs.java
R framework/tests/all-systems/java8/memberref/VarArgs.java
A framework/tests/all-systems/java8/memberref/Varargs.java
R framework/tests/value/VarArgRe.java
A framework/tests/value/VarargsRe.java
M javacutil/src/main/java/org/checkerframework/javacutil/TreeUtils.java

Log Message:
-----------
Varargs capitalization



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