soot.jimple.spark.ondemand.genericutil
Class Propagator<T>

java.lang.Object
  soot.jimple.spark.ondemand.genericutil.Propagator<T>

public class Propagator<T>
extends Object

Constructor Summary

Propagator(Set<T> marked, Stack<T> worklist)

Method Summary

void	prop(T val)

Methods inherited from class java.lang.Object

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

Constructor Detail

Propagator

public Propagator(Set<T> marked,
                  Stack<T> worklist)

Method Detail

prop

public void prop(T val)