com.ibm.wala.ipa.callgraph.propagation

Class PointerAnalysisImpl.ImplicitPointsToSetVisitor

java.lang.Object

com.ibm.wala.ssa.SSAInstruction.Visitor

com.ibm.wala.ipa.callgraph.propagation.PointerAnalysisImpl.ImplicitPointsToSetVisitor

All Implemented Interfaces:

SSAInstruction.IVisitor

Enclosing class:

PointerAnalysisImpl

public static class PointerAnalysisImpl.ImplicitPointsToSetVisitor
extends SSAInstruction.Visitor

Field Summary

Fields

Modifier and Type	Field and Description
protected PointerAnalysisImpl	analysis
protected LocalPointerKey	lpk
protected CGNode	node
protected com.ibm.wala.util.intset.OrdinalSet<InstanceKey>	pointsToSet

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ImplicitPointsToSetVisitor(PointerAnalysisImpl analysis, LocalPointerKey lpk)

Method Summary

Modifier and Type	Method and Description
void	visitArrayLoad(SSAArrayLoadInstruction instruction)
void	visitCheckCast(SSACheckCastInstruction instruction)
void	visitGet(SSAGetInstruction instruction)
void	visitGetCaughtException(SSAGetCaughtExceptionInstruction instruction)
void	visitInvoke(SSAInvokeInstruction instruction)
void	visitNew(SSANewInstruction instruction)
void	visitPhi(SSAPhiInstruction instruction)
void	visitPi(SSAPiInstruction instruction)

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

visitArrayLength, visitArrayStore, visitBinaryOp, visitComparison, visitConditionalBranch, visitConversion, visitGoto, visitInstanceof, visitLoadMetadata, visitMonitor, 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

analysis

protected final PointerAnalysisImpl analysis

node

protected final CGNode node

lpk

protected final LocalPointerKey lpk

pointsToSet

protected com.ibm.wala.util.intset.OrdinalSet<InstanceKey> pointsToSet

Constructor Detail

ImplicitPointsToSetVisitor

protected ImplicitPointsToSetVisitor(PointerAnalysisImpl analysis,
                                     LocalPointerKey lpk)

Method Detail

visitNew

public void visitNew(SSANewInstruction instruction)

Specified by:

visitNew in interface SSAInstruction.IVisitor

Overrides:

visitNew in class SSAInstruction.Visitor

visitInvoke

public void visitInvoke(SSAInvokeInstruction instruction)

Specified by:

visitInvoke in interface SSAInstruction.IVisitor

Overrides:

visitInvoke in class SSAInstruction.Visitor

visitCheckCast

public void visitCheckCast(SSACheckCastInstruction instruction)

Specified by:

visitCheckCast in interface SSAInstruction.IVisitor

Overrides:

visitCheckCast in class SSAInstruction.Visitor

visitGetCaughtException

public void visitGetCaughtException(SSAGetCaughtExceptionInstruction instruction)

Specified by:

visitGetCaughtException in interface SSAInstruction.IVisitor

Overrides:

visitGetCaughtException in class SSAInstruction.Visitor

visitGet

public void visitGet(SSAGetInstruction instruction)

Specified by:

visitGet in interface SSAInstruction.IVisitor

Overrides:

visitGet in class SSAInstruction.Visitor

visitPhi

public void visitPhi(SSAPhiInstruction instruction)

Specified by:

visitPhi in interface SSAInstruction.IVisitor

Overrides:

visitPhi in class SSAInstruction.Visitor

visitPi

public void visitPi(SSAPiInstruction instruction)

Specified by:

visitPi in interface SSAInstruction.IVisitor

Overrides:

visitPi in class SSAInstruction.Visitor

visitArrayLoad

public void visitArrayLoad(SSAArrayLoadInstruction instruction)

Specified by:

visitArrayLoad in interface SSAInstruction.IVisitor

Overrides:

visitArrayLoad in class SSAInstruction.Visitor