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

Class DFAInitialStateNode

java.lang.Object

com.oracle.truffle.api.nodes.Node

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

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

All Implemented Interfaces:

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

public class DFAInitialStateNode
extends DFAAbstractStateNode

This state node is responsible for selecting a DFA's initial state based on the index the search starts from. Successors are entry points in case we start matching at the beginning of the input string, followed by entry points in case we do not start matching at the beginning of the input string. If possible matches must start at the beginning of the input string, entry points may be -1.

Nested Class Summary

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 inherited from class com.oracle.truffle.regex.tregex.nodes.dfa.DFAAbstractStateNode

successors

Constructor Summary

Constructors

Constructor and Description
DFAInitialStateNode(short[] successors, boolean searching, boolean genericCG)

Method Summary

Modifier and Type	Method and Description
DFAAbstractStateNode	createNodeSplitCopy(short copyID) Creates a node split copy of this initial state as described in DFAAbstractStateNode, but ignores copyID, since having two initial states in a DFA is not supported.
void	executeFindSuccessor(TRegexDFAExecutorLocals locals, TRegexDFAExecutorNode executor, boolean compactString) Calculates this state's successor and returns its ID (DFAAbstractStateNode.getId()) via TRegexDFAExecutorLocals.setSuccessorIndex(int).
int	getPrefixLength()
boolean	hasUnAnchoredEntry()
JsonValue	toJson()

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, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

DFAInitialStateNode

public DFAInitialStateNode(short[] successors,
                           boolean searching,
                           boolean genericCG)

Method Detail

getPrefixLength

public int getPrefixLength()

hasUnAnchoredEntry

public boolean hasUnAnchoredEntry()

createNodeSplitCopy

public DFAAbstractStateNode createNodeSplitCopy(short copyID)

Creates a node split copy of this initial state as described in DFAAbstractStateNode, but ignores copyID, since having two initial states in a DFA is not supported. Therefore, this method should be used for replacing the original initial state with the copy.

Specified by:

createNodeSplitCopy in class DFAAbstractStateNode

Parameters:

copyID - new ID for the copy.

Returns:

a node split copy of this initial state as described in DFAAbstractStateNode, ignoring copyID.

executeFindSuccessor

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

Description copied from class: DFAAbstractStateNode

Calculates this state's successor and returns its ID (DFAAbstractStateNode.getId()) via TRegexDFAExecutorLocals.setSuccessorIndex(int). This return value is called "successor index" and may either be an index of the successors array (between 0 and DFAAbstractStateNode.getSuccessors().length) or DFAAbstractStateNode.FS_RESULT_NO_SUCCESSOR.

Specified by:

executeFindSuccessor in class DFAAbstractStateNode

Parameters:

locals - a virtual frame as described by TRegexDFAExecutorProperties.

executor - this node's parent TRegexDFAExecutorNode.

toJson

public JsonValue toJson()