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

Method Summary
 LE transfer(ASTNode astNode, LE value)
          Transfer over a given AST node.
 
Methods inherited from interface edu.cmu.cs.crystal.flow.IFlowAnalysisDefinition
createEntryValue, getAnalysisDirection, getLatticeOperations
 

Method Detail

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.