Package soot.jimple.spark.geom.geomPA
Class FIFO_Worklist
- java.lang.Object
-
- soot.jimple.spark.geom.geomPA.FIFO_Worklist
-
-
Constructor Summary
Constructors Constructor Description FIFO_Worklist()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidclear()booleanhas_job()voidinitialize(int size)Some worklist may need the initial capacity.IVarAbstractionnext()voidpush(IVarAbstraction pv)intsize()
-
-
-
Method Detail
-
initialize
public void initialize(int size)
Description copied from interface:IWorklistSome worklist may need the initial capacity.- Specified by:
initializein interfaceIWorklist
-
next
public IVarAbstraction next()
-
push
public void push(IVarAbstraction pv)
-
-