Class PureNFA

java.lang.Object

com.oracle.truffle.regex.tregex.nfa.PureNFA

All Implemented Interfaces:

StateIndex<PureNFAState>

public final class PureNFA
extends Object
implements StateIndex<PureNFAState>

A NFA that corresponds to the subtree of one RegexASTSubtreeRootNode.

Constructor Summary

Constructors

Constructor	Description
PureNFA(RegexASTSubtreeRootNode astSubRoot, PureNFAState[] states, Counter.ThresholdCounter stateIDCounter, Counter.ThresholdCounter transitionIDCounter)

Method Summary

Modifier and Type	Method	Description
PureNFATransition	getAnchoredEntry()
PureNFAState	getAnchoredInitialState()
RegexASTSubtreeRootNode	getASTSubtree(RegexAST ast)
PureNFAState	getDummyInitialState()	Get this NFA's "dummy initial state".
int	getGlobalSubTreeId()
int	getId(PureNFAState state)
CodePointSet	getMergedInitialStateCharSet(RegexAST ast, CompilationBuffer compilationBuffer)	Creates a CodePointSet that matches the union of all code point sets of character class successor states of the root NFA's unanchored initial state.
int	getNumberOfStates()
int	getNumberOfTransitions()
PureNFAState	getState(int id)
PureNFAState[]	getStates()
int	getSubTreeId()	Subtree ID of the RegexASTSubtreeRootNode this NFA was generated from.
PureNFA[]	getSubtrees()
PureNFATransition[]	getTransitions()
PureNFATransition	getUnAnchoredEntry()
PureNFAState	getUnAnchoredInitialState()
boolean	isRoot()
void	materializeGroupBoundaries()
JsonValue	toJson(RegexAST ast)

Methods inherited from class java.lang.Object

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

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

isEmpty

Constructor Details

PureNFA

public PureNFA(RegexASTSubtreeRootNode astSubRoot,
 PureNFAState[] states,
 Counter.ThresholdCounter stateIDCounter,
 Counter.ThresholdCounter transitionIDCounter)

Method Details

getSubTreeId

public int getSubTreeId()

Subtree ID of the RegexASTSubtreeRootNode this NFA was generated from.

getGlobalSubTreeId

public int getGlobalSubTreeId()

isRoot

public boolean isRoot()

getASTSubtree

public RegexASTSubtreeRootNode getASTSubtree(RegexAST ast)

getDummyInitialState

public PureNFAState getDummyInitialState()

Get this NFA's "dummy initial state". Since DFAGenerator works on sets of NFA transitions, we need pseudo-transitions to the NFA's initial states as entry points for the DFA generator. The dummy initial state provides these transitions, in a fixed layout: The first half of its successors lead to the NFA's anchored initial states, and the second half leads to the unanchored initial states.

getAnchoredEntry

public PureNFATransition getAnchoredEntry()

getUnAnchoredEntry

public PureNFATransition getUnAnchoredEntry()

getUnAnchoredInitialState

public PureNFAState getUnAnchoredInitialState()

getAnchoredInitialState

public PureNFAState getAnchoredInitialState()

getStates

public PureNFAState[] getStates()

getTransitions

public PureNFATransition[] getTransitions()

getSubtrees

public PureNFA[] getSubtrees()

getNumberOfStates

public int getNumberOfStates()

Specified by:

getNumberOfStates in interface StateIndex<PureNFAState>

getNumberOfTransitions

public int getNumberOfTransitions()

getId

public int getId(PureNFAState state)

Specified by:

getId in interface StateIndex<PureNFAState>

getState

public PureNFAState getState(int id)

Specified by:

getState in interface StateIndex<PureNFAState>

materializeGroupBoundaries

public void materializeGroupBoundaries()

getMergedInitialStateCharSet

public CodePointSet getMergedInitialStateCharSet(RegexAST ast,
 CompilationBuffer compilationBuffer)

Creates a CodePointSet that matches the union of all code point sets of character class successor states of the root NFA's unanchored initial state. If this can not be calculated, e.g. because one of the successors is an empty match state, null is returned.

toJson

public JsonValue toJson(RegexAST ast)