com.ibm.wala.ipa.summaries

Class MethodSummary

java.lang.Object

com.ibm.wala.ipa.summaries.MethodSummary

public class MethodSummary
extends java.lang.Object

Summary information for a method.

Field Summary

Fields

Modifier and Type	Field and Description
protected static SSAInstruction[]	NO_STATEMENTS

Constructor Summary

Constructors

Constructor and Description
MethodSummary(MethodReference method)

Method Summary

Modifier and Type	Method and Description
void	addConstant(java.lang.Integer vn, ConstantValue value)
void	addPoison(java.lang.String reason)
void	addStatement(SSAInstruction statement)
java.util.Map<java.lang.Integer,ConstantValue>	getConstants()
MethodReference	getMethod() Returns the method.
int	getNumberOfParameters()
int	getNumberOfStatements()
TypeReference	getParameterType(int i) Note that by convention, getParameterType(0) == this for non-static methods.
java.lang.String	getPoison()
byte	getPoisonLevel()
TypeReference	getReturnType()
SSAInstruction[]	getStatements()
Atom	getValue(java.lang.Integer v)
java.util.Map<java.lang.Integer,Atom>	getValueNames()
boolean	hasPoison()
boolean	isFactory()
boolean	isNative()
boolean	isStatic()
void	setFactory(boolean b) Record if this is a "factory" method; meaning it returns some object which we know little about ...
void	setPoisonLevel(byte b)
void	setStatic(boolean b)
void	setValueNames(java.util.Map<java.lang.Integer,Atom> nameTable)
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

NO_STATEMENTS

protected static final SSAInstruction[] NO_STATEMENTS

Constructor Detail

MethodSummary

public MethodSummary(MethodReference method)

Method Detail

setValueNames

public void setValueNames(java.util.Map<java.lang.Integer,Atom> nameTable)

getValueNames

public java.util.Map<java.lang.Integer,Atom> getValueNames()

getValue

public Atom getValue(java.lang.Integer v)

getNumberOfStatements

public int getNumberOfStatements()

addStatement

public void addStatement(SSAInstruction statement)

addConstant

public void addConstant(java.lang.Integer vn,
                        ConstantValue value)

getMethod

public MethodReference getMethod()

Returns the method.

Returns:

MethodReference

isNative

public boolean isNative()

addPoison

public void addPoison(java.lang.String reason)

hasPoison

public boolean hasPoison()

getPoison

public java.lang.String getPoison()

setPoisonLevel

public void setPoisonLevel(byte b)

getPoisonLevel

public byte getPoisonLevel()

getStatements

public SSAInstruction[] getStatements()

getConstants

public java.util.Map<java.lang.Integer,ConstantValue> getConstants()

getNumberOfParameters

public int getNumberOfParameters()

Returns:

the number of parameters, including the implicit 'this'

isStatic

public boolean isStatic()

setStatic

public void setStatic(boolean b)

getReturnType

public TypeReference getReturnType()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getParameterType

public TypeReference getParameterType(int i)

Note that by convention, getParameterType(0) == this for non-static methods.

setFactory

public void setFactory(boolean b)

Record if this is a "factory" method; meaning it returns some object which we know little about ... usually we'll resolve this based on downstream uses of the object

isFactory

public boolean isFactory()