Class LocalPointerKey

java.lang.Object

com.ibm.wala.ipa.callgraph.propagation.AbstractPointerKey

com.ibm.wala.ipa.callgraph.propagation.AbstractLocalPointerKey

com.ibm.wala.ipa.callgraph.propagation.LocalPointerKey

All Implemented Interfaces:

PointerKey

Direct Known Subclasses:

LocalPointerKeyWithFilter

public class LocalPointerKey
extends AbstractLocalPointerKey

A pointer key which provides a unique set for each local in each call graph node.

Constructor Summary

Constructors

Constructor	Description
LocalPointerKey(CGNode node, int valueNumber)

Method Summary

Modifier and Type	Method	Description
final boolean	equals(Object obj)
final CGNode	getNode()
final int	getValueNumber()
final int	hashCode()
final boolean	isParameter()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

LocalPointerKey

public LocalPointerKey(CGNode node,
 int valueNumber)

Method Details

equals

public final boolean equals(Object obj)

Specified by:

equals in class AbstractPointerKey

hashCode

public final int hashCode()

Specified by:

hashCode in class AbstractPointerKey

toString

public String toString()

Overrides:

toString in class Object

getNode

public final CGNode getNode()

Specified by:

getNode in class AbstractLocalPointerKey

getValueNumber

public final int getValueNumber()

isParameter

public final boolean isParameter()