soot.jimple.spark.solver
Class Propagator

java.lang.Object
  |
  +--soot.jimple.spark.solver.Propagator
Direct Known Subclasses:
PropAlias, PropCycle, PropIter, PropMerge, PropWorklist

public abstract class Propagator
extends java.lang.Object

Abstract base class for a propagator that propagates points-to sets along pointer assignment graph.


Constructor Summary
Propagator()
           
 
Method Summary
abstract  void propagate()
          Actually does the propagation.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Propagator

public Propagator()
Method Detail

propagate

public abstract void propagate()
Actually does the propagation.