edu.cmu.cs.crystal.flow
Interface ITransferFunction<LE>
- All Superinterfaces:
- IFlowAnalysisDefinition<LE>
public interface ITransferFunction<LE>
- extends IFlowAnalysisDefinition<LE>
Interface for defining standard flow analyses. To create a flow analysis, pass an instance of this
interface to a FlowAnalysis
.
- Author:
- Kevin Bierhoff
transfer
LE transfer(ASTNode astNode,
LE value)
- Transfer over a given AST node.
- Parameters:
astNode
- The node to transfer over.value
- Incoming analysis information.
- Returns:
- Analysis information after transferring over the given node.