com.ibm.wala.dataflow.graph

Class BitVectorFramework<T,L>

java.lang.Object

com.ibm.wala.dataflow.graph.BasicFramework<T,BitVectorVariable>

com.ibm.wala.dataflow.graph.BitVectorFramework<T,L>

All Implemented Interfaces:

IKilldallFramework<T,BitVectorVariable>

public class BitVectorFramework<T,L>
extends BasicFramework<T,BitVectorVariable>

a basic implementation of the dataflow framework

Constructor Summary

Constructors

Constructor and Description
BitVectorFramework(Graph<T> flowGraph, ITransferFunctionProvider<T,BitVectorVariable> transferFunctionProvider, OrdinalSetMapping<L> latticeValues)

Method Summary

Modifier and Type	Method and Description
OrdinalSetMapping<L>	getLatticeValues()

Methods inherited from class com.ibm.wala.dataflow.graph.BasicFramework

getFlowGraph, getTransferFunctionProvider

Methods inherited from class java.lang.Object

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

Constructor Detail

BitVectorFramework

public BitVectorFramework(Graph<T> flowGraph,
                          ITransferFunctionProvider<T,BitVectorVariable> transferFunctionProvider,
                          OrdinalSetMapping<L> latticeValues)

Method Detail

getLatticeValues

public OrdinalSetMapping<L> getLatticeValues()