com.ibm.wala.dataflow.graph

Interface IKilldallFramework<T,V extends IVariable<V>>

Type Parameters:

T - type of nodes in the graph

All Known Implementing Classes:

BasicFramework, BitVectorFramework

public interface IKilldallFramework<T,V extends IVariable<V>>

A dataflow framework in the style of Kildall, POPL 73 This represents a dataflow problem induced over a graph.

Method Summary

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

Method Detail

getFlowGraph

Graph<T> getFlowGraph()

Returns:

the flow graph which induces this dataflow problem

getTransferFunctionProvider

ITransferFunctionProvider<T,V> getTransferFunctionProvider()

Returns:

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