com.ibm.wala.ipa.modref

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

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 and Description
protected H	h
protected CGNode	n
protected PointerAnalysis<T>	pa
protected java.util.Collection<PointerKey>	result

Constructor Summary

Constructors

Constructor and Description
ModVisitor(CGNode n, java.util.Collection<PointerKey> result, H h, PointerAnalysis<T> pa, boolean ignoreAllocHeapDefs)

Method Summary

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

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

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

Methods inherited from class java.lang.Object

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

Field Detail

n

protected final CGNode n

result

protected final java.util.Collection<PointerKey> result

h

protected final H extends ExtendedHeapModel h

pa

protected final PointerAnalysis<T extends InstanceKey> pa

Constructor Detail

ModVisitor

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

Method Detail

visitNew

public void visitNew(SSANewInstruction instruction)

Specified by:

visitNew in interface SSAInstruction.IVisitor

Overrides:

visitNew in class SSAInstruction.Visitor

visitArrayStore

public void visitArrayStore(SSAArrayStoreInstruction instruction)

Specified by:

visitArrayStore in interface SSAInstruction.IVisitor

Overrides:

visitArrayStore in class SSAInstruction.Visitor

visitPut

public void visitPut(SSAPutInstruction instruction)

Specified by:

visitPut in interface SSAInstruction.IVisitor

Overrides:

visitPut in class SSAInstruction.Visitor