Class ControlFlowGraphBuilder

java.lang.Object

com.strobel.assembler.flowanalysis.ControlFlowGraphBuilder

public final class ControlFlowGraphBuilder
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private final class	ControlFlowGraphBuilder.CopyFinallySubGraphLogic

Field Summary

Fields

Modifier and Type	Field	Description
private final ControlFlowNode	_entryPoint
private final ControlFlowNode	_exceptionalExit
private final List<ExceptionHandler>	_exceptionHandlers
private final boolean[]	_hasIncomingJumps
private final List<Instruction>	_instructions
private int	_nextBlockId
private final List<ControlFlowNode>	_nodes
private final int[]	_offsets
private final ControlFlowNode	_regularExit
(package private) boolean	copyFinallyBlocks

Constructor Summary

Constructors

Modifier	Constructor	Description
private	ControlFlowGraphBuilder(List<Instruction> instructions, List<ExceptionHandler> exceptionHandlers)

Method Summary

Modifier and Type	Method	Description
final ControlFlowGraph	build()
static ControlFlowGraph	build(MethodBody methodBody)
static ControlFlowGraph	build(List<Instruction> instructions, List<ExceptionHandler> exceptionHandlers)
private void	calculateIncomingJumps()
private static List<ExceptionHandler>	coalesceExceptionHandlers(List<ExceptionHandler> handlers)
private void	copyFinallyBlocksIntoLeaveEdges()
private ControlFlowNode	copyFinallySubGraph(ControlFlowNode start, ControlFlowNode end, ControlFlowNode newEnd)
private void	createBranchControlFlow(ControlFlowNode node, Instruction jump, Instruction target)
private ControlFlowEdge	createEdge(ControlFlowNode fromNode, ControlFlowNode toNode, JumpType type)
private ControlFlowEdge	createEdge(ControlFlowNode fromNode, Instruction toInstruction, JumpType type)
private void	createExceptionalControlFlow()
private void	createNodes()
private void	createRegularControlFlow()
private void	createReturnControlFlow(ControlFlowNode node, Instruction end)
private ExceptionHandler	findInnermostExceptionHandler(int offsetInTryBlock)
private ControlFlowNode	findInnermostExceptionHandlerNode(int offset)
private ControlFlowNode	findInnermostFinallyBlock(int instructionOffset)
private ExceptionHandler	findInnermostFinallyHandler(int offsetInTryBlock)
private ControlFlowNode	findInnermostFinallyHandlerNode(int offset)
private ControlFlowNode	findInnermostHandlerBlock(int instructionOffset)
private ControlFlowNode	findInnermostHandlerBlock(int instructionOffset, boolean finallyOnly)
private ControlFlowNode	findNode(Instruction instruction)
private ControlFlowNode	findParentExceptionHandlerNode(ControlFlowNode node)
private int	getInstructionIndex(Instruction instruction)
private static boolean	isNarrower(ExceptionHandler handler, ExceptionHandler anchor)
private static boolean	isNarrower(InstructionBlock block, InstructionBlock anchor)
private void	transformLeaveEdges()

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

_instructions

private final List<Instruction> _instructions

_exceptionHandlers

private final List<ExceptionHandler> _exceptionHandlers

_nodes

private final List<ControlFlowNode> _nodes

_offsets

private final int[] _offsets

_hasIncomingJumps

private final boolean[] _hasIncomingJumps

_entryPoint

private final ControlFlowNode _entryPoint

_regularExit

private final ControlFlowNode _regularExit

_exceptionalExit

private final ControlFlowNode _exceptionalExit

_nextBlockId

private int _nextBlockId

copyFinallyBlocks

boolean copyFinallyBlocks

Constructor Details

ControlFlowGraphBuilder

private ControlFlowGraphBuilder(List<Instruction> instructions,
 List<ExceptionHandler> exceptionHandlers)

Method Details

build

public static ControlFlowGraph build(MethodBody methodBody)

build

public static ControlFlowGraph build(List<Instruction> instructions,
 List<ExceptionHandler> exceptionHandlers)

build

public final ControlFlowGraph build()

calculateIncomingJumps

private void calculateIncomingJumps()

createNodes

private void createNodes()

createRegularControlFlow

private void createRegularControlFlow()

createExceptionalControlFlow

private void createExceptionalControlFlow()

createBranchControlFlow

private void createBranchControlFlow(ControlFlowNode node,
 Instruction jump,
 Instruction target)

createReturnControlFlow

private void createReturnControlFlow(ControlFlowNode node,
 Instruction end)

transformLeaveEdges

private void transformLeaveEdges()

copyFinallyBlocksIntoLeaveEdges

private void copyFinallyBlocksIntoLeaveEdges()

copyFinallySubGraph

private ControlFlowNode copyFinallySubGraph(ControlFlowNode start,
 ControlFlowNode end,
 ControlFlowNode newEnd)

isNarrower

private static boolean isNarrower(ExceptionHandler handler,
 ExceptionHandler anchor)

isNarrower

private static boolean isNarrower(InstructionBlock block,
 InstructionBlock anchor)

findParentExceptionHandlerNode

private ControlFlowNode findParentExceptionHandlerNode(ControlFlowNode node)

findInnermostExceptionHandlerNode

private ControlFlowNode findInnermostExceptionHandlerNode(int offset)

findInnermostFinallyHandlerNode

private ControlFlowNode findInnermostFinallyHandlerNode(int offset)

getInstructionIndex

private int getInstructionIndex(Instruction instruction)

findNode

private ControlFlowNode findNode(Instruction instruction)

findInnermostExceptionHandler

private ExceptionHandler findInnermostExceptionHandler(int offsetInTryBlock)

findInnermostFinallyHandler

private ExceptionHandler findInnermostFinallyHandler(int offsetInTryBlock)

findInnermostHandlerBlock

private ControlFlowNode findInnermostHandlerBlock(int instructionOffset)

findInnermostFinallyBlock

private ControlFlowNode findInnermostFinallyBlock(int instructionOffset)

findInnermostHandlerBlock

private ControlFlowNode findInnermostHandlerBlock(int instructionOffset,
 boolean finallyOnly)

createEdge

private ControlFlowEdge createEdge(ControlFlowNode fromNode,
 Instruction toInstruction,
 JumpType type)

createEdge

private ControlFlowEdge createEdge(ControlFlowNode fromNode,
 ControlFlowNode toNode,
 JumpType type)

coalesceExceptionHandlers

private static List<ExceptionHandler> coalesceExceptionHandlers(List<ExceptionHandler> handlers)