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

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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 interface SSAInstruction.IVisitor
  
  Overrides:
  
  visitNew in class SSAInstruction.Visitor
- visitArrayStore
```
public void visitArrayStore(SSAArrayStoreInstruction instruction)
```
  Specified by:
  
  visitArrayStore in interface SSAInstruction.IVisitor
  
  Overrides:
  
  visitArrayStore in class SSAInstruction.Visitor
- visitPut
```
public void visitPut(SSAPutInstruction instruction)
```
  Specified by:
  
  visitPut in interface SSAInstruction.IVisitor
  
  Overrides:
  
  visitPut in class SSAInstruction.Visitor

Modifier and Type	Field	Description
`protected H`	`h`
`protected CGNode`	`n`
`protected PointerAnalysis<T>`	`pa`
`protected Collection<PointerKey>`	`result`

Class ModRef.ModVisitor<T extends InstanceKey,​H extends ExtendedHeapModel>

Field Summary

Constructor Summary

Method Summary

Methods inherited from class com.ibm.wala.ssa.SSAInstruction.Visitor

Methods inherited from class java.lang.Object

Field Detail

n

result

h

pa

Constructor Detail

ModVisitor

Method Detail

visitNew

visitArrayStore

visitPut

Class ModRef.ModVisitor<T extends InstanceKey,H extends ExtendedHeapModel>