| Package | Description |
|---|---|
| com.ibm.wala.demandpa.alg |
| Modifier and Type | Field and Description |
|---|---|
protected com.ibm.wala.util.intset.OrdinalSetMapping<InstanceKeyAndState> |
DemandRefinementPointsTo.PointsToComputer.ikAndStates
for numbering
InstanceKey, StateMachine.State pairs |
| Modifier and Type | Method and Description |
|---|---|
Collection<InstanceKeyAndState> |
DemandRefinementPointsTo.PointsToComputer.getComputedP2Set(PointerKeyAndState queried)
get a points-to set that has already been computed via some previous call to
DemandRefinementPointsTo.PointsToComputer.compute(); does _not_ do any fresh
demand-driven computation. |
Collection<InstanceKeyAndState> |
DemandRefinementPointsTo.getPointsToWithStates(PointerKey pk) |
| Modifier and Type | Method and Description |
|---|---|
com.ibm.wala.util.collections.Pair<DemandRefinementPointsTo.PointsToResult,Collection<PointerKey>> |
DemandRefinementPointsTo.getFlowsTo(InstanceKeyAndState ikAndState)
get all the pointer keys that some instance key with state can flow to
|
| Constructor and Description |
|---|
DemandRefinementPointsTo.FlowsToComputer(InstanceKeyAndState ikAndState) |
Copyright © 2015. All rights reserved.