com.ibm.wala.ssa
Class SSAFieldAccessInstruction

java.lang.Object
  com.ibm.wala.ssa.SSAInstruction
      com.ibm.wala.ssa.SSAFieldAccessInstruction

All Implemented Interfaces:

IInstruction

Direct Known Subclasses:

SSAGetInstruction, SSAPutInstruction

public abstract class SSAFieldAccessInstruction
extends SSAInstruction

Abstract base class for GetInstruction and PutInstruction

Nested Class Summary

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

SSAInstruction.IVisitor, SSAInstruction.Visitor

Constructor Summary

protected

SSAFieldAccessInstruction(FieldReference field, int ref)

Method Summary

FieldReference	getDeclaredField() Method getDeclaredFieldType
TypeReference	getDeclaredFieldType() Method getDeclaredFieldType
int	getRef()
boolean	isPEI() PEI == "Potentially excepting instruction"
boolean	isStatic()

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

copyForSSA, equals, getDef, getDef, getExceptionTypes, getNumberOfDefs, getNumberOfUses, getUse, getValueString, hasDef, hashCode, isFallThrough, toString, toString, visit

Methods inherited from class java.lang.Object

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

Constructor Detail

SSAFieldAccessInstruction

protected SSAFieldAccessInstruction(FieldReference field,
                                    int ref)
                             throws java.lang.IllegalArgumentException

Throws:

java.lang.IllegalArgumentException

Method Detail

getDeclaredFieldType

public TypeReference getDeclaredFieldType()

Method getDeclaredFieldType

Returns:

TypeReference

getDeclaredField

public FieldReference getDeclaredField()

Method getDeclaredFieldType

Returns:

TypeReference

getRef

public int getRef()

isStatic

public boolean isStatic()

isPEI

public boolean isPEI()

Description copied from interface: IInstruction

PEI == "Potentially excepting instruction"

Specified by:

isPEI in interface IInstruction

Overrides:

isPEI in class SSAInstruction

Returns:

true iff this instruction may throw an exception.