Package com.ibm.wala.ipa.modref
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>
protected static class ModRef.ModVisitor<T extends InstanceKey,H extends ExtendedHeapModel> extends SSAInstruction.Visitor
-
-
Field Summary
Fields Modifier and Type Field Description protected H
h
protected CGNode
n
protected PointerAnalysis<T>
pa
protected Collection<PointerKey>
result
-
Constructor Summary
Constructors Modifier Constructor Description protected
ModVisitor(CGNode n, Collection<PointerKey> result, H h, PointerAnalysis<T> pa, boolean ignoreAllocHeapDefs)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
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 Detail
-
n
protected final CGNode n
-
result
protected final Collection<PointerKey> result
-
h
protected final H extends ExtendedHeapModel h
-
pa
protected final PointerAnalysis<T extends InstanceKey> pa
-
-
Constructor Detail
-
ModVisitor
protected ModVisitor(CGNode n, Collection<PointerKey> result, H h, PointerAnalysis<T> pa, boolean ignoreAllocHeapDefs)
-
-
Method Detail
-
visitNew
public void visitNew(SSANewInstruction instruction)
- Specified by:
visitNew
in interfaceSSAInstruction.IVisitor
- Overrides:
visitNew
in classSSAInstruction.Visitor
-
visitArrayStore
public void visitArrayStore(SSAArrayStoreInstruction instruction)
- Specified by:
visitArrayStore
in interfaceSSAInstruction.IVisitor
- Overrides:
visitArrayStore
in classSSAInstruction.Visitor
-
visitPut
public void visitPut(SSAPutInstruction instruction)
- Specified by:
visitPut
in interfaceSSAInstruction.IVisitor
- Overrides:
visitPut
in classSSAInstruction.Visitor
-
-