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

Class CGTrackingDFAStateNode

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

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

All Implemented Interfaces:

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

public class CGTrackingDFAStateNode
extends DFAStateNode

Nested Class Summary

Nested classes/interfaces inherited from class com.oracle.truffle.regex.tregex.nodes.dfa.DFAStateNode

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

matchers

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

successors

Constructor Summary

Constructors

Constructor and Description

CGTrackingDFAStateNode(short id, byte flags, DFAStateNode.LoopOptimizationNode loopOptimizationNode, short[] successors, CharMatcher[] matchers, AllTransitionsInOneTreeMatcher allTransitionsInOneTreeMatcher, short[] captureGroupTransitions, short[] precedingCaptureGroupTransitions, DFACaptureGroupPartialTransition anchoredFinalStateTransition, DFACaptureGroupPartialTransition unAnchoredFinalStateTransition)

Method Summary

Modifier and Type	Method and Description
void	applyPartialTransition(TRegexDFAExecutorLocals locals, TRegexDFAExecutorNode executor, int i)
void	applyUnAnchoredFinalStateTransition(TRegexDFAExecutorLocals locals, TRegexDFAExecutorNode executor)
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.
boolean	doIndexof(TRegexDFAExecutorNode executor)
void	executeFindSuccessor(TRegexDFAExecutorLocals locals, TRegexDFAExecutorNode executor, boolean compactString) Calculates this state's successor by finding a transition that matches the current input.
void	indexofApplyLoopReorders(TRegexDFAExecutorLocals locals, TRegexDFAExecutorNode executor, int preLoopIndex, int postLoopIndex)

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

buildFlags, buildLoopOptimizationNode, checkFinalState, getMatchers, getStateReachedProfile, hasBackwardPrefixState, hasLoopToSelf, isAnchoredFinalState, isFinalState, toJson, 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

Constructor Detail

CGTrackingDFAStateNode

public CGTrackingDFAStateNode(short id,
                              byte flags,
                              DFAStateNode.LoopOptimizationNode loopOptimizationNode,
                              short[] successors,
                              CharMatcher[] matchers,
                              AllTransitionsInOneTreeMatcher allTransitionsInOneTreeMatcher,
                              short[] captureGroupTransitions,
                              short[] precedingCaptureGroupTransitions,
                              DFACaptureGroupPartialTransition anchoredFinalStateTransition,
                              DFACaptureGroupPartialTransition unAnchoredFinalStateTransition)

Method Detail

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.

Overrides:

createNodeSplitCopy in class DFAStateNode

Parameters:

copyID - new ID for the copy.

Returns:

an "almost shallow" copy of this node.

executeFindSuccessor

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

Description copied from class: DFAStateNode

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.

Overrides:

executeFindSuccessor in class DFAStateNode

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.

doIndexof

public boolean doIndexof(TRegexDFAExecutorNode executor)

indexofApplyLoopReorders

public void indexofApplyLoopReorders(TRegexDFAExecutorLocals locals,
                                     TRegexDFAExecutorNode executor,
                                     int preLoopIndex,
                                     int postLoopIndex)

applyPartialTransition

public void applyPartialTransition(TRegexDFAExecutorLocals locals,
                                   TRegexDFAExecutorNode executor,
                                   int i)

applyUnAnchoredFinalStateTransition

public void applyUnAnchoredFinalStateTransition(TRegexDFAExecutorLocals locals,
                                                TRegexDFAExecutorNode executor)