Package com.strobel.assembler.flowanalysis

Class ControlFlowNode

java.lang.Object

com.strobel.assembler.flowanalysis.ControlFlowNode

All Implemented Interfaces:

Comparable<ControlFlowNode>

public final class ControlFlowNode
extends Object
implements Comparable<ControlFlowNode>

Field Summary

Fields

Modifier and Type	Field	Description
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 java.lang.Object

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

Field Details

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>