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 PointerAnalysisImplanalysisprotected LocalPointerKeylpkprotected CGNodenodeprotected OrdinalSet<InstanceKey>pointsToSet
-
Constructor Summary
Constructors Modifier Constructor Description protectedImplicitPointsToSetVisitor(PointerAnalysisImpl analysis, LocalPointerKey lpk)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidvisitArrayLoad(SSAArrayLoadInstruction instruction)voidvisitCheckCast(SSACheckCastInstruction instruction)voidvisitGet(SSAGetInstruction instruction)voidvisitGetCaughtException(SSAGetCaughtExceptionInstruction instruction)voidvisitInvoke(SSAInvokeInstruction instruction)voidvisitNew(SSANewInstruction instruction)voidvisitPhi(SSAPhiInstruction instruction)voidvisitPi(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:
visitNewin interfaceSSAInstruction.IVisitor- Overrides:
visitNewin classSSAInstruction.Visitor
-
visitInvoke
public void visitInvoke(SSAInvokeInstruction instruction)
- Specified by:
visitInvokein interfaceSSAInstruction.IVisitor- Overrides:
visitInvokein classSSAInstruction.Visitor
-
visitCheckCast
public void visitCheckCast(SSACheckCastInstruction instruction)
- Specified by:
visitCheckCastin interfaceSSAInstruction.IVisitor- Overrides:
visitCheckCastin classSSAInstruction.Visitor
-
visitGetCaughtException
public void visitGetCaughtException(SSAGetCaughtExceptionInstruction instruction)
- Specified by:
visitGetCaughtExceptionin interfaceSSAInstruction.IVisitor- Overrides:
visitGetCaughtExceptionin classSSAInstruction.Visitor
-
visitGet
public void visitGet(SSAGetInstruction instruction)
- Specified by:
visitGetin interfaceSSAInstruction.IVisitor- Overrides:
visitGetin classSSAInstruction.Visitor
-
visitPhi
public void visitPhi(SSAPhiInstruction instruction)
- Specified by:
visitPhiin interfaceSSAInstruction.IVisitor- Overrides:
visitPhiin classSSAInstruction.Visitor
-
visitPi
public void visitPi(SSAPiInstruction instruction)
- Specified by:
visitPiin interfaceSSAInstruction.IVisitor- Overrides:
visitPiin classSSAInstruction.Visitor
-
visitArrayLoad
public void visitArrayLoad(SSAArrayLoadInstruction instruction)
- Specified by:
visitArrayLoadin interfaceSSAInstruction.IVisitor- Overrides:
visitArrayLoadin classSSAInstruction.Visitor
-
-