com.ibm.wala.cast.ipa.callgraph
Class AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl.AstImplicitPointsToSetVisitor

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

Direct Known Subclasses:

JSSSAPropagationCallGraphBuilder.JSPointerAnalysisImpl.JSImplicitPointsToSetVisitor

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

AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl.AstImplicitPointsToSetVisitor(AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl analysis, LocalPointerKey lpk)

Method Summary

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)
void	visitNonExceptingThrow(NonExceptingThrowInstruction 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, visitLoadClass, 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, visitLoadClass, visitMonitor, visitNew, visitPhi, visitPi, visitPut, visitReturn, visitSwitch, visitThrow, visitUnaryOp

Constructor Detail

AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl.AstImplicitPointsToSetVisitor

public AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl.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

visitNonExceptingThrow

public void visitNonExceptingThrow(NonExceptingThrowInstruction inst)

Specified by:

visitNonExceptingThrow 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