Class MustCallTransfer

All Implemented Interfaces:
ForwardTransferFunction<CFValue,CFStore>, TransferFunction<CFValue,CFStore>, NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

public class MustCallTransfer extends CFTransfer
Transfer function for the must-call type system. Its primary purposes are (1) to create temporary variables for expressions (which allow those expressions to have refined information in the store, which the consistency checker can use), and (2) to reset refined information when a method annotated with @CreatesMustCallFor is called.