com.ibm.wala.ipa.modref

Class GenReach<T,L>

java.lang.Object

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

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

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

All Implemented Interfaces:

com.ibm.wala.dataflow.graph.IKilldallFramework<T,com.ibm.wala.fixpoint.BitVectorVariable>

public class GenReach<T,L>
extends com.ibm.wala.dataflow.graph.BitVectorFramework<T,L>

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

Constructor Summary

Constructors

Constructor and Description
GenReach(com.ibm.wala.util.graph.Graph<T> flowGraph, java.util.Map<T,java.util.Collection<L>> gen)

Method Summary

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

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

GenReach

public GenReach(com.ibm.wala.util.graph.Graph<T> flowGraph,
                java.util.Map<T,java.util.Collection<L>> gen)