com.ibm.wala.ipa.modref
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

GenReach(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(Graph<T> flowGraph,
                java.util.Map<T,java.util.Collection<L>> gen)