Class 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

        NO_INDEX
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      com.ibm.wala.ssa.SSAInstruction copyForSSA​(com.ibm.wala.ssa.SSAInstructionFactory insts, int[] defs, int[] uses)  
      java.util.Collection<com.ibm.wala.types.TypeReference> getExceptionTypes()  
      int getNumberOfUses()  
      int getUse​(int i)  
      int hashCode()  
      boolean isFallThrough()  
      boolean isPEI()  
      java.lang.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, iIndex, setInstructionIndex, 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 java.util.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 java.lang.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