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 Object
implements IKilldallFramework<T,V>
a basic implementation of the dataflow framework
-
Constructor Summary
ConstructorDescriptionBasicFramework
(Graph<T> flowGraph, ITransferFunctionProvider<T, V> transferFunctionProvider) -
Method Summary
Modifier and TypeMethodDescription
-
Constructor Details
-
BasicFramework
-
-
Method Details
-
getFlowGraph
- Specified by:
getFlowGraph
in interfaceIKilldallFramework<T,
V extends IVariable<V>> - Returns:
- the flow graph which induces this dataflow problem
-
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
-