com.ibm.wala.dataflow.graph
Class BasicFramework<T,V extends IVariable>

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>
extends java.lang.Object
implements IKilldallFramework<T,V>

a basic implementation of the dataflow framework

Constructor Summary

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

Method Summary

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>

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>

Returns:

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