Class ControlFlowNode

java.lang.Object

com.strobel.assembler.flowanalysis.ControlFlowNode

All Implemented Interfaces:

Comparable<ControlFlowNode>

public final class ControlFlowNode
extends Object
implements Comparable<ControlFlowNode>

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private final class	ControlFlowNode.InstructionIterator
private final class	ControlFlowNode.PredecessorIterator
private final class	ControlFlowNode.SuccessorIterator

Field Summary

Fields

Modifier and Type	Field	Description
private final int	_blockIndex
private ControlFlowNode	_copyFrom
private final Set<ControlFlowNode>	_dominanceFrontier
private final List<ControlFlowNode>	_dominatorTreeChildren
private Instruction	_end
private final ControlFlowNode	_endFinallyNode
private ExceptionHandler	_exceptionHandler
private ControlFlowNode	_immediateDominator
private final List<ControlFlowEdge>	_incoming
private final ControlFlowNodeType	_nodeType
private final int	_offset
private final List<ControlFlowEdge>	_outgoing
private Instruction	_start
private Object	_userData
private boolean	_visited
static final Predicate<ControlFlowNode>	REACHABLE_PREDICATE

Constructor Summary

Constructors

Constructor	Description
ControlFlowNode(int blockIndex, int offset, ControlFlowNodeType nodeType)
ControlFlowNode(int blockIndex, ExceptionHandler exceptionHandler, ControlFlowNode endFinallyNode)
ControlFlowNode(int blockIndex, Instruction start, Instruction end)

Method Summary

Modifier and Type	Method	Description
int	compareTo(ControlFlowNode o)
final boolean	dominates(ControlFlowNode node)
final int	getBlockIndex()
final ControlFlowNode	getCopyFrom()
final Set<ControlFlowNode>	getDominanceFrontier()
final List<ControlFlowNode>	getDominatorTreeChildren()
final Instruction	getEnd()
final ControlFlowNode	getEndFinallyNode()
final ExceptionHandler	getExceptionHandler()
final ControlFlowNode	getImmediateDominator()
final List<ControlFlowEdge>	getIncoming()
final Iterable<Instruction>	getInstructions()
final ControlFlowNodeType	getNodeType()
final int	getOffset()
final List<ControlFlowEdge>	getOutgoing()
final Iterable<ControlFlowNode>	getPredecessors()
final Instruction	getStart()
final Iterable<ControlFlowNode>	getSuccessors()
final Object	getUserData()
final boolean	isReachable()
final boolean	isVisited()
final boolean	precedes(ControlFlowNode other)
final void	setCopyFrom(ControlFlowNode copyFrom)
final void	setEnd(Instruction end)
final void	setExceptionHandler(ExceptionHandler exceptionHandler)
final void	setImmediateDominator(ControlFlowNode immediateDominator)
final void	setStart(Instruction start)
final void	setUserData(Object userData)
final void	setVisited(boolean visited)
final boolean	succeeds(ControlFlowNode other)
final String	toString()
final void	traversePostOrder(Function<ControlFlowNode, Iterable<ControlFlowNode>> children, Consumer<ControlFlowNode> visitAction)
final void	traversePreOrder(Function<ControlFlowNode, Iterable<ControlFlowNode>> children, Consumer<ControlFlowNode> visitAction)

Methods inherited from class Object

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

Field Details

_blockIndex

private final int _blockIndex

_offset

private final int _offset

_nodeType

private final ControlFlowNodeType _nodeType

_endFinallyNode

private final ControlFlowNode _endFinallyNode

_dominatorTreeChildren

private final List<ControlFlowNode> _dominatorTreeChildren

_dominanceFrontier

private final Set<ControlFlowNode> _dominanceFrontier

_incoming

private final List<ControlFlowEdge> _incoming

_outgoing

private final List<ControlFlowEdge> _outgoing

_visited

private boolean _visited

_copyFrom

private ControlFlowNode _copyFrom

_immediateDominator

private ControlFlowNode _immediateDominator

_start

private Instruction _start

_end

private Instruction _end

_exceptionHandler

private ExceptionHandler _exceptionHandler

_userData

private Object _userData

REACHABLE_PREDICATE

public static final Predicate<ControlFlowNode> REACHABLE_PREDICATE

Constructor Details

ControlFlowNode

public ControlFlowNode(int blockIndex,
 int offset,
 ControlFlowNodeType nodeType)

ControlFlowNode

public ControlFlowNode(int blockIndex,
 Instruction start,
 Instruction end)

ControlFlowNode

public ControlFlowNode(int blockIndex,
 ExceptionHandler exceptionHandler,
 ControlFlowNode endFinallyNode)

Method Details

getBlockIndex

public final int getBlockIndex()

getOffset

public final int getOffset()

getNodeType

public final ControlFlowNodeType getNodeType()

getEndFinallyNode

public final ControlFlowNode getEndFinallyNode()

getDominatorTreeChildren

public final List<ControlFlowNode> getDominatorTreeChildren()

getDominanceFrontier

public final Set<ControlFlowNode> getDominanceFrontier()

getIncoming

public final List<ControlFlowEdge> getIncoming()

getOutgoing

public final List<ControlFlowEdge> getOutgoing()

isVisited

public final boolean isVisited()

isReachable

public final boolean isReachable()

getCopyFrom

public final ControlFlowNode getCopyFrom()

getImmediateDominator

public final ControlFlowNode getImmediateDominator()

getStart

public final Instruction getStart()

getEnd

public final Instruction getEnd()

getExceptionHandler

public final ExceptionHandler getExceptionHandler()

getUserData

public final Object getUserData()

setVisited

public final void setVisited(boolean visited)

setCopyFrom

public final void setCopyFrom(ControlFlowNode copyFrom)

setImmediateDominator

public final void setImmediateDominator(ControlFlowNode immediateDominator)

setStart

public final void setStart(Instruction start)

setEnd

public final void setEnd(Instruction end)

setExceptionHandler

public final void setExceptionHandler(ExceptionHandler exceptionHandler)

setUserData

public final void setUserData(Object userData)

succeeds

public final boolean succeeds(ControlFlowNode other)

precedes

public final boolean precedes(ControlFlowNode other)

getPredecessors

public final Iterable<ControlFlowNode> getPredecessors()

getSuccessors

public final Iterable<ControlFlowNode> getSuccessors()

getInstructions

public final Iterable<Instruction> getInstructions()

traversePreOrder

public final void traversePreOrder(Function<ControlFlowNode, Iterable<ControlFlowNode>> children,
 Consumer<ControlFlowNode> visitAction)

traversePostOrder

public final void traversePostOrder(Function<ControlFlowNode, Iterable<ControlFlowNode>> children,
 Consumer<ControlFlowNode> visitAction)

dominates

public final boolean dominates(ControlFlowNode node)

toString

public final String toString()

Overrides:

toString in class Object

compareTo

public int compareTo(ControlFlowNode o)

Specified by:

compareTo in interface Comparable<ControlFlowNode>