Interface CfgBranchingBlock

All Superinterfaces:
CfgBlock
All Known Implementing Classes:
PythonCfgBranchingBlock

public interface CfgBranchingBlock extends CfgBlock
A CfgBlock with 2 successors: represents a block ending with a condition which determines which successor is executed next.
  • Method Details

    • trueSuccessor

      CfgBlock trueSuccessor()
    • falseSuccessor

      CfgBlock falseSuccessor()
    • branchingTree

      Tree branchingTree()
      Syntax tree causing branching: e.g. loop tree, if statement tree