cfg

Type Members

1. class BasicBlock extends CFGNode

   

   Represents a basic block of a method's control flow graph (CFG).

   Represents a basic block of a method's control flow graph (CFG). The basic block is identified by referring to the first and last instruction belonging to the basic block.

2. case class CFG(code: Code, normalReturnNode: ExitNode, abnormalReturnNode: ExitNode, basicBlocks: Array[BasicBlock], catchNodes: Seq[CatchNode]) extends Product with Serializable

   

   Represents the control flow graph of a method.

   Represents the control flow graph of a method.

   To compute a CFG use the CFGFactory.

   Thread-Safety

   This class is thread-safe; all data is effectively immutable.

   normalReturnNode

   The unique exit node of the control flow graph if the method returns normally.

   abnormalReturnNode

   The unique exit node of the control flow graph if the method returns abnormally (throws an exception).

   basicBlocks

   An implicit map between a program counter and its associated BasicBlock.

   catchNodes

   List of all catch nodes. (Usually, we have one CatchNode per org.opalj.br.ExceptionHandler.

3. trait CFGNode extends Node

   

   The common super trait of all nodes belonging to a method's control flow graph.

4. class CatchNode extends CFGNode

   

   This node represents an exception handler.

5. class ExitNode extends CFGNode

   

   Represents the artificial exit node of a control flow graph.

   Represents the artificial exit node of a control flow graph. The graph contains an explicit exit node to make it trivial to navigate to all instructions that may cause a(n ab)normal return from the method.