soot.jimple.spark.ondemand.genericutil

Class Propagator<T>

java.lang.Object

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

public class Propagator<T>
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Propagator(java.util.Set<T> marked, Stack<T> worklist)

Method Summary

Methods

Modifier and Type	Method and 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(java.util.Set<T> marked,
          Stack<T> worklist)

Method Detail

prop

public void prop(T val)