Class ModRef.ModVisitor<T extends InstanceKey,H extends ExtendedHeapModel>
java.lang.Object
com.ibm.wala.ssa.SSAInstruction.Visitor
com.ibm.wala.ipa.modref.ModRef.ModVisitor<T,H>
- All Implemented Interfaces:
SSAInstruction.IVisitor
- Direct Known Subclasses:
AstModRef.AstModVisitor
- Enclosing class:
ModRef<T extends InstanceKey>
public static class ModRef.ModVisitor<T extends InstanceKey,H extends ExtendedHeapModel>
extends SSAInstruction.Visitor
-
Field Summary
Modifier and TypeFieldDescriptionprotected final H
protected final CGNode
protected final PointerAnalysis
<T> protected final Collection
<PointerKey> -
Constructor Summary
ConstructorDescriptionModVisitor
(CGNode n, Collection<PointerKey> result, H h, PointerAnalysis<T> pa, boolean ignoreAllocHeapDefs) -
Method Summary
Modifier and TypeMethodDescriptionvoid
visitArrayStore
(SSAArrayStoreInstruction instruction) void
visitNew
(SSANewInstruction instruction) void
visitPut
(SSAPutInstruction instruction) Methods inherited from class com.ibm.wala.ssa.SSAInstruction.Visitor
visitArrayLength, visitArrayLoad, visitBinaryOp, visitCheckCast, visitComparison, visitConditionalBranch, visitConversion, visitGet, visitGetCaughtException, visitGoto, visitInstanceof, visitInvoke, visitLoadMetadata, visitMonitor, visitPhi, visitPi, visitReturn, visitSwitch, visitThrow, visitUnaryOp
-
Field Details
-
n
-
result
-
h
-
pa
-
-
Constructor Details
-
ModVisitor
public ModVisitor(CGNode n, Collection<PointerKey> result, H h, PointerAnalysis<T> pa, boolean ignoreAllocHeapDefs)
-
-
Method Details
-
visitNew
- Specified by:
visitNew
in interfaceSSAInstruction.IVisitor
- Overrides:
visitNew
in classSSAInstruction.Visitor
-
visitArrayStore
- Specified by:
visitArrayStore
in interfaceSSAInstruction.IVisitor
- Overrides:
visitArrayStore
in classSSAInstruction.Visitor
-
visitPut
- Specified by:
visitPut
in interfaceSSAInstruction.IVisitor
- Overrides:
visitPut
in classSSAInstruction.Visitor
-