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 PointerAnalysisImpl
analysis
protected LocalPointerKey
lpk
protected CGNode
node
protected OrdinalSet<InstanceKey>
pointsToSet
-
Constructor Summary
Constructors Modifier Constructor Description protected
ImplicitPointsToSetVisitor(PointerAnalysisImpl analysis, LocalPointerKey lpk)
-
Method Summary
All Methods Instance Methods Concrete Methods 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 com.ibm.wala.ssa.SSAInstruction.Visitor
visitArrayLength, visitArrayStore, visitBinaryOp, visitComparison, visitConditionalBranch, visitConversion, visitGoto, visitInstanceof, visitLoadMetadata, visitMonitor, visitPut, visitReturn, visitSwitch, visitThrow, visitUnaryOp
-
-
-
-
Field Detail
-
analysis
protected final PointerAnalysisImpl analysis
-
node
protected final CGNode node
-
lpk
protected final LocalPointerKey lpk
-
pointsToSet
protected OrdinalSet<InstanceKey> pointsToSet
-
-
Constructor Detail
-
ImplicitPointsToSetVisitor
protected ImplicitPointsToSetVisitor(PointerAnalysisImpl analysis, LocalPointerKey lpk)
-
-
Method Detail
-
visitNew
public void visitNew(SSANewInstruction instruction)
- Specified by:
visitNew
in interfaceSSAInstruction.IVisitor
- Overrides:
visitNew
in classSSAInstruction.Visitor
-
visitInvoke
public void visitInvoke(SSAInvokeInstruction instruction)
- Specified by:
visitInvoke
in interfaceSSAInstruction.IVisitor
- Overrides:
visitInvoke
in classSSAInstruction.Visitor
-
visitCheckCast
public void visitCheckCast(SSACheckCastInstruction instruction)
- Specified by:
visitCheckCast
in interfaceSSAInstruction.IVisitor
- Overrides:
visitCheckCast
in classSSAInstruction.Visitor
-
visitGetCaughtException
public void visitGetCaughtException(SSAGetCaughtExceptionInstruction instruction)
- Specified by:
visitGetCaughtException
in interfaceSSAInstruction.IVisitor
- Overrides:
visitGetCaughtException
in classSSAInstruction.Visitor
-
visitGet
public void visitGet(SSAGetInstruction instruction)
- Specified by:
visitGet
in interfaceSSAInstruction.IVisitor
- Overrides:
visitGet
in classSSAInstruction.Visitor
-
visitPhi
public void visitPhi(SSAPhiInstruction instruction)
- Specified by:
visitPhi
in interfaceSSAInstruction.IVisitor
- Overrides:
visitPhi
in classSSAInstruction.Visitor
-
visitPi
public void visitPi(SSAPiInstruction instruction)
- Specified by:
visitPi
in interfaceSSAInstruction.IVisitor
- Overrides:
visitPi
in classSSAInstruction.Visitor
-
visitArrayLoad
public void visitArrayLoad(SSAArrayLoadInstruction instruction)
- Specified by:
visitArrayLoad
in interfaceSSAInstruction.IVisitor
- Overrides:
visitArrayLoad
in classSSAInstruction.Visitor
-
-