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 com.ibm.wala.ssa.SSAInstruction.Visitor

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

Methods inherited from class java.lang.Object

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

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)

Specified by:

visitArrayLength in interface SSAInstruction.IVisitor

Overrides:

visitArrayLength in class SSAInstruction.Visitor

visitArrayLoad

public void visitArrayLoad(SSAArrayLoadInstruction instruction)

Specified by:

visitArrayLoad in interface SSAInstruction.IVisitor

Overrides:

visitArrayLoad in class SSAInstruction.Visitor

visitGet

public void visitGet(SSAGetInstruction instruction)

Specified by:

visitGet in interface SSAInstruction.IVisitor

Overrides:

visitGet in class SSAInstruction.Visitor