Package com.ibm.wala.demandpa.flowgraph

Class PointerKeyAndCallSite

java.lang.Object

com.ibm.wala.demandpa.flowgraph.PointerKeyAndCallSite

public class PointerKeyAndCallSite
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
PointerKeyAndCallSite(PointerKey key, CallSiteReference callSiteRef)

Method Summary

Modifier and Type	Method	Description
boolean	equals(java.lang.Object obj)
CallSiteReference	getCallSiteRef()
PointerKey	getKey()
int	hashCode()

Methods inherited from class java.lang.Object

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

Constructor Detail

PointerKeyAndCallSite

public PointerKeyAndCallSite(PointerKey key,
                             CallSiteReference callSiteRef)

Method Detail

getCallSiteRef

public CallSiteReference getCallSiteRef()

getKey

public PointerKey getKey()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object