Class ModRef.RefVisitor<T extends InstanceKey, H extends ExtendedHeapModel>

java.lang.Object

com.ibm.wala.ssa.SSAInstruction.Visitor

com.ibm.wala.ipa.modref.ModRef.RefVisitor<T,H>

All Implemented Interfaces:

SSAInstruction.IVisitor

Direct Known Subclasses:

AstModRef.AstRefVisitor

Enclosing class:

ModRef<T extends InstanceKey>

public static class ModRef.RefVisitor<T extends InstanceKey, H extends ExtendedHeapModel>
extends SSAInstruction.Visitor

Field Summary

Fields

Modifier and Type	Field	Description
protected final H	h
protected final CGNode	n
protected final PointerAnalysis<T>	pa
protected final Collection<PointerKey>	result

Constructor Summary

Constructors

Constructor	Description
RefVisitor(CGNode n, Collection<PointerKey> result, PointerAnalysis<T> pa2, H h)

Method Summary

Modifier and Type	Method	Description
void	visitArrayLength(SSAArrayLengthInstruction instruction)
void	visitArrayLoad(SSAArrayLoadInstruction instruction)
void	visitGet(SSAGetInstruction instruction)

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface SSAInstruction.IVisitor

visitArrayStore, visitBinaryOp, visitCheckCast, visitComparison, visitConditionalBranch, visitConversion, visitGetCaughtException, visitGoto, visitInstanceof, visitInvoke, visitLoadMetadata, visitMonitor, visitNew, visitPhi, visitPi, visitPut, visitReturn, visitSwitch, visitThrow, visitUnaryOp

Modifier and Type	Method	Description
default void	visitArrayStore(SSAArrayStoreInstruction instruction)
default void	visitBinaryOp(SSABinaryOpInstruction instruction)
default void	visitCheckCast(SSACheckCastInstruction instruction)
default void	visitComparison(SSAComparisonInstruction instruction)
default void	visitConditionalBranch(SSAConditionalBranchInstruction instruction)
default void	visitConversion(SSAConversionInstruction instruction)
default void	visitGetCaughtException(SSAGetCaughtExceptionInstruction instruction)
default void	visitGoto(SSAGotoInstruction instruction)
default void	visitInstanceof(SSAInstanceofInstruction instruction)
default void	visitInvoke(SSAInvokeInstruction instruction)
default void	visitLoadMetadata(SSALoadMetadataInstruction instruction)
default void	visitMonitor(SSAMonitorInstruction instruction)
default void	visitNew(SSANewInstruction instruction)
default void	visitPhi(SSAPhiInstruction instruction)
default void	visitPi(SSAPiInstruction instruction)
default void	visitPut(SSAPutInstruction instruction)
default void	visitReturn(SSAReturnInstruction instruction)
default void	visitSwitch(SSASwitchInstruction instruction)
default void	visitThrow(SSAThrowInstruction instruction)
default void	visitUnaryOp(SSAUnaryOpInstruction instruction)

Field Details

n

protected final CGNode n

result

protected final Collection<PointerKey> result

pa

protected final PointerAnalysis<T extends InstanceKey> pa

h

protected final H extends ExtendedHeapModel h

Constructor Details

RefVisitor

public RefVisitor(CGNode n,
 Collection<PointerKey> result,
 PointerAnalysis<T> pa2,
 H h)

Method Details

visitArrayLength

public void visitArrayLength(SSAArrayLengthInstruction instruction)

visitArrayLoad

public void visitArrayLoad(SSAArrayLoadInstruction instruction)

visitGet

public void visitGet(SSAGetInstruction instruction)