com.oracle.truffle.regex.tregex.nodesplitter

Class DFANodeSplit

java.lang.Object

com.oracle.truffle.regex.tregex.nodesplitter.DFANodeSplit

All Implemented Interfaces:

StateIndex<com.oracle.truffle.regex.tregex.nodesplitter.GraphNode>

public final class DFANodeSplit
extends Object
implements StateIndex<com.oracle.truffle.regex.tregex.nodesplitter.GraphNode>

Implementation of a node splitting algorithm presented by Sebastian Unger and Frank Mueller in "Handling Irreducible Loops: Optimized Node Splitting vs. DJ-Graphs" (2001) and "Transforming Irreducible Regions of Control Flow into Reducible Regions by Optimized Node Splitting" (1998).

Field Summary

Fields

Modifier and Type	Field and Description
static int	EXTRA_INITIAL_CAPACITY

Method Summary

Modifier and Type	Method and Description
void	addGraphNode(com.oracle.truffle.regex.tregex.nodesplitter.GraphNode graphNode)
static DFAAbstractStateNode[]	createReducibleGraph(DFAAbstractStateNode[] nodes)
static DFAAbstractStateNode[]	createReducibleGraphAndUpdateDFAGen(DFAGenerator dfaGen, DFAAbstractStateNode[] nodes)
int	getId(com.oracle.truffle.regex.tregex.nodesplitter.GraphNode state)
int	getNumberOfStates()
com.oracle.truffle.regex.tregex.nodesplitter.GraphNode	getState(int id)

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.oracle.truffle.regex.tregex.automaton.StateIndex

isEmpty

Field Detail

EXTRA_INITIAL_CAPACITY

public static final int EXTRA_INITIAL_CAPACITY

See Also:

Constant Field Values

Method Detail

addGraphNode

public void addGraphNode(com.oracle.truffle.regex.tregex.nodesplitter.GraphNode graphNode)

createReducibleGraph

public static DFAAbstractStateNode[] createReducibleGraph(DFAAbstractStateNode[] nodes)
                                                   throws DFANodeSplitBailoutException

Throws:

DFANodeSplitBailoutException

createReducibleGraphAndUpdateDFAGen

public static DFAAbstractStateNode[] createReducibleGraphAndUpdateDFAGen(DFAGenerator dfaGen,
                                                                         DFAAbstractStateNode[] nodes)
                                                                  throws DFANodeSplitBailoutException

Throws:

DFANodeSplitBailoutException

getNumberOfStates

public int getNumberOfStates()

Specified by:

getNumberOfStates in interface StateIndex<com.oracle.truffle.regex.tregex.nodesplitter.GraphNode>

getId

public int getId(com.oracle.truffle.regex.tregex.nodesplitter.GraphNode state)

Specified by:

getId in interface StateIndex<com.oracle.truffle.regex.tregex.nodesplitter.GraphNode>

getState

public com.oracle.truffle.regex.tregex.nodesplitter.GraphNode getState(int id)

Specified by:

getState in interface StateIndex<com.oracle.truffle.regex.tregex.nodesplitter.GraphNode>