Package com.ibm.wala.dataflow.graph
Class BasicFramework<T,V extends IVariable<V>>
- java.lang.Object
-
- com.ibm.wala.dataflow.graph.BasicFramework<T,V>
-
- All Implemented Interfaces:
IKilldallFramework<T,V>
- Direct Known Subclasses:
BitVectorFramework
public class BasicFramework<T,V extends IVariable<V>> extends java.lang.Object implements IKilldallFramework<T,V>
a basic implementation of the dataflow framework
-
-
Constructor Summary
Constructors Constructor Description BasicFramework(Graph<T> flowGraph, ITransferFunctionProvider<T,V> transferFunctionProvider)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Graph<T>
getFlowGraph()
ITransferFunctionProvider<T,V>
getTransferFunctionProvider()
-
-
-
Constructor Detail
-
BasicFramework
public BasicFramework(Graph<T> flowGraph, ITransferFunctionProvider<T,V> transferFunctionProvider)
-
-
Method Detail
-
getFlowGraph
public Graph<T> getFlowGraph()
- Specified by:
getFlowGraph
in interfaceIKilldallFramework<T,V extends IVariable<V>>
- Returns:
- the flow graph which induces this dataflow problem
-
getTransferFunctionProvider
public ITransferFunctionProvider<T,V> getTransferFunctionProvider()
- Specified by:
getTransferFunctionProvider
in interfaceIKilldallFramework<T,V extends IVariable<V>>
- Returns:
- an object which provides the flow function for each node in the graph
-
-