Package com.ibm.wala.ipa.summaries

Class SummarizedMethod

java.lang.Object

com.ibm.wala.classLoader.SyntheticMethod

com.ibm.wala.ipa.summaries.SummarizedMethod

All Implemented Interfaces:

IMember, IMethod, ContextItem, IClassHierarchyDweller

Direct Known Subclasses:

JavaScriptSummarizedFunction, SummarizedMethodWithNames

public class SummarizedMethod
extends SyntheticMethod

A SyntheticMethod representing the semantics encoded in a MethodSummary

Nested Class Summary

Nested classes/interfaces inherited from interface com.ibm.wala.ipa.callgraph.ContextItem

ContextItem.Value<T>

Nested classes/interfaces inherited from interface com.ibm.wala.classLoader.IMethod

IMethod.SourcePosition

Field Summary

Fields inherited from class com.ibm.wala.classLoader.SyntheticMethod

declaringClass, NO_STATEMENTS, resolvedMethod

Constructor Summary

Constructors

Constructor	Description
SummarizedMethod(MethodReference ref, MethodSummary summary, IClass declaringClass)

Method Summary

Modifier and Type	Method	Description
String	getLocalVariableName(int bcIndex, int localNumber)
int	getNumberOfParameters()	Method getNumberOfParameters.
TypeReference	getParameterType(int i)	By convention, for a non-static method, getParameterType(0) is the this pointer
String	getPoison()
byte	getPoisonLevel()
SSAInstruction[]	getStatements(SSAOptions options)
boolean	hasPoison()
boolean	isAbstract()	Is this method abstract?
boolean	isNative()	Is this method native?
boolean	isStatic()	Is this member static?
IR	makeIR(Context context, SSAOptions options)	Most subclasses should override this.

Methods inherited from class com.ibm.wala.classLoader.SyntheticMethod

equals, getAnnotations, getBytecodeStream, getClassHierarchy, getDeclaredExceptions, getDeclaringClass, getDescriptor, getLineNumber, getMaxLocals, getMaxStackHeight, getName, getParameterSourcePosition, getReference, getReturnType, getSelector, getSignature, getSourcePosition, getStatements, hasExceptionHandler, hashCode, hasLocalVariableTable, isAnnotation, isBridge, isClinit, isEnum, isFactoryMethod, isFinal, isInit, isModule, isPrivate, isProtected, isPublic, isSynchronized, isSynthetic, isWalaSynthetic, makeControlFlowGraph, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.ibm.wala.classLoader.IMethod

getNumberOfDefaultParameters

Constructor Details

SummarizedMethod

public SummarizedMethod(MethodReference ref,
 MethodSummary summary,
 IClass declaringClass)
                 throws NullPointerException

Throws:

NullPointerException

Method Details

isNative

public boolean isNative()

Description copied from interface: IMethod

Is this method native?

Specified by:

isNative in interface IMethod

Overrides:

isNative in class SyntheticMethod

See Also:

• IMethod.isNative()

isAbstract

public boolean isAbstract()

Description copied from interface: IMethod

Is this method abstract?

Specified by:

isAbstract in interface IMethod

Overrides:

isAbstract in class SyntheticMethod

See Also:

• IMethod.isAbstract()

getPoison

public String getPoison()

Overrides:

getPoison in class SyntheticMethod

getPoisonLevel

public byte getPoisonLevel()

Overrides:

getPoisonLevel in class SyntheticMethod

hasPoison

public boolean hasPoison()

Overrides:

hasPoison in class SyntheticMethod

getStatements

public SSAInstruction[] getStatements(SSAOptions options)

Overrides:

getStatements in class SyntheticMethod

makeIR

public IR makeIR(Context context,
 SSAOptions options)

Description copied from class: SyntheticMethod

Most subclasses should override this.

Overrides:

makeIR in class SyntheticMethod

Parameters:

context - TODO

options - options governing IR conversion

getNumberOfParameters

public int getNumberOfParameters()

Description copied from interface: IMethod

Method getNumberOfParameters. This result includes the "this" pointer if applicable

Specified by:

getNumberOfParameters in interface IMethod

Overrides:

getNumberOfParameters in class SyntheticMethod

See Also:

• IMethod.getNumberOfParameters()

isStatic

public boolean isStatic()

Description copied from interface: IMember

Is this member static?

Specified by:

isStatic in interface IMember

Overrides:

isStatic in class SyntheticMethod

See Also:

• IMember.isStatic()

getParameterType

public TypeReference getParameterType(int i)

Description copied from interface: IMethod

By convention, for a non-static method, getParameterType(0) is the this pointer

Specified by:

getParameterType in interface IMethod

Overrides:

getParameterType in class SyntheticMethod

See Also:

• IMethod.getParameterType(int)

getLocalVariableName

public String getLocalVariableName(int bcIndex,
 int localNumber)

Specified by:

getLocalVariableName in interface IMethod

Overrides:

getLocalVariableName in class SyntheticMethod

Returns:

the (source code) name of the local variable of a given number at the specified program counter, or null if the information is not available.