Branch: refs/heads/yoo/skipdefs-for-methods
Home:
https://github.com/typetools/checker-framework
Commit: 65528bcf54582bffe17b2d9b5cc5860f1b6bd4da
https://github.com/typetools/checker-framework/commit/65528bcf54582bffe17b2d9b5cc5860f1b6bd4da
Author: James Yoo <
jyo...@gmail.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
Log Message:
-----------
Make `BaseTypeVisitor#visitMethod` `final` and introduce `BaseTypeVisitor#processMehtodTree`
To unsubscribe from these emails, change your notification settings at
https://github.com/typetools/checker-framework/settings/notifications