[typetools/checker-framework] 486e72: Use `since` field of `@Deprecated` annotation (#7572)

0 views
Skip to first unread message

Michael Ernst

unread,
Mar 21, 2026, 12:16:06 PM (yesterday) Mar 21
to checker-fr...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 486e722a7f432d6d1b3fe3918584403146b26bc7
https://github.com/typetools/checker-framework/commit/486e722a7f432d6d1b3fe3918584403146b26bc7
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-03-21 (Sat, 21 Mar 2026)

Changed paths:
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/util/JVMNames.java
M checker-util/src/main/java/org/checkerframework/checker/formatter/util/FormatUtil.java
M dataflow/src/main/java/org/checkerframework/dataflow/analysis/AbstractAnalysis.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/ObjectCreationNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/expression/JavaExpression.java
M javacutil/src/main/java/org/checkerframework/javacutil/AnnotationUtils.java
M javacutil/src/main/java/org/checkerframework/javacutil/TreeUtils.java

Log Message:
-----------
Use `since` field of `@Deprecated` annotation (#7572)



To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications
Reply all
Reply to author
Forward
0 new messages