com.ibm.wala.cast.ir.ssa

Class AstGlobalRead

java.lang.Object

com.ibm.wala.ssa.SSAInstruction

com.ibm.wala.ssa.SSAFieldAccessInstruction

com.ibm.wala.ssa.SSAGetInstruction

com.ibm.wala.cast.ir.ssa.AstGlobalRead

public class AstGlobalRead
extends com.ibm.wala.ssa.SSAGetInstruction

A read 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
AstGlobalRead(int iindex, int lhs, com.ibm.wala.types.FieldReference global)

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

getDef, getDef, getNumberOfDefs, getNumberOfUses, getUse, hasDef, 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, getValueString, iIndex, setInstructionIndex, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

AstGlobalRead

public AstGlobalRead(int iindex,
                     int lhs,
                     com.ibm.wala.types.FieldReference global)

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

toString

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

Overrides:

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

visit

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

Overrides:

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

isFallThrough

public boolean isFallThrough()

Overrides:

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

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()