com.strobel.assembler.flowanalysis

Class ControlFlowNode

java.lang.Object

com.strobel.assembler.flowanalysis.ControlFlowNode

All Implemented Interfaces:

java.lang.Comparable<ControlFlowNode>

public final class ControlFlowNode
extends java.lang.Object
implements java.lang.Comparable<ControlFlowNode>

Field Summary

Fields

Modifier and Type	Field and Description
static com.strobel.core.Predicate<ControlFlowNode>	REACHABLE_PREDICATE

Constructor Summary

Constructors

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

Method Summary

Methods

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

Methods inherited from class java.lang.Object

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

Field Detail

REACHABLE_PREDICATE

public static final com.strobel.core.Predicate<ControlFlowNode> REACHABLE_PREDICATE

Constructor Detail

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 Detail

getBlockIndex

public final int getBlockIndex()

getOffset

public final int getOffset()

getNodeType

public final ControlFlowNodeType getNodeType()

getEndFinallyNode

public final ControlFlowNode getEndFinallyNode()

getDominatorTreeChildren

public final java.util.List<ControlFlowNode> getDominatorTreeChildren()

getDominanceFrontier

public final java.util.Set<ControlFlowNode> getDominanceFrontier()

getIncoming

public final java.util.List<ControlFlowEdge> getIncoming()

getOutgoing

public final java.util.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 java.lang.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(java.lang.Object userData)

succeeds

public final boolean succeeds(ControlFlowNode other)

precedes

public final boolean precedes(ControlFlowNode other)

getPredecessors

public final java.lang.Iterable<ControlFlowNode> getPredecessors()

getSuccessors

public final java.lang.Iterable<ControlFlowNode> getSuccessors()

getInstructions

public final java.lang.Iterable<Instruction> getInstructions()

traversePreOrder

public final void traversePreOrder(com.strobel.functions.Function<ControlFlowNode,java.lang.Iterable<ControlFlowNode>> children,
                    com.strobel.functions.Block<ControlFlowNode> visitAction)

traversePostOrder

public final void traversePostOrder(com.strobel.functions.Function<ControlFlowNode,java.lang.Iterable<ControlFlowNode>> children,
                     com.strobel.functions.Block<ControlFlowNode> visitAction)

dominates

public final boolean dominates(ControlFlowNode node)

toString

public final java.lang.String toString()

Overrides:

toString in class java.lang.Object

compareTo

public int compareTo(ControlFlowNode o)

Specified by:

compareTo in interface java.lang.Comparable<ControlFlowNode>