Class InducedCFG.BranchVisitor

java.lang.Object

com.ibm.wala.ssa.SSAInstruction.Visitor

com.ibm.wala.cfg.InducedCFG.BranchVisitor

All Implemented Interfaces:

SSAInstruction.IVisitor

Direct Known Subclasses:

AstInducedCFG.AstBranchVisitor

Enclosing class:

InducedCFG

public class InducedCFG.BranchVisitor
extends SSAInstruction.Visitor

This visitor identifies basic block boundaries induced by branch instructions.

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	BranchVisitor(boolean[] r)

Method Summary

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 SSAInstruction.IVisitor

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

Constructor Details

BranchVisitor

protected BranchVisitor(boolean[] r)

Method Details

visitGoto

public void visitGoto(SSAGotoInstruction instruction)

visitConditionalBranch

public void visitConditionalBranch(SSAConditionalBranchInstruction instruction)

visitSwitch

public void visitSwitch(SSASwitchInstruction instruction)

visitPhi

public void visitPhi(SSAPhiInstruction instruction)

visitReturn

public void visitReturn(SSAReturnInstruction instruction)

visitThrow

public void visitThrow(SSAThrowInstruction instruction)

breakBasicBlock

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