java.lang.Object
- com.ibm.wala.ssa.SSAInstruction.Visitor
- - com.ibm.wala.ipa.callgraph.propagation.PointerAnalysisImpl.ImplicitPointsToSetVisitor
  - - com.ibm.wala.cast.ipa.callgraph.AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl.AstImplicitPointsToSetVisitor

All Implemented Interfaces:: AstInstructionVisitor, SSAInstruction.IVisitor

Enclosing class:: AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl

public static class AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl.AstImplicitPointsToSetVisitor
extends PointerAnalysisImpl.ImplicitPointsToSetVisitor
implements AstInstructionVisitor

Field Summary
- Fields inherited from class com.ibm.wala.ipa.callgraph.propagation.PointerAnalysisImpl.ImplicitPointsToSetVisitor
  analysis, lpk, node, pointsToSet

Constructor Summary

Constructors
Constructor Description

AstImplicitPointsToSetVisitor(AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl analysis, LocalPointerKey lpk)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`visitAssert(AstAssertInstruction instruction)`
`void`	`visitAstGlobalRead(AstGlobalRead instruction)`
`void`	`visitAstGlobalWrite(AstGlobalWrite instruction)`
`void`	`visitAstLexicalRead(AstLexicalRead instruction)`
`void`	`visitAstLexicalWrite(AstLexicalWrite instruction)`
`void`	`visitEachElementGet(EachElementGetInstruction inst)`
`void`	`visitEachElementHasNext(EachElementHasNextInstruction inst)`
`void`	`visitEcho(AstEchoInstruction inst)`
`void`	`visitIsDefined(AstIsDefinedInstruction inst)`

Methods inherited from class com.ibm.wala.ipa.callgraph.propagation.PointerAnalysisImpl.ImplicitPointsToSetVisitor
visitArrayLoad, visitCheckCast, visitGet, visitGetCaughtException, visitInvoke, visitNew, visitPhi, visitPi

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

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

Methods inherited from interface com.ibm.wala.ssa.SSAInstruction.IVisitor
visitArrayLength, visitArrayLoad, visitArrayStore, visitBinaryOp, visitCheckCast, visitComparison, visitConditionalBranch, visitConversion, visitGet, visitGetCaughtException, visitGoto, visitInstanceof, visitInvoke, visitLoadMetadata, visitMonitor, visitNew, visitPhi, visitPi, visitPut, visitReturn, visitSwitch, visitThrow, visitUnaryOp

Constructor Detail

AstImplicitPointsToSetVisitor

public AstImplicitPointsToSetVisitor(AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl analysis,
                                     LocalPointerKey lpk)

Method Detail
- visitAstLexicalRead
```
public void visitAstLexicalRead(AstLexicalRead instruction)
```
  Specified by:
  
  visitAstLexicalRead in interface AstInstructionVisitor
- visitAstLexicalWrite
```
public void visitAstLexicalWrite(AstLexicalWrite instruction)
```
  Specified by:
  
  visitAstLexicalWrite in interface AstInstructionVisitor
- visitAstGlobalRead
```
public void visitAstGlobalRead(AstGlobalRead instruction)
```
  Specified by:
  
  visitAstGlobalRead in interface AstInstructionVisitor
- visitAstGlobalWrite
```
public void visitAstGlobalWrite(AstGlobalWrite instruction)
```
  Specified by:
  
  visitAstGlobalWrite in interface AstInstructionVisitor
- visitAssert
```
public void visitAssert(AstAssertInstruction instruction)
```
  Specified by:
  
  visitAssert in interface AstInstructionVisitor
- visitEachElementGet
```
public void visitEachElementGet(EachElementGetInstruction inst)
```
  Specified by:
  
  visitEachElementGet in interface AstInstructionVisitor
- visitEachElementHasNext
```
public void visitEachElementHasNext(EachElementHasNextInstruction inst)
```
  Specified by:
  
  visitEachElementHasNext in interface AstInstructionVisitor
- visitIsDefined
```
public void visitIsDefined(AstIsDefinedInstruction inst)
```
  Specified by:
  
  visitIsDefined in interface AstInstructionVisitor
- visitEcho
```
public void visitEcho(AstEchoInstruction inst)
```
  Specified by:
  
  visitEcho in interface AstInstructionVisitor

Class AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl.AstImplicitPointsToSetVisitor

Field Summary

Fields inherited from class com.ibm.wala.ipa.callgraph.propagation.PointerAnalysisImpl.ImplicitPointsToSetVisitor

Constructor Summary

Method Summary

Methods inherited from class com.ibm.wala.ipa.callgraph.propagation.PointerAnalysisImpl.ImplicitPointsToSetVisitor

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

Methods inherited from class java.lang.Object

Methods inherited from interface com.ibm.wala.ssa.SSAInstruction.IVisitor

Constructor Detail

AstImplicitPointsToSetVisitor

Method Detail

visitAstLexicalRead

visitAstLexicalWrite

visitAstGlobalRead

visitAstGlobalWrite

visitAssert

visitEachElementGet

visitEachElementHasNext

visitIsDefined

visitEcho