com.ibm.wala.cast.ir.ssa

Class AstGlobalWrite

java.lang.Object

com.ibm.wala.ssa.SSAInstruction

com.ibm.wala.ssa.SSAFieldAccessInstruction

com.ibm.wala.ssa.SSAPutInstruction

com.ibm.wala.cast.ir.ssa.AstGlobalWrite

public class AstGlobalWrite
extends com.ibm.wala.ssa.SSAPutInstruction

A write of a global variable denoted by a FieldReference

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

Constructor Summary

Constructors

Constructor and Description
AstGlobalWrite(int iindex, com.ibm.wala.types.FieldReference global, int rhs)

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()
java.lang.String	getGlobalName()
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.SSAPutInstruction

getNumberOfUses, getUse, getVal, hashCode

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

getDeclaredField, getDeclaredFieldType, getRef, isPEI, isStatic

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

AstGlobalWrite

public AstGlobalWrite(int iindex,
                      com.ibm.wala.types.FieldReference global,
                      int rhs)

Method Detail

copyForSSA

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

Overrides:

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

toString

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

Overrides:

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

visit

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

Overrides:

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

isFallThrough

public boolean isFallThrough()

Overrides:

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

getExceptionTypes

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

Overrides:

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

getGlobalName

public java.lang.String getGlobalName()