ControlFlowGraph class
Control Flow Graph for a function.
- Available extensions
Constructors
-
ControlFlowGraph({required String functionName, required BasicBlock entry, required List<
BasicBlock> blocks})
Properties
-
blocks
→ List<
BasicBlock> -
final
- entry → BasicBlock
-
final
- functionName → String
-
final
- hashCode → int
-
The hash code for this object.
no setterinherited
-
reversePostOrder
→ List<
BasicBlock> -
Returns blocks in reverse postorder (useful for dataflow analysis).
no setter
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
Methods
-
dump(
) → void - Prints the CFG in a human-readable format.
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
toSsa(
[List< Variable> ? parameters]) → ControlFlowGraph -
Available on ControlFlowGraph, provided by the SsaExtension extension
Converts this CFG to SSA form. -
toString(
) → String -
A string representation of this object.
inherited
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited