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 and Description
Collection<com.ibm.wala.util.collections.Pair<PointerKey,PointerKey>>	arrStoreInstrs
Collection<com.ibm.wala.util.collections.Pair<PointerKey,InstanceKey>>	newInstrs

Constructor Summary

Constructors

Constructor and Description
DemandPointerFlowGraph.NewMultiDimInfo(Collection<com.ibm.wala.util.collections.Pair<PointerKey,InstanceKey>> newInstrs, Collection<com.ibm.wala.util.collections.Pair<PointerKey,PointerKey>> arrStoreInstrs)

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

newInstrs

public final Collection<com.ibm.wala.util.collections.Pair<PointerKey,InstanceKey>> newInstrs

arrStoreInstrs

public final Collection<com.ibm.wala.util.collections.Pair<PointerKey,PointerKey>> arrStoreInstrs

Constructor Detail

DemandPointerFlowGraph.NewMultiDimInfo

public DemandPointerFlowGraph.NewMultiDimInfo(Collection<com.ibm.wala.util.collections.Pair<PointerKey,InstanceKey>> newInstrs,
                                      Collection<com.ibm.wala.util.collections.Pair<PointerKey,PointerKey>> arrStoreInstrs)