package cfg
- Alphabetic
- Public
- All
Type Members
-
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.
-
case class
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.
Represents the control flow graph of a method.
To compute a
CFGuse 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!
-
trait
CFGNode extends Node
The common super trait of all nodes belonging to a method's control flow graph.
-
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.
-
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.