com.ibm.wala.cast.js.ssa

Class JavaScriptCheckReference

java.lang.Object

com.ibm.wala.ssa.SSAInstruction

com.ibm.wala.cast.js.ssa.JavaScriptCheckReference

public class JavaScriptCheckReference
extends com.ibm.wala.ssa.SSAInstruction

Checks if a reference is null or undefined, and if so, throws a ReferenceError. Otherwise, it's a no-op.

Nested Class Summary

Nested classes/interfaces inherited from class com.ibm.wala.ssa.SSAInstruction

com.ibm.wala.ssa.SSAInstruction.IVisitor, com.ibm.wala.ssa.SSAInstruction.Visitor

Field Summary

Fields inherited from class com.ibm.wala.ssa.SSAInstruction

iindex, NO_INDEX

Constructor Summary

Constructors

Constructor and Description
JavaScriptCheckReference(int iindex, int ref)

Method Summary

Methods

Modifier and Type	Method and Description
com.ibm.wala.ssa.SSAInstruction	copyForSSA(com.ibm.wala.ssa.SSAInstructionFactory insts, int[] defs, int[] uses)
Collection<com.ibm.wala.types.TypeReference>	getExceptionTypes()
int	getNumberOfUses()
int	getUse(int i)
int	hashCode()
boolean	isFallThrough()
boolean	isPEI()
String	toString(com.ibm.wala.ssa.SymbolTable symbolTable)
void	visit(com.ibm.wala.ssa.SSAInstruction.IVisitor v)

Methods inherited from class com.ibm.wala.ssa.SSAInstruction

equals, getDef, getDef, getNumberOfDefs, getValueString, hasDef, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

JavaScriptCheckReference

public JavaScriptCheckReference(int iindex,
                        int ref)

Method Detail

copyForSSA

public com.ibm.wala.ssa.SSAInstruction copyForSSA(com.ibm.wala.ssa.SSAInstructionFactory insts,
                                         int[] defs,
                                         int[] uses)

Specified by:

copyForSSA in class com.ibm.wala.ssa.SSAInstruction

getExceptionTypes

public Collection<com.ibm.wala.types.TypeReference> getExceptionTypes()

Overrides:

getExceptionTypes in class com.ibm.wala.ssa.SSAInstruction

hashCode

public int hashCode()

Specified by:

hashCode in class com.ibm.wala.ssa.SSAInstruction

isFallThrough

public boolean isFallThrough()

Specified by:

isFallThrough in class com.ibm.wala.ssa.SSAInstruction

toString

public String toString(com.ibm.wala.ssa.SymbolTable symbolTable)

Specified by:

toString in class com.ibm.wala.ssa.SSAInstruction

visit

public void visit(com.ibm.wala.ssa.SSAInstruction.IVisitor v)

Specified by:

visit in class com.ibm.wala.ssa.SSAInstruction

isPEI

public boolean isPEI()

Overrides:

isPEI in class com.ibm.wala.ssa.SSAInstruction

getNumberOfUses

public int getNumberOfUses()

Overrides:

getNumberOfUses in class com.ibm.wala.ssa.SSAInstruction

getUse

public int getUse(int i)

Overrides:

getUse in class com.ibm.wala.ssa.SSAInstruction