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
final Collection<Pair<PointerKey,PointerKey>>	arrStoreInstrs
final Collection<Pair<PointerKey,InstanceKey>>	newInstrs

Constructor Summary

Constructors

Constructor	Description
NewMultiDimInfo(Collection<Pair<PointerKey,InstanceKey>> newInstrs, Collection<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 Details

newInstrs

public final Collection<Pair<PointerKey,InstanceKey>> newInstrs

arrStoreInstrs

public final Collection<Pair<PointerKey,PointerKey>> arrStoreInstrs

Constructor Details

NewMultiDimInfo

public NewMultiDimInfo(Collection<Pair<PointerKey,InstanceKey>> newInstrs,
 Collection<Pair<PointerKey,PointerKey>> arrStoreInstrs)