com.ibm.wala.classLoader

Interface IMethod

All Superinterfaces:

ContextItem, IClassHierarchyDweller, IMember

All Known Subinterfaces:

IBytecodeMethod<I>

All Known Implementing Classes:

AbstractReflectionInterpreter.SpecializedMethod, AbstractRootMethod, FactoryBypassInterpreter.SpecializedFactoryMethod, FakeRootMethod, FakeWorldClinitMethod, ShrikeBTMethod, ShrikeCTMethod, SummarizedMethod, SummarizedMethodWithNames, SyntheticMethod

public interface IMethod
extends IMember, ContextItem

Basic interface for an object that represents a single Java method for analysis purposes.

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static interface	IMethod.SourcePosition

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

ContextItem.Value<T>

Method Summary

Modifier and Type	Method and Description
TypeReference[]	getDeclaredExceptions()
Descriptor	getDescriptor() something like: (IILjava.lang.String;SLjava.sql.Date;)Ljava.lang.Integer;
int	getLineNumber(int bcIndex)
java.lang.String	getLocalVariableName(int bcIndex, int localNumber)
default int	getNumberOfDefaultParameters()
int	getNumberOfParameters() Method getNumberOfParameters.
IMethod.SourcePosition	getParameterSourcePosition(int paramNum)
TypeReference	getParameterType(int i) By convention, for a non-static method, getParameterType(0) is the this pointer
MethodReference	getReference()
TypeReference	getReturnType()
Selector	getSelector() something like: foo(Ljava/langString;)Ljava/lang/Class;
java.lang.String	getSignature() something like: com.foo.bar.createLargeOrder(IILjava.lang.String;SLjava.sql.Date;)Ljava.lang.Integer;
IMethod.SourcePosition	getSourcePosition(int instructionIndex)
boolean	hasExceptionHandler()
boolean	hasLocalVariableTable()
boolean	isAbstract() Is this method abstract?
boolean	isBridge() Is this method a bridge method? See JLS 3rd Edition 15.12.4.5
boolean	isClinit() Is this method a class initializer?
boolean	isFinal() Is this method final?
boolean	isInit() Is this method an object initializer?
boolean	isNative() Is this method native?
boolean	isPrivate() Is this method private?
boolean	isProtected() Is this method protected?
boolean	isPublic() Is this method public?
boolean	isSynchronized() Is this method synchronized?
boolean	isSynthetic() Is this method synthetic, i.e., compiler-generated (this refers to the synthetic flag in java/dex bytecode)
boolean	isWalaSynthetic() Is the implementation of this method a model generated by WALA? For compiler-generated synthetic methods, refer to isSynthetic()

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

getAnnotations, getDeclaringClass, getName, isStatic

Methods inherited from interface com.ibm.wala.ipa.cha.IClassHierarchyDweller

getClassHierarchy

Method Detail

isSynchronized

boolean isSynchronized()

Is this method synchronized?

isClinit

boolean isClinit()

Is this method a class initializer?

isInit

boolean isInit()

Is this method an object initializer?

isNative

boolean isNative()

Is this method native?

isWalaSynthetic

boolean isWalaSynthetic()

Is the implementation of this method a model generated by WALA? For compiler-generated synthetic methods, refer to isSynthetic()

isSynthetic

boolean isSynthetic()

Is this method synthetic, i.e., compiler-generated (this refers to the synthetic flag in java/dex bytecode)

isAbstract

boolean isAbstract()

Is this method abstract?

isPrivate

boolean isPrivate()

Is this method private?

isProtected

boolean isProtected()

Is this method protected?

isPublic

boolean isPublic()

Is this method public?

isFinal

boolean isFinal()

Is this method final?

isBridge

boolean isBridge()

Is this method a bridge method? See JLS 3rd Edition 15.12.4.5

getReference

MethodReference getReference()

Returns:

canonical MethodReference corresponding to this method

hasExceptionHandler

boolean hasExceptionHandler()

Returns:

true iff this method has at least one exception handler

getParameterType

TypeReference getParameterType(int i)

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

getReturnType

TypeReference getReturnType()

Returns:

the name of the return type for this method

getNumberOfParameters

int getNumberOfParameters()

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

getDeclaredExceptions

TypeReference[] getDeclaredExceptions()
                               throws com.ibm.wala.shrikeCT.InvalidClassFileException,
                                      java.lang.UnsupportedOperationException

Returns:

an array of the exception types declared by the throws clause for this method, or null if there are none

Throws:

com.ibm.wala.shrikeCT.InvalidClassFileException

java.lang.UnsupportedOperationException

getLineNumber

int getLineNumber(int bcIndex)

Returns:

the source line number corresponding to a particular bytecode index, or -1 if the information is not available.

getSourcePosition

IMethod.SourcePosition getSourcePosition(int instructionIndex)
                                  throws com.ibm.wala.shrikeCT.InvalidClassFileException

Throws:

com.ibm.wala.shrikeCT.InvalidClassFileException

getParameterSourcePosition

IMethod.SourcePosition getParameterSourcePosition(int paramNum)
                                           throws com.ibm.wala.shrikeCT.InvalidClassFileException

Throws:

com.ibm.wala.shrikeCT.InvalidClassFileException

getLocalVariableName

java.lang.String getLocalVariableName(int bcIndex,
                                      int localNumber)

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.

getSignature

java.lang.String getSignature()

something like: com.foo.bar.createLargeOrder(IILjava.lang.String;SLjava.sql.Date;)Ljava.lang.Integer;

getSelector

Selector getSelector()

something like: foo(Ljava/langString;)Ljava/lang/Class;

getDescriptor

Descriptor getDescriptor()

something like: (IILjava.lang.String;SLjava.sql.Date;)Ljava.lang.Integer;

hasLocalVariableTable

boolean hasLocalVariableTable()

Returns:

true iff the local variable table information for this method is available

getNumberOfDefaultParameters

default int getNumberOfDefaultParameters()