| Package | Description |
|---|---|
| soot.jimple.spark.ondemand | |
| soot.jimple.spark.ondemand.genericutil |
| Modifier and Type | Field and Description |
|---|---|
protected Stack<Pair<java.lang.Integer,ImmutableStack<java.lang.Integer>>> |
DemandCSPointsTo.callGraphStack |
protected Stack<Pair<java.lang.Integer,ImmutableStack<java.lang.Integer>>> |
DemandCSPointsTo.callGraphStack |
protected Stack<DemandCSPointsTo.VarAndContext> |
DemandCSPointsTo.contextForAllocsStack |
protected Stack<DemandCSPointsTo.VarAndContext> |
DemandCSPointsTo.contextForAllocsStack |
| Modifier and Type | Method and Description |
|---|---|
protected void |
DemandCSPointsTo.processIncomingEdges(DemandCSPointsTo.IncomingEdgeHandler h,
Stack<DemandCSPointsTo.VarAndContext> worklist) |
protected void |
DemandCSPointsTo.processIncomingEdges(DemandCSPointsTo.IncomingEdgeHandler h,
Stack<DemandCSPointsTo.VarAndContext> worklist) |
| Modifier and Type | Method and Description |
|---|---|
Stack<T> |
Stack.clone() |
Stack<T> |
Stack.clone() |
| Constructor and Description |
|---|
Propagator(java.util.Set<T> marked,
Stack<T> worklist) |
Propagator(java.util.Set<T> marked,
Stack<T> worklist) |