de.mirkosertic.bytecoder.ssa

Class RegionNode

java.lang.Object

de.mirkosertic.bytecoder.graph.Node<RegionNode,ControlFlowEdgeType>

de.mirkosertic.bytecoder.ssa.RegionNode

public class RegionNode
extends Node<RegionNode,ControlFlowEdgeType>

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	RegionNode.BlockType
static class	RegionNode.ExceptionHandler

Field Summary

Fields

Modifier and Type	Field and Description
static Predicate<Edge>	ALL_SUCCCESSORS_REGULAR_FLOW_ONLY
static Predicate<Edge>	FORWARD_EDGE_FILTER_REGULAR_FLOW_ONLY
static Comparator<RegionNode>	NODE_COMPARATOR

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	RegionNode(ControlFlowGraph aOwningGraph, RegionNode.BlockType aType, Program aProgram, BytecodeOpcodeAddress aStartAddress)

Method Summary

Modifier and Type	Method and Description
<T extends Node> T	addEdgeTo(ControlFlowEdgeType aType, T aTargetNode)
void	addToLiveIn(Value aValue, VariableDescription aDescription)
void	addToLiveOut(Value aValue, VariableDescription aDescription)
Set<RegionNode>	dominatedNodes()
ExpressionList	getExpressions()
long	getFinishedAnalysisTime()
Set<RegionNode>	getPredecessors()
Set<RegionNode>	getPredecessorsIgnoringBackEdges()
BytecodeOpcodeAddress	getStartAddress()
long	getStartAnalysisTime()
RegionNode.BlockType	getType()
boolean	hasBackEdgeTo(RegionNode aNode)
boolean	hasIncomingBackEdges()
boolean	isDominatedBy(RegionNode aOtherNode)
boolean	isImmediatelyDominatedBy(RegionNode aNode)
BlockState	liveIn()
BlockState	liveOut()
Variable	newVariable(BytecodeOpcodeAddress aAddress, TypeRef aType, Value aValue)
Variable	newVariable(TypeRef aType)
void	setFinishedAnalysisTime(long finishedAnalysisTime)
void	setStartAnalysisTime(long startAnalysisTime)
String	toString()

Methods inherited from class de.mirkosertic.bytecoder.graph.Node

addIncomingEdge, incomingEdges, incomingEdges, outgoingEdges, outgoingEdges, singleOutgoingNodeMatching

Methods inherited from class java.lang.Object

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

Field Detail

NODE_COMPARATOR

public static final Comparator<RegionNode> NODE_COMPARATOR

FORWARD_EDGE_FILTER_REGULAR_FLOW_ONLY

public static final Predicate<Edge> FORWARD_EDGE_FILTER_REGULAR_FLOW_ONLY

ALL_SUCCCESSORS_REGULAR_FLOW_ONLY

public static final Predicate<Edge> ALL_SUCCCESSORS_REGULAR_FLOW_ONLY

Constructor Detail

RegionNode

protected RegionNode(ControlFlowGraph aOwningGraph,
                     RegionNode.BlockType aType,
                     Program aProgram,
                     BytecodeOpcodeAddress aStartAddress)

Method Detail

getStartAnalysisTime

public long getStartAnalysisTime()

setStartAnalysisTime

public void setStartAnalysisTime(long startAnalysisTime)

getFinishedAnalysisTime

public long getFinishedAnalysisTime()

setFinishedAnalysisTime

public void setFinishedAnalysisTime(long finishedAnalysisTime)

getExpressions

public ExpressionList getExpressions()

getType

public RegionNode.BlockType getType()

hasBackEdgeTo

public boolean hasBackEdgeTo(RegionNode aNode)

hasIncomingBackEdges

public boolean hasIncomingBackEdges()

getPredecessorsIgnoringBackEdges

public Set<RegionNode> getPredecessorsIgnoringBackEdges()

getPredecessors

public Set<RegionNode> getPredecessors()

getStartAddress

public BytecodeOpcodeAddress getStartAddress()

newVariable

public Variable newVariable(TypeRef aType)

newVariable

public Variable newVariable(BytecodeOpcodeAddress aAddress,
                            TypeRef aType,
                            Value aValue)

addToLiveIn

public void addToLiveIn(Value aValue,
                        VariableDescription aDescription)

addToLiveOut

public void addToLiveOut(Value aValue,
                         VariableDescription aDescription)

liveIn

public BlockState liveIn()

liveOut

public BlockState liveOut()

isImmediatelyDominatedBy

public boolean isImmediatelyDominatedBy(RegionNode aNode)

isDominatedBy

public boolean isDominatedBy(RegionNode aOtherNode)

dominatedNodes

public Set<RegionNode> dominatedNodes()

addEdgeTo

public <T extends Node> T addEdgeTo(ControlFlowEdgeType aType,
                                    T aTargetNode)

Overrides:

addEdgeTo in class Node<RegionNode,ControlFlowEdgeType>

toString

public String toString()

Overrides:

toString in class Object