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

java.lang.Object

com.ibm.wala.ssa.SSAInstruction.Visitor

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

All Implemented Interfaces:

SSAInstruction.IVisitor

Direct Known Subclasses:

AstModRef.AstModVisitor

Enclosing class:

ModRef<T extends InstanceKey>

public static class ModRef.ModVisitor<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
ModVisitor(CGNode n, Collection<PointerKey> result, H h, PointerAnalysis<T> pa, boolean ignoreAllocHeapDefs)

Method Summary

Modifier and Type	Method	Description
void	visitArrayStore(SSAArrayStoreInstruction instruction)
void	visitNew(SSANewInstruction instruction)
void	visitPut(SSAPutInstruction instruction)

Methods inherited from class Object

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

Methods inherited from interface SSAInstruction.IVisitor

visitArrayLength, visitArrayLoad, visitBinaryOp, visitCheckCast, visitComparison, visitConditionalBranch, visitConversion, visitGet, visitGetCaughtException, visitGoto, visitInstanceof, visitInvoke, visitLoadMetadata, visitMonitor, visitPhi, visitPi, visitReturn, visitSwitch, visitThrow, visitUnaryOp

Field Details

n

protected final CGNode n

result

protected final Collection<PointerKey> result

h

protected final H extends ExtendedHeapModel h

pa

protected final PointerAnalysis<T extends InstanceKey> pa

Constructor Details

ModVisitor

public ModVisitor(CGNode n,
 Collection<PointerKey> result,
 H h,
 PointerAnalysis<T> pa,
 boolean ignoreAllocHeapDefs)

Method Details

visitNew

public void visitNew(SSANewInstruction instruction)

visitArrayStore

public void visitArrayStore(SSAArrayStoreInstruction instruction)

visitPut

public void visitPut(SSAPutInstruction instruction)