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

Direct Known Subclasses:

AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl.AstImplicitPointsToSetVisitor

Enclosing class:

PointerAnalysisImpl

public static class PointerAnalysisImpl.ImplicitPointsToSetVisitor
extends SSAInstruction.Visitor

Field Summary

Fields

Modifier and Type	Field	Description
protected final PointerAnalysisImpl	analysis
protected final LocalPointerKey	lpk
protected final CGNode	node
protected OrdinalSet<InstanceKey>	pointsToSet

Constructor Summary

Constructors

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

Method Summary

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

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

Methods inherited from interface SSAInstruction.IVisitor

visitArrayLength, visitArrayStore, visitBinaryOp, visitComparison, visitConditionalBranch, visitConversion, visitGoto, visitInstanceof, visitLoadMetadata, visitMonitor, visitPut, visitReturn, visitSwitch, visitThrow, visitUnaryOp

Modifier and Type	Method	Description
default void	visitArrayLength(SSAArrayLengthInstruction instruction)
default void	visitArrayStore(SSAArrayStoreInstruction instruction)
default void	visitBinaryOp(SSABinaryOpInstruction instruction)
default void	visitComparison(SSAComparisonInstruction instruction)
default void	visitConditionalBranch(SSAConditionalBranchInstruction instruction)
default void	visitConversion(SSAConversionInstruction instruction)
default void	visitGoto(SSAGotoInstruction instruction)
default void	visitInstanceof(SSAInstanceofInstruction instruction)
default void	visitLoadMetadata(SSALoadMetadataInstruction instruction)
default void	visitMonitor(SSAMonitorInstruction instruction)
default void	visitPut(SSAPutInstruction instruction)
default void	visitReturn(SSAReturnInstruction instruction)
default void	visitSwitch(SSASwitchInstruction instruction)
default void	visitThrow(SSAThrowInstruction instruction)
default void	visitUnaryOp(SSAUnaryOpInstruction instruction)

Field Details

analysis

protected final PointerAnalysisImpl analysis

node

protected final CGNode node

lpk

protected final LocalPointerKey lpk

pointsToSet

protected OrdinalSet<InstanceKey> pointsToSet

Constructor Details

ImplicitPointsToSetVisitor

protected ImplicitPointsToSetVisitor(PointerAnalysisImpl analysis,
 LocalPointerKey lpk)

Method Details

visitNew

public void visitNew(SSANewInstruction instruction)

visitInvoke

public void visitInvoke(SSAInvokeInstruction instruction)

visitCheckCast

public void visitCheckCast(SSACheckCastInstruction instruction)

visitGetCaughtException

public void visitGetCaughtException(SSAGetCaughtExceptionInstruction instruction)

visitGet

public void visitGet(SSAGetInstruction instruction)

visitPhi

public void visitPhi(SSAPhiInstruction instruction)

visitPi

public void visitPi(SSAPiInstruction instruction)

visitArrayLoad

public void visitArrayLoad(SSAArrayLoadInstruction instruction)