com.ibm.wala.cast.java.ipa.callgraph
Class AstJavaSSAPropagationCallGraphBuilder.AstJavaPointerFlowGraph.AstJavaPointerFlowVisitor

java.lang.Object
  com.ibm.wala.ssa.SSAInstruction.Visitor
      com.ibm.wala.ipa.callgraph.propagation.PointerFlowGraph.InstructionVisitor
          com.ibm.wala.cast.ipa.callgraph.AstSSAPropagationCallGraphBuilder.AstPointerFlowGraph.AstPointerFlowVisitor
              com.ibm.wala.cast.java.ipa.callgraph.AstJavaSSAPropagationCallGraphBuilder.AstJavaPointerFlowGraph.AstJavaPointerFlowVisitor

All Implemented Interfaces:

AstInstructionVisitor, AstJavaInstructionVisitor, SSAInstruction.IVisitor

Enclosing class:

AstJavaSSAPropagationCallGraphBuilder.AstJavaPointerFlowGraph

protected class AstJavaSSAPropagationCallGraphBuilder.AstJavaPointerFlowGraph.AstJavaPointerFlowVisitor
extends AstSSAPropagationCallGraphBuilder.AstPointerFlowGraph.AstPointerFlowVisitor
implements AstJavaInstructionVisitor

Constructor Summary

protected

AstJavaSSAPropagationCallGraphBuilder.AstJavaPointerFlowGraph.AstJavaPointerFlowVisitor(CGNode node, IR ir, SSACFG.BasicBlock bb)

Method Summary

void	visitEnclosingObjectReference(EnclosingObjectReference x)
void	visitJavaInvoke(AstJavaInvokeInstruction instruction)

Methods inherited from class com.ibm.wala.cast.ipa.callgraph.AstSSAPropagationCallGraphBuilder.AstPointerFlowGraph.AstPointerFlowVisitor

visitAssert, visitAstGlobalRead, visitAstGlobalWrite, visitAstLexicalRead, visitAstLexicalWrite, visitEachElementGet, visitEachElementHasNext, visitIsDefined, visitNonExceptingThrow

Methods inherited from class com.ibm.wala.ipa.callgraph.propagation.PointerFlowGraph.InstructionVisitor

visitArrayLoad, visitArrayStore, visitCheckCast, visitGet, visitGetCaughtException, visitInvoke, visitPi, visitPut, visitReturn, visitThrow

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

visitArrayLength, visitBinaryOp, visitComparison, visitConditionalBranch, visitConversion, visitGoto, visitInstanceof, visitLoadClass, visitMonitor, visitNew, visitPhi, visitSwitch, 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.cast.ir.ssa.AstInstructionVisitor

visitAssert, visitAstGlobalRead, visitAstGlobalWrite, visitAstLexicalRead, visitAstLexicalWrite, visitEachElementGet, visitEachElementHasNext, visitIsDefined, visitNonExceptingThrow

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

AstJavaSSAPropagationCallGraphBuilder.AstJavaPointerFlowGraph.AstJavaPointerFlowVisitor

protected AstJavaSSAPropagationCallGraphBuilder.AstJavaPointerFlowGraph.AstJavaPointerFlowVisitor(CGNode node,
                                                                                                  IR ir,
                                                                                                  SSACFG.BasicBlock bb)

Method Detail

visitEnclosingObjectReference

public void visitEnclosingObjectReference(EnclosingObjectReference x)

Specified by:

visitEnclosingObjectReference in interface AstJavaInstructionVisitor

visitJavaInvoke

public void visitJavaInvoke(AstJavaInvokeInstruction instruction)

Specified by:

visitJavaInvoke in interface AstJavaInstructionVisitor