Uses of Interface
soot.jimple.spark.geom.geomPA.IWorklist

Packages that use IWorklist

Package	Description
soot.jimple.spark.geom.geomE
soot.jimple.spark.geom.geomPA
soot.jimple.spark.geom.heapinsE
soot.jimple.spark.geom.ptinsE

Uses of IWorklist in soot.jimple.spark.geom.geomE

Methods in soot.jimple.spark.geom.geomE with parameters of type IWorklist

Modifier and Type	Method and Description
void	FullSensitiveNode.propagate(GeomPointsTo ptAnalyzer, IWorklist worklist) The place where you implement the pointer assignment reasoning.

Uses of IWorklist in soot.jimple.spark.geom.geomPA

Classes in soot.jimple.spark.geom.geomPA that implement IWorklist

Modifier and Type	Class and Description
class	FIFO_Worklist Implementation of the worklist with FIFO strategy.
class	PQ_Worklist The implementation of prioritized worklist.

Fields in soot.jimple.spark.geom.geomPA declared as IWorklist

Modifier and Type	Field and Description
protected IWorklist	GeomPointsTo.worklist

Methods in soot.jimple.spark.geom.geomPA that return IWorklist

Modifier and Type	Method and Description
IWorklist	GeomPointsTo.getWorklist()

Methods in soot.jimple.spark.geom.geomPA with parameters of type IWorklist

Modifier and Type	Method and Description
abstract void	IVarAbstraction.propagate(GeomPointsTo ptAnalyzer, IWorklist worklist)
void	DummyNode.propagate(GeomPointsTo ptAnalyzer, IWorklist worklist)

Uses of IWorklist in soot.jimple.spark.geom.heapinsE

Methods in soot.jimple.spark.geom.heapinsE with parameters of type IWorklist

Modifier and Type	Method and Description
void	HeapInsNode.propagate(GeomPointsTo ptAnalyzer, IWorklist worklist) An efficient implementation of differential propagation.

Uses of IWorklist in soot.jimple.spark.geom.ptinsE

Methods in soot.jimple.spark.geom.ptinsE with parameters of type IWorklist

Modifier and Type	Method and Description
void	PtInsNode.propagate(GeomPointsTo ptAnalyzer, IWorklist worklist) Deprecated. An efficient implementation of differential propagation.