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

public class JavaScriptInvoke
extends AbstractLexicalInvoke


Nested Class Summary
 
Nested classes/interfaces inherited from class com.ibm.wala.ssa.SSAInstruction
SSAInstruction.IVisitor, SSAInstruction.Visitor
 
Field Summary
protected  int[] results
           
 
Fields inherited from class com.ibm.wala.cast.ir.ssa.AbstractLexicalInvoke
lexicalReads, lexicalWrites
 
Fields inherited from class com.ibm.wala.ssa.SSAAbstractInvokeInstruction
exception, site
 
Constructor Summary
JavaScriptInvoke(int function, int[] results, int[] params, int exception, CallSiteReference site)
           
JavaScriptInvoke(int function, int[] results, int[] params, int exception, CallSiteReference site, AstLexicalAccess.Access[] lexicalReads, AstLexicalAccess.Access[] lexicalWrites)
           
JavaScriptInvoke(int function, int[] params, int exception, CallSiteReference site)
           
JavaScriptInvoke(int function, int result, int[] params, int exception, CallSiteReference site)
           
 
Method Summary
 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.
 java.util.Collection<TypeReference> getExceptionTypes()
          This method should never return null.
 int getFunction()
           
 int getNumberOfParameters()
          How many parameters does this call specify?
 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
 int getUse(int j)
           
 int hashCode()
           
 java.lang.String toString(SymbolTable symbolTable)
           
 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, getNumberOfLexicalReads, getNumberOfLexicalWrites, getNumberOfUses, isLexicalDef, isLexicalUse
 
Methods inherited from class com.ibm.wala.ssa.SSAAbstractInvokeInstruction
getCallSite, getDeclaredResultType, getDeclaredTarget, getDef, getException, getInvocationCode, getProgramCounter, getReceiver, 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
 

Field Detail

results

protected final int[] results
Constructor Detail

JavaScriptInvoke

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

JavaScriptInvoke

public JavaScriptInvoke(int function,
                        int[] results,
                        int[] params,
                        int exception,
                        CallSiteReference site,
                        AstLexicalAccess.Access[] lexicalReads,
                        AstLexicalAccess.Access[] lexicalWrites)

JavaScriptInvoke

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

JavaScriptInvoke

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

copyForSSA

public SSAInstruction copyForSSA(SSAInstructionFactory insts,
                                 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. TODO: move this into the SSAInstructionFactory

Specified by:
copyForSSA in class SSAInstruction

toString

public java.lang.String toString(SymbolTable symbolTable)
Overrides:
toString in class AbstractLexicalInvoke

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()
Description copied from class: SSAAbstractInvokeInstruction
How many parameters does this call specify?

Specified by:
getNumberOfParameters in class SSAAbstractInvokeInstruction

getUse

public int getUse(int j)
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()
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 AbstractLexicalInvoke

getNumberOfReturnValues

public int getNumberOfReturnValues()
Description copied from class: SSAAbstractInvokeInstruction
How many distinct values does this call return?

Specified by:
getNumberOfReturnValues in class SSAAbstractInvokeInstruction

getReturnValue

public int getReturnValue(int i)
Description copied from class: SSAAbstractInvokeInstruction
What is the the value number of the ith value returned by this call

Specified by:
getReturnValue in class SSAAbstractInvokeInstruction