BasicBlock extends CFGNode
Represents a basic block of a method's control flow graph (CFG).
CFG[I <: AnyRef, C <: CodeSequence[I]](code: C, normalReturnNode: ExitNode, abnormalReturnNode: ExitNode, catchNodes: Seq[CatchNode], basicBlocks: Array[BasicBlock]) extends Product with Serializable
Represents the control flow graph of a method.
The code for which the CFG was build.
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.
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.
An implicit map between a program counter and its associated BasicBlock; it may be a sparse array!
CFGNode extends Node
The common super trait of all nodes belonging to a method's control flow graph.
CatchNode extends CFGNode
This node represents an exception handler.
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 Java
s multi-catch expressions.
ExitNode extends CFGNode
Represents the artificial exit node of a control flow graph.