com.ibm.wala.ipa.callgraph.propagation

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 and Description
LocalPointerKey(CGNode node, int valueNumber)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

LocalPointerKey

public LocalPointerKey(CGNode node,
                       int valueNumber)

Method Detail

equals

public final boolean equals(java.lang.Object obj)

Specified by:

equals in class AbstractPointerKey

hashCode

public final int hashCode()

Specified by:

hashCode in class AbstractPointerKey

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getNode

public final CGNode getNode()

Specified by:

getNode in class AbstractLocalPointerKey

getValueNumber

public final int getValueNumber()

isParameter

public final boolean isParameter()