PropWorklist

```
public final class PropWorklist
extends Propagator
```
Propagates points-to sets along pointer assignment graph using a worklist.

Fields
Modifier and Type	Field and Description
`protected OnFlyCallGraph`	`ofcg`
`protected PAG`	`pag`
`protected java.util.Set<VarNode>`	`varNodeWorkList`

Constructors
Constructor and Description
`PropWorklist(PAG pag)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`protected boolean`	`handleAllocNode(AllocNode src)` Propagates new points-to information of node src to all its successors.
`protected void`	`handleFieldRefNode(FieldRefNode src, java.util.HashSet<java.lang.Object[]> edgesToPropagate)` Propagates new points-to information of node src to all its successors.
`protected boolean`	`handleVarNode(VarNode src)` Propagates new points-to information of node src to all its successors.
`void`	`propagate()` Actually does the propagation.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

protected final java.util.Set<VarNode> varNodeWorkList

Class PropWorklist