com.oracle.truffle.regex.tregex.nodes.dfa

Class DFAStateNode

java.lang.Object

com.oracle.truffle.api.nodes.Node

com.oracle.truffle.regex.tregex.nodes.dfa.DFAAbstractStateNode

com.oracle.truffle.regex.tregex.nodes.dfa.DFAStateNode

All Implemented Interfaces:

com.oracle.truffle.api.nodes.NodeInterface, JsonConvertible, Cloneable

Direct Known Subclasses:

BackwardDFAStateNode, CGTrackingDFAStateNode

public class DFAStateNode
extends DFAAbstractStateNode

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	DFAStateNode.LoopOptimizationNode

Nested classes/interfaces inherited from class com.oracle.truffle.api.nodes.Node

com.oracle.truffle.api.nodes.Node.Child, com.oracle.truffle.api.nodes.Node.Children

Field Summary

Fields

Modifier and Type	Field and Description
protected CharMatcher[]	matchers

Fields inherited from class com.oracle.truffle.regex.tregex.nodes.dfa.DFAAbstractStateNode

successors

Constructor Summary

Constructors

Constructor and Description
DFAStateNode(short id, byte flags, DFAStateNode.LoopOptimizationNode loopOptimizationNode, short[] successors, CharMatcher[] matchers, DFASimpleCG simpleCG, AllTransitionsInOneTreeMatcher allTransitionsInOneTreeMatcher)

Method Summary

Modifier and Type	Method and Description
static byte	buildFlags(boolean finalState, boolean anchoredFinalState, boolean hasBackwardPrefixState)
static DFAStateNode.LoopOptimizationNode	buildLoopOptimizationNode(short loopTransitionIndex, char[] indexOfChars)
protected void	checkFinalState(TRegexDFAExecutorLocals locals, TRegexDFAExecutorNode executor, int index)
DFAStateNode	createNodeSplitCopy(short copyID) Creates a copy of this state node, where all attributes are copied shallowly, except for the DFAAbstractStateNode.successors array, which is deep-copied, and the node ID, which is replaced by the parameter copyID.
void	executeFindSuccessor(TRegexDFAExecutorLocals locals, TRegexDFAExecutorNode executor, boolean compactString) Calculates this state's successor by finding a transition that matches the current input.
CharMatcher[]	getMatchers()
com.oracle.truffle.api.profiles.BranchProfile	getStateReachedProfile()
boolean	hasBackwardPrefixState()
boolean	hasLoopToSelf()
boolean	isAnchoredFinalState()
boolean	isFinalState()
JsonValue	toJson()
String	toString()

Methods inherited from class com.oracle.truffle.regex.tregex.nodes.dfa.DFAAbstractStateNode

getId, getSuccessors

Methods inherited from class com.oracle.truffle.api.nodes.Node

accept, adoptChildren, atomic, atomic, copy, deepCopy, getChildren, getCost, getDebugProperties, getDescription, getEncapsulatingSourceSection, getLock, getParent, getRootNode, getSourceSection, insert, insert, isAdoptable, isSafelyReplaceableBy, lookupContextReference, lookupLanguageReference, notifyInserted, onReplace, replace, replace, reportPolymorphicSpecialize

Methods inherited from class java.lang.Object

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

Field Detail

matchers

protected final CharMatcher[] matchers

Constructor Detail

DFAStateNode

public DFAStateNode(short id,
                    byte flags,
                    DFAStateNode.LoopOptimizationNode loopOptimizationNode,
                    short[] successors,
                    CharMatcher[] matchers,
                    DFASimpleCG simpleCG,
                    AllTransitionsInOneTreeMatcher allTransitionsInOneTreeMatcher)

Method Detail

buildFlags

public static byte buildFlags(boolean finalState,
                              boolean anchoredFinalState,
                              boolean hasBackwardPrefixState)

buildLoopOptimizationNode

public static DFAStateNode.LoopOptimizationNode buildLoopOptimizationNode(short loopTransitionIndex,
                                                                          char[] indexOfChars)

createNodeSplitCopy

public DFAStateNode createNodeSplitCopy(short copyID)

Description copied from class: DFAAbstractStateNode

Creates a copy of this state node, where all attributes are copied shallowly, except for the DFAAbstractStateNode.successors array, which is deep-copied, and the node ID, which is replaced by the parameter copyID. Used by DFANodeSplit.

Specified by:

createNodeSplitCopy in class DFAAbstractStateNode

Parameters:

copyID - new ID for the copy.

Returns:

an "almost shallow" copy of this node.

getMatchers

public final CharMatcher[] getMatchers()

getStateReachedProfile

public com.oracle.truffle.api.profiles.BranchProfile getStateReachedProfile()

isFinalState

public boolean isFinalState()

isAnchoredFinalState

public boolean isAnchoredFinalState()

hasBackwardPrefixState

public boolean hasBackwardPrefixState()

hasLoopToSelf

public boolean hasLoopToSelf()

executeFindSuccessor

public void executeFindSuccessor(TRegexDFAExecutorLocals locals,
                                 TRegexDFAExecutorNode executor,
                                 boolean compactString)

Calculates this state's successor by finding a transition that matches the current input. If the successor is the state itself, this method continues consuming input characters until a different successor is found. This special handling allows for partial loop unrolling inside the DFA, as well as some optimizations in CGTrackingDFAStateNode.

Specified by:

executeFindSuccessor in class DFAAbstractStateNode

Parameters:

locals - a virtual frame as described by TRegexDFAExecutorProperties.

executor - this node's parent TRegexDFAExecutorNode.

compactString - true if the input string is a compact string, must be partial evaluation constant.

checkFinalState

protected void checkFinalState(TRegexDFAExecutorLocals locals,
                               TRegexDFAExecutorNode executor,
                               int index)

toString

public String toString()

Overrides:

toString in class com.oracle.truffle.api.nodes.Node

toJson

public JsonValue toJson()