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 java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
java.util.Collection<com.ibm.wala.util.collections.Pair<PointerKey,PointerKey>>	arrStoreInstrs
java.util.Collection<com.ibm.wala.util.collections.Pair<PointerKey,InstanceKey>>	newInstrs

Constructor Summary

Constructors

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

arrStoreInstrs

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

Constructor Detail

NewMultiDimInfo

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