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 Detail

      • trueSuccessor

        CfgBlock trueSuccessor()
      • falseSuccessor

        CfgBlock falseSuccessor()
      • branchingTree

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