com.oracle.truffle.regex.tregex.nodes.nfa

Class TRegexBacktrackingNFAExecutorNode

java.lang.Object

com.oracle.truffle.api.nodes.Node

com.oracle.truffle.regex.tregex.nodes.TRegexExecutorNode

com.oracle.truffle.regex.tregex.nodes.nfa.TRegexBacktrackingNFAExecutorNode

All Implemented Interfaces:

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

public class TRegexBacktrackingNFAExecutorNode
extends TRegexExecutorNode

This regex executor uses a backtracking algorithm on the NFA. It is used for all expressions that cannot be matched with the DFA, such as expressions with backreferences.

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

Modifier and Type	Field and Description
static TRegexExecutorNode[]	NO_LOOK_AROUND_EXECUTORS

Fields inherited from class com.oracle.truffle.regex.tregex.nodes.TRegexExecutorNode

root

Constructor Summary

Constructors

Constructor and Description
TRegexBacktrackingNFAExecutorNode(PureNFAMap nfaMap, PureNFA nfa, TRegexExecutorNode[] lookAroundExecutors, CompilationBuffer compilationBuffer)

Method Summary

Modifier and Type	Method and Description
TRegexExecutorLocals	createLocals(Object input, int fromIndex, int index, int maxIndex)
Object	execute(TRegexExecutorLocals abstractLocals, boolean compactString)
protected int	getBackRefBoundary(TRegexBacktrackingNFAExecutorLocals locals, PureNFATransition transition, int cgIndex, int index)
void	initialize(TRegexExecRootNode rootNode)
protected boolean	inputAtBegin(TRegexBacktrackingNFAExecutorLocals locals)
protected boolean	inputIsHighSurrogate(char c)
protected boolean	inputIsLowSurrogate(char c)
protected int	inputToCodePoint(char highSurrogate, char lowSurrogate)
boolean	isForward()
boolean	isIgnoreCase()
protected boolean	lookAroundExecutorIsLiteral(PureNFAState s)
protected void	runMergeExplode(TRegexBacktrackingNFAExecutorLocals locals, boolean compactString)
protected int[]	runSubMatcher(TRegexBacktrackingNFAExecutorLocals subLocals, boolean compactString, PureNFAState lookAroundState)
protected boolean	subMatchFailed(PureNFAState curState, int[] subMatchResult)
protected boolean	transitionMatches(TRegexBacktrackingNFAExecutorLocals locals, boolean compactString, PureNFATransition transition, int index, boolean atEnd, char c)
protected void	updateState(TRegexBacktrackingNFAExecutorLocals locals, PureNFATransition transition, int index)
boolean	writesCaptureGroups() Returns true if this executor may write any new capture group boundaries.

Methods inherited from class com.oracle.truffle.regex.tregex.nodes.TRegexExecutorNode

getChar, getCharAt, getInputLength, getNumberOfCaptureGroups, setRoot

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

Field Detail

NO_LOOK_AROUND_EXECUTORS

public static final TRegexExecutorNode[] NO_LOOK_AROUND_EXECUTORS

Constructor Detail

TRegexBacktrackingNFAExecutorNode

public TRegexBacktrackingNFAExecutorNode(PureNFAMap nfaMap,
                                         PureNFA nfa,
                                         TRegexExecutorNode[] lookAroundExecutors,
                                         CompilationBuffer compilationBuffer)

Method Detail

initialize

public void initialize(TRegexExecRootNode rootNode)

writesCaptureGroups

public boolean writesCaptureGroups()

Description copied from class: TRegexExecutorNode

Returns true if this executor may write any new capture group boundaries.

Specified by:

writesCaptureGroups in class TRegexExecutorNode

isForward

public boolean isForward()

isIgnoreCase

public boolean isIgnoreCase()

createLocals

public TRegexExecutorLocals createLocals(Object input,
                                         int fromIndex,
                                         int index,
                                         int maxIndex)

Specified by:

createLocals in class TRegexExecutorNode

execute

public Object execute(TRegexExecutorLocals abstractLocals,
                      boolean compactString)

Specified by:

execute in class TRegexExecutorNode

runMergeExplode

protected void runMergeExplode(TRegexBacktrackingNFAExecutorLocals locals,
                               boolean compactString)

lookAroundExecutorIsLiteral

protected boolean lookAroundExecutorIsLiteral(PureNFAState s)

runSubMatcher

protected int[] runSubMatcher(TRegexBacktrackingNFAExecutorLocals subLocals,
                              boolean compactString,
                              PureNFAState lookAroundState)

subMatchFailed

protected boolean subMatchFailed(PureNFAState curState,
                                 int[] subMatchResult)

transitionMatches

protected boolean transitionMatches(TRegexBacktrackingNFAExecutorLocals locals,
                                    boolean compactString,
                                    PureNFATransition transition,
                                    int index,
                                    boolean atEnd,
                                    char c)

getBackRefBoundary

protected int getBackRefBoundary(TRegexBacktrackingNFAExecutorLocals locals,
                                 PureNFATransition transition,
                                 int cgIndex,
                                 int index)

updateState

protected void updateState(TRegexBacktrackingNFAExecutorLocals locals,
                           PureNFATransition transition,
                           int index)

inputAtBegin

protected boolean inputAtBegin(TRegexBacktrackingNFAExecutorLocals locals)

inputIsLowSurrogate

protected boolean inputIsLowSurrogate(char c)

inputIsHighSurrogate

protected boolean inputIsHighSurrogate(char c)

inputToCodePoint

protected int inputToCodePoint(char highSurrogate,
                               char lowSurrogate)