com.ibm.wala.cast.ir.ssa
Interface AstInstructionVisitor

All Superinterfaces:

SSAInstruction.IVisitor

All Known Subinterfaces:

AstJavaInstructionVisitor, AstPreInstructionVisitor, InstructionVisitor

All Known Implementing Classes:

AbstractInstructionVisitor, AstAbstractInstructionVisitor, AstInducedCFG.AstBranchVisitor, AstInducedCFG.AstPEIVisitor, AstJavaAbstractInstructionVisitor, AstJavaSSAPropagationCallGraphBuilder.AstJavaConstraintVisitor, AstJavaSSAPropagationCallGraphBuilder.AstJavaInterestingVisitor, AstJavaSSAPropagationCallGraphBuilder.AstJavaPointerFlowGraph.AstJavaPointerFlowVisitor, AstJavaTypeInference.AstJavaTypeOperatorFactory, AstSSAPropagationCallGraphBuilder.AstConstraintVisitor, AstSSAPropagationCallGraphBuilder.AstInterestingVisitor, AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl.AstImplicitPointsToSetVisitor, AstSSAPropagationCallGraphBuilder.AstPointerFlowGraph.AstPointerFlowVisitor, AstTypeInference.AstTypeOperatorFactory, JSSSAPropagationCallGraphBuilder.JSConstraintVisitor, JSSSAPropagationCallGraphBuilder.JSInterestingVisitor, JSSSAPropagationCallGraphBuilder.JSPointerAnalysisImpl.JSImplicitPointsToSetVisitor, JSSSAPropagationCallGraphBuilder.JSPointerFlowGraph.JSPointerFlowVisitor

public interface AstInstructionVisitor
extends SSAInstruction.IVisitor

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	visitIsDefined(AstIsDefinedInstruction inst)
void	visitNonExceptingThrow(NonExceptingThrowInstruction inst)

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

Method Detail

visitAstLexicalRead

void visitAstLexicalRead(AstLexicalRead instruction)

visitAstLexicalWrite

void visitAstLexicalWrite(AstLexicalWrite instruction)

visitAstGlobalRead

void visitAstGlobalRead(AstGlobalRead instruction)

visitAstGlobalWrite

void visitAstGlobalWrite(AstGlobalWrite instruction)

visitNonExceptingThrow

void visitNonExceptingThrow(NonExceptingThrowInstruction inst)

visitAssert

void visitAssert(AstAssertInstruction instruction)

visitEachElementGet

void visitEachElementGet(EachElementGetInstruction inst)

visitEachElementHasNext

void visitEachElementHasNext(EachElementHasNextInstruction inst)

visitIsDefined

void visitIsDefined(AstIsDefinedInstruction inst)