com.ibm.wala.cast.js.ssa
Class JavaScriptInvoke

java.lang.Object
  extended by com.ibm.wala.ssa.SSAInstruction
      extended by com.ibm.wala.ssa.SSAAbstractInvokeInstruction
          extended by com.ibm.wala.cast.ir.ssa.AbstractLexicalInvoke
              extended by com.ibm.wala.cast.js.ssa.JavaScriptInvoke
All Implemented Interfaces:
IInstruction, IInvokeInstruction

public class JavaScriptInvoke
extends AbstractLexicalInvoke


Nested Class Summary
 
Nested classes/interfaces inherited from class com.ibm.wala.ssa.SSAInstruction
SSAInstruction.IVisitor, SSAInstruction.Visitor
 
Nested classes/interfaces inherited from interface com.ibm.wala.shrikeBT.IInvokeInstruction
IInvokeInstruction.Dispatch, IInvokeInstruction.IDispatch
 
Field Summary
 
Fields inherited from class com.ibm.wala.cast.ir.ssa.AbstractLexicalInvoke
lexicalReads, lexicalWrites
 
Fields inherited from class com.ibm.wala.ssa.SSAAbstractInvokeInstruction
exception, result, site
 
Constructor Summary
JavaScriptInvoke(int function, int[] params, int exception, CallSiteReference site)
          Constructor InvokeInstruction.
JavaScriptInvoke(int function, int result, int[] params, int exception, CallSiteReference site)
           
 
Method Summary
 SSAInstruction copyForSSA(int[] defs, int[] uses)
          This method is meant to be used during SSA conversion for an IR that is not in SSA form.
 java.util.Collection<TypeReference> getExceptionTypes()
           
 int getFunction()
           
 int getNumberOfParameters()
           
 int getUse(int j)
          Method getUse.
 int hashCode()
           
 java.lang.String toString(SymbolTable symbolTable, ValueDecorator d)
          Method toString.
 void visit(SSAInstruction.IVisitor v)
          Apply an IVisitor to this instruction.
 
Methods inherited from class com.ibm.wala.cast.ir.ssa.AbstractLexicalInvoke
addLexicalDef, addLexicalUse, getDef, getLastLexicalUse, getLexicalDef, getLexicalUse, getNumberOfDefs, getNumberOfUses, isLexicalDef, isLexicalUse
 
Methods inherited from class com.ibm.wala.ssa.SSAAbstractInvokeInstruction
getCallSite, getDeclaredResultType, getDeclaredTarget, getDef, getException, getInvocationCode, getProgramCounter, getReceiver, getSite, hasDef, isDispatch, isFallThrough, isPEI, isSpecial, isStatic
 
Methods inherited from class com.ibm.wala.ssa.SSAInstruction
equals, getValueString, toString
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

JavaScriptInvoke

public JavaScriptInvoke(int function,
                        int result,
                        int[] params,
                        int exception,
                        CallSiteReference site)

JavaScriptInvoke

public JavaScriptInvoke(int function,
                        int[] params,
                        int exception,
                        CallSiteReference site)
Constructor InvokeInstruction. This case for void return values

Parameters:
i -
params -
Method Detail

copyForSSA

public SSAInstruction copyForSSA(int[] defs,
                                 int[] uses)
Description copied from class: SSAInstruction
This method is meant to be used during SSA conversion for an IR that is not in SSA form. It creates a new SSAInstruction of the same type as the receiver, with a combination of the receiver's uses and defs and those from the method parameters. In particular, if the 'defs' parameter is null, then the new instruction has the same defs as the receiver. If 'defs' is not null, it must be an array with a size equal to the number of defs that the receiver instruction has. In this case, the new instruction has defs taken from the array. The uses of the new instruction work in the same way with the 'uses' parameter. Note that this only applies to CAst-based IR translation, since Java bytecode-based IR generation uses a different SSA construction mechanism.

Specified by:
copyForSSA in class SSAInstruction

toString

public java.lang.String toString(SymbolTable symbolTable,
                                 ValueDecorator d)
Description copied from class: SSAInstruction
Method toString.

Overrides:
toString in class AbstractLexicalInvoke
Returns:
Object

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.

Specified by:
visit in class SSAInstruction
See Also:
com.ibm.domo.ssa.Instruction#visit(Visitor)

getNumberOfParameters

public int getNumberOfParameters()
Specified by:
getNumberOfParameters in class SSAAbstractInvokeInstruction

getUse

public int getUse(int j)
Description copied from class: SSAInstruction
Method getUse.

Overrides:
getUse in class AbstractLexicalInvoke
Returns:
value number representing the jth use in this instruction. -1 means TOP (i.e., the value doesn't matter)
See Also:
com.ibm.domo.ssa.Instruction#getUse(int)

getFunction

public int getFunction()

getExceptionTypes

public java.util.Collection<TypeReference> getExceptionTypes()
Specified by:
getExceptionTypes in class SSAInstruction
Returns:
Colection the set of exception types that an instruction might throw ... disregarding athrows and invokes.

hashCode

public int hashCode()
Overrides:
hashCode in class AbstractLexicalInvoke