Interface CfgBranchingBlock

  • All Superinterfaces:
    CfgBlock

    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, switch case clause tree, if statement tree, "&&" expression, "||" expression