Package 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

Constructors

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

Method Summary

Modifier and Type	Method	Description
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)