boomerang.scene.wala

Class WALAMethod

java.lang.Object

boomerang.scene.Method

boomerang.scene.wala.WALAMethod

All Implemented Interfaces:

wpds.interfaces.Location

public class WALAMethod
extends Method

Constructor Summary

Constructors

Constructor and Description
WALAMethod(com.ibm.wala.classLoader.IMethod delegate, com.ibm.wala.ssa.IR ir, com.ibm.wala.ipa.cha.IClassHierarchy cha)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
Statement	getBranchTarget(int target)
ControlFlowGraph	getControlFlowGraph()
WrappedClass	getDeclaringClass()
com.ibm.wala.classLoader.IMethod	getDelegate()
Set<Val>	getLocals()
String	getName()
List<Val>	getParameterLocals()
List<Statement>	getStatements()
String	getSubSignature()
Val	getThisLocal()
com.ibm.wala.analysis.typeInference.TypeInference	getTypeInference()
int	hashCode()
boolean	isConstructor()
boolean	isNative()
boolean	isParameterLocal(Val val)
boolean	isPublic()
boolean	isStatic()
boolean	isStaticInitializer()
boolean	isThisLocal(Val val)
String	toString()

Methods inherited from class boomerang.scene.Method

accepts, epsilon, getParameterLocal, getReturnLocals

Methods inherited from class java.lang.Object

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

Constructor Detail

WALAMethod

public WALAMethod(com.ibm.wala.classLoader.IMethod delegate,
                  com.ibm.wala.ssa.IR ir,
                  com.ibm.wala.ipa.cha.IClassHierarchy cha)

Method Detail

isStaticInitializer

public boolean isStaticInitializer()

Specified by:

isStaticInitializer in class Method

isParameterLocal

public boolean isParameterLocal(Val val)

Specified by:

isParameterLocal in class Method

isThisLocal

public boolean isThisLocal(Val val)

Specified by:

isThisLocal in class Method

getLocals

public Set<Val> getLocals()

Specified by:

getLocals in class Method

getThisLocal

public Val getThisLocal()

Specified by:

getThisLocal in class Method

getParameterLocals

public List<Val> getParameterLocals()

Specified by:

getParameterLocals in class Method

isStatic

public boolean isStatic()

Specified by:

isStatic in class Method

isNative

public boolean isNative()

Specified by:

isNative in class Method

getStatements

public List<Statement> getStatements()

Specified by:

getStatements in class Method

getDeclaringClass

public WrappedClass getDeclaringClass()

Specified by:

getDeclaringClass in class Method

getControlFlowGraph

public ControlFlowGraph getControlFlowGraph()

Specified by:

getControlFlowGraph in class Method

getSubSignature

public String getSubSignature()

Specified by:

getSubSignature in class Method

getName

public String getName()

Specified by:

getName in class Method

getDelegate

public com.ibm.wala.classLoader.IMethod getDelegate()

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 Method

getTypeInference

public com.ibm.wala.analysis.typeInference.TypeInference getTypeInference()

isConstructor

public boolean isConstructor()

Specified by:

isConstructor in class Method

isPublic

public boolean isPublic()

Specified by:

isPublic in class Method

getBranchTarget

public Statement getBranchTarget(int target)