Package com.ibm.wala.demandpa.flowgraph
Class DemandPointerFlowGraph.NewMultiDimInfo
- java.lang.Object
-
- com.ibm.wala.demandpa.flowgraph.DemandPointerFlowGraph.NewMultiDimInfo
-
- Enclosing class:
- DemandPointerFlowGraph
public static class DemandPointerFlowGraph.NewMultiDimInfo extends Object
-
-
Field Summary
Fields Modifier and Type Field Description Collection<Pair<PointerKey,PointerKey>>
arrStoreInstrs
Collection<Pair<PointerKey,InstanceKey>>
newInstrs
-
Constructor Summary
Constructors Constructor Description NewMultiDimInfo(Collection<Pair<PointerKey,InstanceKey>> newInstrs, Collection<Pair<PointerKey,PointerKey>> arrStoreInstrs)
-
-
-
Field Detail
-
newInstrs
public final Collection<Pair<PointerKey,InstanceKey>> newInstrs
-
arrStoreInstrs
public final Collection<Pair<PointerKey,PointerKey>> arrStoreInstrs
-
-
Constructor Detail
-
NewMultiDimInfo
public NewMultiDimInfo(Collection<Pair<PointerKey,InstanceKey>> newInstrs, Collection<Pair<PointerKey,PointerKey>> arrStoreInstrs)
-
-