Class AstInducedCFG.AstBranchVisitor

java.lang.Object

com.ibm.wala.ssa.SSAInstruction.Visitor

com.ibm.wala.cfg.InducedCFG.BranchVisitor

com.ibm.wala.cast.ir.cfg.AstInducedCFG.AstBranchVisitor

All Implemented Interfaces:

AstInstructionVisitor, SSAInstruction.IVisitor

Enclosing class:

AstInducedCFG

protected class AstInducedCFG.AstBranchVisitor
extends InducedCFG.BranchVisitor
implements AstInstructionVisitor

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	AstBranchVisitor(boolean[] r)

Method Summary

Methods inherited from class InducedCFG.BranchVisitor

breakBasicBlock, visitConditionalBranch, visitGoto, visitPhi, visitReturn, visitSwitch, visitThrow

Modifier and Type	Method	Description
protected void	breakBasicBlock(int index)	introduce a basic block boundary immediately after instruction number 'index' if it is not followed by pi instructions, or after the pi instructions otherwise
void	visitConditionalBranch(SSAConditionalBranchInstruction instruction)
void	visitGoto(SSAGotoInstruction instruction)
void	visitPhi(SSAPhiInstruction instruction)
void	visitReturn(SSAReturnInstruction instruction)
void	visitSwitch(SSASwitchInstruction instruction)
void	visitThrow(SSAThrowInstruction instruction)

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface AstInstructionVisitor

visitAssert, visitAstGlobalRead, visitAstGlobalWrite, visitAstLexicalRead, visitAstLexicalWrite, visitEachElementGet, visitEachElementHasNext, visitEcho, visitIsDefined, visitPropertyRead, visitPropertyWrite, visitYield

Modifier and Type	Method	Description
default void	visitAssert(AstAssertInstruction instruction)
default void	visitAstGlobalRead(AstGlobalRead instruction)
default void	visitAstGlobalWrite(AstGlobalWrite instruction)
default void	visitAstLexicalRead(AstLexicalRead instruction)
default void	visitAstLexicalWrite(AstLexicalWrite instruction)
default void	visitEachElementGet(EachElementGetInstruction inst)
default void	visitEachElementHasNext(EachElementHasNextInstruction inst)
default void	visitEcho(AstEchoInstruction inst)
default void	visitIsDefined(AstIsDefinedInstruction inst)
default void	visitPropertyRead(AstPropertyRead instruction)
default void	visitPropertyWrite(AstPropertyWrite instruction)
default void	visitYield(AstYieldInstruction inst)

Methods inherited from interface SSAInstruction.IVisitor

visitArrayLength, visitArrayLoad, visitArrayStore, visitBinaryOp, visitCheckCast, visitComparison, visitConversion, visitGet, visitGetCaughtException, visitInstanceof, visitInvoke, visitLoadMetadata, visitMonitor, visitNew, visitPi, visitPut, visitUnaryOp

Modifier and Type	Method	Description
default void	visitArrayLength(SSAArrayLengthInstruction instruction)
default void	visitArrayLoad(SSAArrayLoadInstruction instruction)
default void	visitArrayStore(SSAArrayStoreInstruction instruction)
default void	visitBinaryOp(SSABinaryOpInstruction instruction)
default void	visitCheckCast(SSACheckCastInstruction instruction)
default void	visitComparison(SSAComparisonInstruction instruction)
default void	visitConversion(SSAConversionInstruction instruction)
default void	visitGet(SSAGetInstruction instruction)
default void	visitGetCaughtException(SSAGetCaughtExceptionInstruction instruction)
default void	visitInstanceof(SSAInstanceofInstruction instruction)
default void	visitInvoke(SSAInvokeInstruction instruction)
default void	visitLoadMetadata(SSALoadMetadataInstruction instruction)
default void	visitMonitor(SSAMonitorInstruction instruction)
default void	visitNew(SSANewInstruction instruction)
default void	visitPi(SSAPiInstruction instruction)
default void	visitPut(SSAPutInstruction instruction)
default void	visitUnaryOp(SSAUnaryOpInstruction instruction)

Constructor Details

AstBranchVisitor

protected AstBranchVisitor(boolean[] r)