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
This visitor identifies basic block boundaries induced by branch instructions.
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionprotected 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 otherwisevoid
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 com.ibm.wala.ssa.SSAInstruction.Visitor
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
- Specified by:
visitGoto
in interfaceSSAInstruction.IVisitor
- Overrides:
visitGoto
in classSSAInstruction.Visitor
-
visitConditionalBranch
- Specified by:
visitConditionalBranch
in interfaceSSAInstruction.IVisitor
- Overrides:
visitConditionalBranch
in classSSAInstruction.Visitor
-
visitSwitch
- Specified by:
visitSwitch
in interfaceSSAInstruction.IVisitor
- Overrides:
visitSwitch
in classSSAInstruction.Visitor
-
visitPhi
- Specified by:
visitPhi
in interfaceSSAInstruction.IVisitor
- Overrides:
visitPhi
in classSSAInstruction.Visitor
-
visitReturn
- Specified by:
visitReturn
in interfaceSSAInstruction.IVisitor
- Overrides:
visitReturn
in classSSAInstruction.Visitor
-
visitThrow
- Specified by:
visitThrow
in interfaceSSAInstruction.IVisitor
- Overrides:
visitThrow
in classSSAInstruction.Visitor
-
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
-