com.ibm.wala.ipa.modref

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

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and 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 Detail

n

protected final CGNode n

result

protected final java.util.Collection<PointerKey> result

pa

protected final PointerAnalysis<T extends InstanceKey> pa

h

protected final H extends ExtendedHeapModel h

Constructor Detail

RefVisitor

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

Method Detail

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