ControlFlowGraph (Bytecoder Core 2020-05-12 API)

public class ControlFlowGraph
extends Object

Constructors
Constructor and Description
`ControlFlowGraph(Program aProgram)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`calculateReachabilityAndMarkBackEdges()`
`RegionNode`	`createAt(BytecodeOpcodeAddress aAddress, RegionNode.BlockType aType)`
`protected Set<RegionNode>`	`dominatedNodesOf(RegionNode aNode)`
`boolean`	`dominates(RegionNode dominator, RegionNode dominated)`
`boolean`	`dominatesInRegularFlowOnly(RegionNode node, RegionNode targetNode)`
`Dominators<RegionNode>`	`dominators()`
`List<RegionNode.ExceptionHandler>`	`exceptionHandlersStartingAt(BytecodeOpcodeAddress aAddress)`
`Program`	`getProgram()`
`boolean`	`isImmediatelyDominatedBy(RegionNode aDominator, RegionNode aNode)`
`RegionNode`	`nodeStartingAt(BytecodeOpcodeAddress aAddress)`
`RegionNode`	`startNode()`
`String`	`toDOT()`

public ControlFlowGraph(Program aProgram)

public Dominators<RegionNode> dominators()

public boolean dominates(RegionNode dominator,
                         RegionNode dominated)

public boolean dominatesInRegularFlowOnly(RegionNode node,
                                          RegionNode targetNode)

public void calculateReachabilityAndMarkBackEdges()

public RegionNode createAt(BytecodeOpcodeAddress aAddress,
                           RegionNode.BlockType aType)

public RegionNode nodeStartingAt(BytecodeOpcodeAddress aAddress)

public List<RegionNode.ExceptionHandler> exceptionHandlersStartingAt(BytecodeOpcodeAddress aAddress)

public boolean isImmediatelyDominatedBy(RegionNode aDominator,
                                        RegionNode aNode)

protected Set<RegionNode> dominatedNodesOf(RegionNode aNode)

Class ControlFlowGraph