Class AstJavaInvokeInstruction

java.lang.Object

com.ibm.wala.ssa.SSAInstruction

com.ibm.wala.ssa.SSAAbstractInvokeInstruction

com.ibm.wala.cast.ir.ssa.MultiReturnValueInvokeInstruction

com.ibm.wala.cast.ir.ssa.FixedParametersInvokeInstruction

com.ibm.wala.cast.java.ssa.AstJavaInvokeInstruction

public class AstJavaInvokeInstruction
extends FixedParametersInvokeInstruction

Nested Class Summary

Nested classes/interfaces inherited from class SSAInstruction

SSAInstruction.IVisitor, SSAInstruction.Visitor

Modifier and Type	Class	Description
static interface	SSAInstruction.IVisitor	This interface is used by Instruction.visit to dispatch based on the instruction type.
static class	SSAInstruction.Visitor	A base visitor implementation that does nothing.

Field Summary

Fields inherited from class MultiReturnValueInvokeInstruction

results

Modifier and Type	Field	Description
protected final int[]	results

Fields inherited from class SSAAbstractInvokeInstruction

exception, site

Modifier and Type	Field	Description
protected final int	exception	The value number which represents the exception object which the call may throw.
protected final CallSiteReference	site	The call site, containing the program counter location and the method being called.

Fields inherited from class SSAInstruction

NO_INDEX

Modifier and Type	Field	Description
static final int	NO_INDEX

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	AstJavaInvokeInstruction(int iindex, int[] results, int[] params, int exception, CallSiteReference site)
	AstJavaInvokeInstruction(int iindex, int[] params, int exception, CallSiteReference site)	Constructor InvokeInstruction.
	AstJavaInvokeInstruction(int iindex, int result, int[] params, int exception, CallSiteReference site)

Method Summary

Modifier and Type	Method	Description
protected SSAInstruction	copyInstruction(SSAInstructionFactory insts, int[] results, int[] params, int exception)
Collection<TypeReference>	getExceptionTypes()	This method should never return null.
int	hashCode()
void	visit(SSAInstruction.IVisitor v)	Apply an IVisitor to this instruction.

Methods inherited from class FixedParametersInvokeInstruction

copyForSSA, getNumberOfPositionalParameters, getNumberOfUses, getUse

Modifier and Type	Method	Description
SSAInstruction	copyForSSA(SSAInstructionFactory insts, int[] defs, int[] uses)	This method is meant to be used during SSA conversion for an IR that is not in SSA form.
int	getNumberOfPositionalParameters()	How many parameters does this call specify?
int	getNumberOfUses()
int	getUse(int j)

Methods inherited from class MultiReturnValueInvokeInstruction

getNumberOfReturnValues, getReturnValue

Modifier and Type	Method	Description
int	getNumberOfReturnValues()	How many distinct values does this call return?
int	getReturnValue(int i)	What is the the value number of the ith value returned by this call

Methods inherited from class SSAAbstractInvokeInstruction

getCallSite, getDeclaredResultType, getDeclaredTarget, getDef, getDef, getException, getInvocationCode, getNumberOfDefs, getProgramCounter, getReceiver, hasDef, isDispatch, isFallThrough, isPEI, isSpecial, isStatic, toString

Modifier and Type	Method	Description
CallSiteReference	getCallSite()
TypeReference	getDeclaredResultType()	What is the declared return type of the called method
MethodReference	getDeclaredTarget()	What method is the declared callee?
int	getDef()
int	getDef(int i)	Return the ith def
int	getException()	Return the value number which is def'fed by this call instruction if the call returns exceptionally.
IInvokeInstruction.IDispatch	getInvocationCode()
int	getNumberOfDefs()
int	getProgramCounter()
int	getReceiver()
boolean	hasDef()	Does this instruction define a normal value, as distinct from a set of exceptions possibly thrown by it (e.g.
boolean	isDispatch()	Might this call dispatch to one of several possible methods? i.e., in Java, is it an invokeinterface or invokevirtual
boolean	isFallThrough()
boolean	isPEI()
boolean	isSpecial()	Is this a 'special' call? (invokespecial in Java)
boolean	isStatic()	Is this a 'static' call? (invokestatic in Java)
String	toString(SymbolTable symbolTable)

Methods inherited from class SSAInstruction

equals, getValueString, iIndex, setInstructionIndex, toString

Modifier and Type	Method	Description
final boolean	equals(Object obj)	We assume these instructions are canonical and managed by a governing IR object.
protected String	getValueString(SymbolTable symbolTable, int valueNumber)
int	iIndex()
void	setInstructionIndex(int instructionIndex)
String	toString()

Methods inherited from class Object

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

Constructor Details

AstJavaInvokeInstruction

protected AstJavaInvokeInstruction(int iindex,
 int[] results,
 int[] params,
 int exception,
 CallSiteReference site)

AstJavaInvokeInstruction

public AstJavaInvokeInstruction(int iindex,
 int result,
 int[] params,
 int exception,
 CallSiteReference site)

AstJavaInvokeInstruction

public AstJavaInvokeInstruction(int iindex,
 int[] params,
 int exception,
 CallSiteReference site)

Constructor InvokeInstruction. This case for void return values

Method Details

copyInstruction

protected SSAInstruction copyInstruction(SSAInstructionFactory insts,
 int[] results,
 int[] params,
 int exception)

Specified by:

copyInstruction in class FixedParametersInvokeInstruction

visit

public void visit(SSAInstruction.IVisitor v)

Description copied from class: SSAInstruction

Apply an IVisitor to this instruction. We invoke the appropriate IVisitor method according to the type of this instruction.

Overrides:

visit in class FixedParametersInvokeInstruction

getExceptionTypes

public Collection<TypeReference> getExceptionTypes()

Description copied from class: SSAInstruction

This method should never return null.

Overrides:

getExceptionTypes in class SSAInstruction

Returns:

the set of exception types that an instruction might throw ... disregarding athrows and invokes.

hashCode

public int hashCode()

Overrides:

hashCode in class FixedParametersInvokeInstruction