Package 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>

Direct Known Subclasses:

GenReach

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

a basic implementation of the dataflow framework

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	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 Details

BitVectorFramework

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

Method Details

getLatticeValues

public OrdinalSetMapping<L> getLatticeValues()