[typetools/checker-framework] 879cc3: Use `recreateTransferResult()` rather than re-impl...

[Michael Ernst]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 879cc3eb28cbe4b77d03a0c8a3d8293e597e63a8
https://github.com/typetools/checker-framework/commit/879cc3eb28cbe4b77d03a0c8a3d8293e597e63a8
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2024-05-23 (Thu, 23 May 2024)

Changed paths:
M checker/src/main/java/org/checkerframework/checker/formatter/FormatterTransfer.java
M checker/src/main/java/org/checkerframework/checker/i18nformatter/I18nFormatterTransfer.java
M checker/src/main/java/org/checkerframework/checker/index/inequality/LessThanTransfer.java
M checker/src/main/java/org/checkerframework/checker/index/lowerbound/LowerBoundTransfer.java
M checker/src/main/java/org/checkerframework/checker/index/upperbound/UpperBoundTransfer.java
M checker/src/main/java/org/checkerframework/checker/initialization/InitializationTransfer.java
M checker/src/main/java/org/checkerframework/checker/regex/RegexTransfer.java
M dataflow/src/main/java/org/checkerframework/dataflow/analysis/ConditionalTransferResult.java
M dataflow/src/main/java/org/checkerframework/dataflow/analysis/RegularTransferResult.java
M framework/src/main/java/org/checkerframework/common/value/ValueTransfer.java
M framework/src/main/java/org/checkerframework/framework/flow/CFAbstractTransfer.java

Log Message:
-----------
Use `recreateTransferResult()` rather than re-implementing it



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