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 Object
implements IKilldallFramework<T,V>

a basic implementation of the dataflow framework

Constructor Summary

Constructors

Constructor and Description
BasicFramework(Graph<T> flowGraph, ITransferFunctionProvider<T,V> transferFunctionProvider)

Method Summary

Modifier and Type	Method and Description
Graph<T>	getFlowGraph()
ITransferFunctionProvider<T,V>	getTransferFunctionProvider()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

BasicFramework

public BasicFramework(Graph<T> flowGraph,
                      ITransferFunctionProvider<T,V> transferFunctionProvider)

Method Detail

getFlowGraph

public Graph<T> getFlowGraph()

Specified by:

getFlowGraph in interface IKilldallFramework<T,V extends IVariable<V>>

Returns:

the flow graph which induces this dataflow problem

getTransferFunctionProvider

public ITransferFunctionProvider<T,V> getTransferFunctionProvider()

Specified by:

getTransferFunctionProvider in interface IKilldallFramework<T,V extends IVariable<V>>

Returns:

an object which provides the flow function for each node in the graph