Interface CfgBlock

All Known Subinterfaces:
CfgBranchingBlock

public interface CfgBlock
A node of a ControlFlowGraph. Successors are the nodes which may be executed after this one. Predecessors are the nodes which may be executed before this one. Elements are instances of Tree which are evaluated one after the other.
  • Method Details

    • predecessors

      Set<CfgBlock> predecessors()
    • successors

      Set<CfgBlock> successors()
    • syntacticSuccessor

      @Nullable CfgBlock syntacticSuccessor()
      Returns:
      block following this one if no jump is applied Returns null if this block doesn't end with jump statement (break, continue, return, goto, throw)
    • elements

      List<Tree> elements()