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
-
Field Summary
Modifier and TypeFieldDescriptionprotected final PointerAnalysisImpl
protected final LocalPointerKey
protected final CGNode
protected OrdinalSet
<InstanceKey> -
Constructor Summary
ModifierConstructorDescriptionprotected
ImplicitPointsToSetVisitor
(PointerAnalysisImpl analysis, LocalPointerKey lpk) -
Method Summary
Modifier and TypeMethodDescriptionvoid
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 Details
-
analysis
-
node
-
lpk
-
pointsToSet
-
-
Constructor Details
-
ImplicitPointsToSetVisitor
-
-
Method Details
-
visitNew
- Specified by:
visitNew
in interfaceSSAInstruction.IVisitor
- Overrides:
visitNew
in classSSAInstruction.Visitor
-
visitInvoke
- Specified by:
visitInvoke
in interfaceSSAInstruction.IVisitor
- Overrides:
visitInvoke
in classSSAInstruction.Visitor
-
visitCheckCast
- Specified by:
visitCheckCast
in interfaceSSAInstruction.IVisitor
- Overrides:
visitCheckCast
in classSSAInstruction.Visitor
-
visitGetCaughtException
- Specified by:
visitGetCaughtException
in interfaceSSAInstruction.IVisitor
- Overrides:
visitGetCaughtException
in classSSAInstruction.Visitor
-
visitGet
- Specified by:
visitGet
in interfaceSSAInstruction.IVisitor
- Overrides:
visitGet
in classSSAInstruction.Visitor
-
visitPhi
- Specified by:
visitPhi
in interfaceSSAInstruction.IVisitor
- Overrides:
visitPhi
in classSSAInstruction.Visitor
-
visitPi
- Specified by:
visitPi
in interfaceSSAInstruction.IVisitor
- Overrides:
visitPi
in classSSAInstruction.Visitor
-
visitArrayLoad
- Specified by:
visitArrayLoad
in interfaceSSAInstruction.IVisitor
- Overrides:
visitArrayLoad
in classSSAInstruction.Visitor
-