com.ibm.wala.ipa.modref

Class ModRef.RefVisitor<H extends ExtendedHeapModel>

java.lang.Object

com.ibm.wala.ssa.SSAInstruction.Visitor

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

All Implemented Interfaces:

SSAInstruction.IVisitor

Enclosing class:

ModRef

protected static class ModRef.RefVisitor<H extends ExtendedHeapModel>
extends SSAInstruction.Visitor

Field Summary

Fields

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

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ModRef.RefVisitor(CGNode n, Collection<PointerKey> result, PointerAnalysis<InstanceKey> pa, H h)

Method Summary

Methods

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 Collection<PointerKey> result

pa

protected final PointerAnalysis<InstanceKey> pa

h

protected final H extends ExtendedHeapModel h

Constructor Detail

ModRef.RefVisitor

protected ModRef.RefVisitor(CGNode n,
                 Collection<PointerKey> result,
                 PointerAnalysis<InstanceKey> pa,
                 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