[typetools/checker-framework] a1f732: Implement method-level support for `skipDefs` flag

[James Yoo]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: a1f732f6576c663926076acc995a48f962f917d0
https://github.com/typetools/checker-framework/commit/a1f732f6576c663926076acc995a48f962f917d0
Author: James Yoo <24359440...@users.noreply.github.com>
Date: 2024-05-16 (Thu, 16 May 2024)

Changed paths:
M checker/src/main/java/org/checkerframework/checker/calledmethods/CalledMethodsVisitor.java
M checker/src/main/java/org/checkerframework/checker/formatter/FormatterVisitor.java
M checker/src/main/java/org/checkerframework/checker/guieffect/GuiEffectVisitor.java
M checker/src/main/java/org/checkerframework/checker/initialization/InitializationVisitor.java
M checker/src/main/java/org/checkerframework/checker/interning/InterningVisitor.java
M checker/src/main/java/org/checkerframework/checker/lock/LockVisitor.java
M checker/src/main/java/org/checkerframework/checker/nullness/NullnessVisitor.java
M checker/src/main/java/org/checkerframework/checker/resourceleak/ResourceLeakVisitor.java
M checker/src/main/java/org/checkerframework/checker/signedness/SignednessVisitor.java
M docs/CHANGELOG.md
M framework/src/main/java/org/checkerframework/common/basetype/BaseTypeVisitor.java
M framework/src/main/java/org/checkerframework/common/util/count/report/ReportVisitor.java
M framework/src/main/java/org/checkerframework/common/util/debug/TypeOutputtingChecker.java
M framework/src/main/java/org/checkerframework/common/value/ValueVisitor.java
M framework/src/main/java/org/checkerframework/framework/source/SourceChecker.java

Log Message:
-----------
Implement method-level support for `skipDefs` flag



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