Class DemandPointerFlowGraph.NewMultiDimInfo
java.lang.Object
com.ibm.wala.demandpa.flowgraph.DemandPointerFlowGraph.NewMultiDimInfo
- Enclosing class:
DemandPointerFlowGraph
-
Field Summary
Modifier and TypeFieldDescriptionfinal Collection
<Pair<PointerKey, PointerKey>> final Collection
<Pair<PointerKey, InstanceKey>> -
Constructor Summary
ConstructorDescriptionNewMultiDimInfo
(Collection<Pair<PointerKey, InstanceKey>> newInstrs, Collection<Pair<PointerKey, PointerKey>> arrStoreInstrs) -
Method Summary
-
Field Details
-
newInstrs
-
arrStoreInstrs
-
-
Constructor Details
-
NewMultiDimInfo
public NewMultiDimInfo(Collection<Pair<PointerKey, InstanceKey>> newInstrs, Collection<Pair<PointerKey, PointerKey>> arrStoreInstrs)
-