Class GenReach<T,L>

java.lang.Object

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

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

com.ibm.wala.ipa.modref.GenReach<T,L>

All Implemented Interfaces:

IKilldallFramework<T, BitVectorVariable>

public class GenReach<T,L>
extends BitVectorFramework<T,L>

Generic dataflow framework to accumulate reachable gen'ned values in a graph.

Constructor Summary

Constructors

Constructor	Description
GenReach(Graph<T> flowGraph, Map<T, Collection<L>> gen)

Method Summary

Methods inherited from class BitVectorFramework

getLatticeValues

Methods inherited from class BasicFramework

getFlowGraph, getTransferFunctionProvider

Methods inherited from class Object

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

Constructor Details

GenReach

public GenReach(Graph<T> flowGraph,
 Map<T, Collection<L>> gen)