com.ibm.wala.analysis.reflection

Class FactoryBypassInterpreter.SpecializedFactoryMethod

java.lang.Object

com.ibm.wala.classLoader.SyntheticMethod

com.ibm.wala.analysis.reflection.AbstractReflectionInterpreter.SpecializedMethod

com.ibm.wala.analysis.reflection.FactoryBypassInterpreter.SpecializedFactoryMethod

All Implemented Interfaces:

IMember, IMethod, ContextItem, IClassHierarchyDweller

Enclosing class:

FactoryBypassInterpreter

protected class FactoryBypassInterpreter.SpecializedFactoryMethod
extends AbstractReflectionInterpreter.SpecializedMethod

Nested Class Summary

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

IMethod.SourcePosition

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

ContextItem.Value<T>

Field Summary

Fields inherited from class com.ibm.wala.analysis.reflection.AbstractReflectionInterpreter.SpecializedMethod

allInstructions, allocations, typesAllocated

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

declaringClass, NO_STATEMENTS, resolvedMethod

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	SpecializedFactoryMethod(SummarizedMethod m, Context context, java.util.Set<TypeReference> S)

Method Summary

Modifier and Type	Method and Description
protected void	addStatementsForTypeAbstraction(TypeAbstraction T)
boolean	equals(java.lang.Object obj) Two specialized methods can be different, even if they represent the same source method.
java.util.List<SSAInstruction>	getAllocationStatements()
IClass	getDeclaringClass() Return the object that represents the declaring class for this member.
java.util.List<SSAInstruction>	getInvokeStatements()
int	getNumberOfParameters() Method getNumberOfParameters.
TypeReference	getParameterType(int i) By convention, for a non-static method, getParameterType(0) is the this pointer
SSAInstruction[]	getStatements()
int	hashCode()
IR	makeIR(Context C, SSAOptions options) Most subclasses should override this.
java.lang.String	toString()

Methods inherited from class com.ibm.wala.analysis.reflection.AbstractReflectionInterpreter.SpecializedMethod

addCtorInvokeInstruction, addInstruction, addStatementsForConcreteSimpleType

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

getAnnotations, getBytecodeStream, getClassHierarchy, getDeclaredExceptions, getDescriptor, getLineNumber, getLocalVariableName, getMaxLocals, getMaxStackHeight, getName, getParameterSourcePosition, getPoison, getPoisonLevel, getReference, getReturnType, getSelector, getSignature, getSourcePosition, getStatements, hasExceptionHandler, hasLocalVariableTable, hasPoison, isAbstract, isBridge, isClinit, isFactoryMethod, isFinal, isInit, isNative, isPrivate, isProtected, isPublic, isStatic, isSynchronized, isSynthetic, isWalaSynthetic, makeControlFlowGraph

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 Detail

SpecializedFactoryMethod

protected SpecializedFactoryMethod(SummarizedMethod m,
                                   Context context,
                                   java.util.Set<TypeReference> S)

Method Detail

addStatementsForTypeAbstraction

protected void addStatementsForTypeAbstraction(TypeAbstraction T)

getAllocationStatements

public java.util.List<SSAInstruction> getAllocationStatements()

getInvokeStatements

public java.util.List<SSAInstruction> getInvokeStatements()

equals

public boolean equals(java.lang.Object obj)

Two specialized methods can be different, even if they represent the same source method. So, revert to object identity for testing equality. TODO: this is non-optimal; could try to re-use specialized methods that have the same context.

Overrides:

equals in class SyntheticMethod

See Also:

Object.equals(java.lang.Object)

hashCode

public int hashCode()

Overrides:

hashCode in class SyntheticMethod

toString

public java.lang.String toString()

Overrides:

toString in class SyntheticMethod

getStatements

public SSAInstruction[] getStatements()

Overrides:

getStatements in class SyntheticMethod

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

Overrides:

getDeclaringClass in class SyntheticMethod

Returns:

the object that represents the declaring class for this member.

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

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

makeIR

public IR makeIR(Context C,
                 SSAOptions options)

Description copied from class: SyntheticMethod

Most subclasses should override this.

Overrides:

makeIR in class SyntheticMethod

Parameters:

C - TODO

options - options governing IR conversion