com.ibm.wala.cast.ir.ssa

Class EachElementHasNextInstruction

java.lang.Object

com.ibm.wala.ssa.SSAInstruction

com.ibm.wala.ssa.SSAAbstractBinaryInstruction

com.ibm.wala.cast.ir.ssa.EachElementHasNextInstruction

public class EachElementHasNextInstruction
extends com.ibm.wala.ssa.SSAAbstractBinaryInstruction

This instruction represents iterating through the properties of its receiver object. The use represents an object, and the l-value represents a boolean indicating whether the object has more properties.

Iterating across the fields or properties of a given object is a common idiom in scripting languages, which is why the IR has first-class support for it.

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.SSAAbstractBinaryInstruction

result, val1, val2

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

NO_INDEX

Constructor Summary

Constructors

Constructor and Description
EachElementHasNextInstruction(int iindex, int lValue, int objectRef, int previousPropVal)

Method Summary

Modifier and Type	Method and 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()
boolean	isFallThrough()
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.SSAAbstractBinaryInstruction

getDef, getDef, getNumberOfDefs, getNumberOfUses, getUse, hasDef, hashCode

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

equals, getValueString, iIndex, isPEI, setInstructionIndex, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

EachElementHasNextInstruction

public EachElementHasNextInstruction(int iindex,
                                     int lValue,
                                     int objectRef,
                                     int previousPropVal)

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

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

getExceptionTypes

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

Overrides:

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

isFallThrough

public boolean isFallThrough()

Specified by:

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