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, catchNodes: Seq[CatchNode], basicBlocks: Array[BasicBlock]) 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 after construction time.

   code

   The code for which the CFG was build.

   normalReturnNode

   The unique exit node of the control flow graph if the method returns normally. If the method always throws an exception this node will not have any predecessors.

   abnormalReturnNode

   The unique exit node of the control flow graph if the method returns abnormally (throws an exception). If the method is guaranteed to never throw an exception, this node will not have any predecessors.

   catchNodes

   List of all catch nodes. (Usually, we have one CatchNode per org.opalj.br.ExceptionHandler, but if an exception handler does not catch anything, no CatchNode is created.)

   basicBlocks

   An implicit map between a program counter and its associated BasicBlock; it may be a sparse array!

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.

   This node represents an exception handler.

   Note

   CatchNodes are made explicit to handle/identify situations where the same exception handlers is responsible for handling multiple different exceptions. This situation generally arises in case of Javas multi-catch expressions.

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.