com.ibm.wala.cast.java.ipa.callgraph
Class AstJavaSSAPropagationCallGraphBuilder.AstJavaConstraintVisitor

java.lang.Object
  com.ibm.wala.ssa.SSAInstruction.Visitor
      com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.ConstraintVisitor
          com.ibm.wala.cast.ipa.callgraph.AstSSAPropagationCallGraphBuilder.AstConstraintVisitor
              com.ibm.wala.cast.java.ipa.callgraph.AstJavaSSAPropagationCallGraphBuilder.AstJavaConstraintVisitor

All Implemented Interfaces:

AstInstructionVisitor, AstJavaInstructionVisitor, SSAInstruction.IVisitor

Enclosing class:

AstJavaSSAPropagationCallGraphBuilder

protected class AstJavaSSAPropagationCallGraphBuilder.AstJavaConstraintVisitor
extends AstSSAPropagationCallGraphBuilder.AstConstraintVisitor
implements AstJavaInstructionVisitor

Field Summary

Fields inherited from class com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.ConstraintVisitor

du, ir, node, symbolTable

Constructor Summary

AstJavaSSAPropagationCallGraphBuilder.AstJavaConstraintVisitor(ExplicitCallGraph.ExplicitNode node, IR ir, ExplicitCallGraph callGraph, DefUse du)

Method Summary

void	visitEnclosingObjectReference(EnclosingObjectReference inst)
void	visitJavaInvoke(AstJavaInvokeInstruction instruction)
void	visitNew(SSANewInstruction instruction)

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

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

Methods inherited from class com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.ConstraintVisitor

computeInvariantParameters, getBasicBlock, setBasicBlock, visitArrayLoad, visitArrayStore, visitCheckCast, visitGet, visitGetCaughtException, visitGetInternal, visitInvoke, visitInvokeInternal, visitLoadClass, visitPi, visitPutInternal, visitReturn, visitThrow

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

visitArrayLength, visitBinaryOp, visitComparison, visitConditionalBranch, visitConversion, visitGoto, visitInstanceof, visitMonitor, 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, visitPhi, visitPi, visitPut, visitReturn, visitSwitch, visitThrow, visitUnaryOp

Constructor Detail

AstJavaSSAPropagationCallGraphBuilder.AstJavaConstraintVisitor

public AstJavaSSAPropagationCallGraphBuilder.AstJavaConstraintVisitor(ExplicitCallGraph.ExplicitNode node,
                                                                      IR ir,
                                                                      ExplicitCallGraph callGraph,
                                                                      DefUse du)

Method Detail

visitEnclosingObjectReference

public void visitEnclosingObjectReference(EnclosingObjectReference inst)

Specified by:

visitEnclosingObjectReference in interface AstJavaInstructionVisitor

visitNew

public void visitNew(SSANewInstruction instruction)

Specified by:

visitNew in interface SSAInstruction.IVisitor

Overrides:

visitNew in class SSAPropagationCallGraphBuilder.ConstraintVisitor

visitJavaInvoke

public void visitJavaInvoke(AstJavaInvokeInstruction instruction)

Specified by:

visitJavaInvoke in interface AstJavaInstructionVisitor