Class IndexAbstractTransfer

All Implemented Interfaces:
ForwardTransferFunction<CFValue,CFStore>, TransferFunction<CFValue,CFStore>, NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>
Direct Known Subclasses:
LessThanTransfer, LowerBoundTransfer, SearchIndexTransfer, UpperBoundTransfer

public abstract class IndexAbstractTransfer extends CFTransfer
This class provides methods shared by the Index Checker's internal checkers in their transfer functions. In particular, it provides a common framework for visiting comparison operators.