Package com.ibm.wala.ssa

Class ShrikeIndirectionData.ShrikeLocalName

java.lang.Object

com.ibm.wala.ssa.ShrikeIndirectionData.ShrikeLocalName

All Implemented Interfaces:

SSAIndirectionData.Name

Enclosing class:

ShrikeIndirectionData

public static class ShrikeIndirectionData.ShrikeLocalName
extends Object
implements SSAIndirectionData.Name

In Shrike, the only "source" level entities which have names relevant to indirect pointer operations are bytecode locals.

Constructor Summary

Constructors

Constructor	Description
ShrikeLocalName(int bytecodeLocalNumber)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

ShrikeLocalName

public ShrikeLocalName(int bytecodeLocalNumber)

Method Details

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object