com.ibm.wala.classLoader
Class SyntheticMethod

java.lang.Object
  com.ibm.wala.classLoader.SyntheticMethod

All Implemented Interfaces:

IMember, IMethod, ContextItem, IClassHierarchyDweller

Direct Known Subclasses:

AbstractRootMethod, CommandInterpreter.SpecializedExecuteMethod, FactoryBypassInterpreter.SpecializedFactoryMethod, SummarizedMethod

public class SyntheticMethod
extends java.lang.Object
implements IMethod

Field Summary

static SSAInstruction[]

NO_STATEMENTS

Constructor Summary

SyntheticMethod(IMethod method, IClass declaringClass, boolean isStatic, boolean isFactory)

SyntheticMethod(MethodReference method, IClass declaringClass, boolean isStatic, boolean isFactory)

Method Summary

boolean	equals(java.lang.Object obj)
BytecodeStream	getBytecodeStream()
ClassHierarchy	getClassHierarchy()
TypeReference[]	getDeclaredExceptions()
IClass	getDeclaringClass() Return the object that represents the declaring class for this member.
Descriptor	getDescriptor() Method getDescriptor.
int	getLineNumber(int bcIndex)
java.lang.String	getLocalVariableName(int bcIndex, int localNumber)
int	getMaxLocals()
int	getMaxStackHeight()
Atom	getName()
int	getNumberOfParameters() Method getNumberOfParameters.
TypeReference	getParameterType(int i) Method getParameterType.
java.lang.String	getPoison()
byte	getPoisonLevel()
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;
SSAInstruction[]	getStatements(SSAOptions options, WarningSet warnings)
SSAInstruction[]	getStatements(WarningSet warnings)
boolean	hasExceptionHandler()
int	hashCode()
boolean	hasLocalVariableTable()
boolean	hasPoison()
boolean	isAbstract() Is this method abstract?
boolean	isClinit() Is this method a class initializer?
boolean	isFactoryMethod()
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	isStatic() Is this member static?
boolean	isSynchronized() Is this method synchronized?
boolean	isSynthetic() Did someone synthesize this method? (As opposed to reading it from a class file)
boolean	isVolatile() Is this member volatile?
InducedCFG	makeControlFlowGraph()
IR	makeIR(SSAOptions options, WarningSet warnings)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

NO_STATEMENTS

public static final SSAInstruction[] NO_STATEMENTS

Constructor Detail

SyntheticMethod

public SyntheticMethod(MethodReference method,
                       IClass declaringClass,
                       boolean isStatic,
                       boolean isFactory)

SyntheticMethod

public SyntheticMethod(IMethod method,
                       IClass declaringClass,
                       boolean isStatic,
                       boolean isFactory)

Method Detail

isClinit

public boolean isClinit()

Description copied from interface: IMethod

Is this method a class initializer?

Specified by:

isClinit in interface IMethod

Returns:

boolean

See Also:

IMethod.isClinit()

isInit

public boolean isInit()

Description copied from interface: IMethod

Is this method an object initializer?

Specified by:

isInit in interface IMethod

Returns:

boolean

See Also:

IMethod.isInit()

isStatic

public boolean isStatic()

Description copied from interface: IMember

Is this member static?

Specified by:

isStatic in interface IMember

See Also:

IMember.isStatic()

isNative

public boolean isNative()

Description copied from interface: IMethod

Is this method native?

Specified by:

isNative in interface IMethod

Returns:

boolean

See Also:

IMethod.isNative()

isAbstract

public boolean isAbstract()

Description copied from interface: IMethod

Is this method abstract?

Specified by:

isAbstract in interface IMethod

Returns:

boolean

See Also:

IMethod.isAbstract()

isPrivate

public boolean isPrivate()

Description copied from interface: IMethod

Is this method private?

Specified by:

isPrivate in interface IMethod

Returns:

boolean

See Also:

IMethod.isPrivate()

isProtected

public boolean isProtected()

Description copied from interface: IMethod

Is this method protected?

Specified by:

isProtected in interface IMethod

Returns:

boolean

isPublic

public boolean isPublic()

Description copied from interface: IMethod

Is this method public?

Specified by:

isPublic in interface IMethod

Returns:

boolean

isFinal

public boolean isFinal()

Description copied from interface: IMethod

Is this method final?

Specified by:

isFinal in interface IMethod

Returns:

boolean

See Also:

IMethod.isFinal()

isVolatile

public boolean isVolatile()

Description copied from interface: IMember

Is this member volatile?

Specified by:

isVolatile in interface IMember

See Also:

IMember.isVolatile()

isSynchronized

public boolean isSynchronized()

Description copied from interface: IMethod

Is this method synchronized?

Specified by:

isSynchronized in interface IMethod

Returns:

boolean

See Also:

IMethod.isAbstract()

isSynthetic

public boolean isSynthetic()

Description copied from interface: IMethod

Did someone synthesize this method? (As opposed to reading it from a class file)

Specified by:

isSynthetic in interface IMethod

Returns:

boolean

See Also:

IMethod.isSynthetic()

getReference

public MethodReference getReference()

Specified by:

getReference in interface IMethod

Returns:

canonical MethodReference corresponding to this method

See Also:

IMethod.getReference()

makeControlFlowGraph

public InducedCFG makeControlFlowGraph()

getBytecodeStream

public BytecodeStream getBytecodeStream()

getMaxLocals

public int getMaxLocals()

Specified by:

getMaxLocals in interface IMethod

Returns:

maximum number of JVM locals used by this method

See Also:

IMethod.getMaxLocals()

getMaxStackHeight

public int getMaxStackHeight()

Specified by:

getMaxStackHeight in interface IMethod

Returns:

maximum height of JVM stack used by this method

See Also:

IMethod.getMaxStackHeight()

getDeclaringClass

public IClass getDeclaringClass()

Description copied from interface: IMember

Return the object that represents the declaring class for this member.

Specified by:

getDeclaringClass in interface IMember

Returns:

the object that represents the declaring class for this member.

See Also:

IMember.getDeclaringClass()

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

See Also:

Object.equals(Object)

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

See Also:

Object.hashCode()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

See Also:

Object.toString()

hasExceptionHandler

public boolean hasExceptionHandler()

Specified by:

hasExceptionHandler in interface IMethod

Returns:

true iff this method has at least one exception handler

hasPoison

public boolean hasPoison()

getPoison

public java.lang.String getPoison()

getPoisonLevel

public byte getPoisonLevel()

getStatements

public SSAInstruction[] getStatements(SSAOptions options,
                                      WarningSet warnings)

makeIR

public IR makeIR(SSAOptions options,
                 WarningSet warnings)

getParameterType

public TypeReference getParameterType(int i)

Description copied from interface: IMethod

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

Specified by:

getParameterType in interface IMethod

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

See Also:

IMethod.getNumberOfParameters()

getDeclaredExceptions

public TypeReference[] getDeclaredExceptions()
                                      throws InvalidClassFileException

Specified by:

getDeclaredExceptions in interface IMethod

Returns:

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

Throws:

InvalidClassFileException

getName

public Atom getName()

Specified by:

getName in interface IMember

Returns:

the name of this member

getDescriptor

public Descriptor getDescriptor()

Description copied from interface: IMethod

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

Specified by:

getDescriptor in interface IMethod

Returns:

Descriptor

getLineNumber

public int getLineNumber(int bcIndex)

Specified by:

getLineNumber in interface IMethod

Returns:

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

isFactoryMethod

public boolean isFactoryMethod()

getSignature

public java.lang.String getSignature()

Description copied from interface: IMethod

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

Specified by:

getSignature in interface IMethod

Returns:

String

getSelector

public Selector getSelector()

Description copied from interface: IMethod

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

Specified by:

getSelector in interface IMethod

Returns:

String

getLocalVariableName

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

Specified by:

getLocalVariableName in interface IMethod

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.

hasLocalVariableTable

public boolean hasLocalVariableTable()

Specified by:

hasLocalVariableTable in interface IMethod

Returns:

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

getStatements

public SSAInstruction[] getStatements(WarningSet warnings)

getReturnType

public TypeReference getReturnType()

Specified by:

getReturnType in interface IMethod

Returns:

the name of the return type for this method

getClassHierarchy

public ClassHierarchy getClassHierarchy()

Specified by:

getClassHierarchy in interface IClassHierarchyDweller