com.oracle.truffle.regex.tregex.nfa

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 and Description
PureNFA(RegexASTSubtreeRootNode astSubRoot, PureNFAState[] states, Counter.ThresholdCounter stateIDCounter, Counter.ThresholdCounter transitionIDCounter)

Method Summary

Modifier and Type	Method and Description
PureNFATransition	getAnchoredEntry()
PureNFAState	getAnchoredFinalState()
PureNFAState	getAnchoredInitialState()
PureNFAState	getAnchoredInitialState(boolean forward)
PureNFAState	getDummyInitialState() Get this NFA's "dummy initial state".
int	getId(PureNFAState state)
int	getNumberOfEntryPoints()
int	getNumberOfStates()
PureNFATransition	getReverseAnchoredEntry()
PureNFATransition	getReverseUnAnchoredEntry()
PureNFAState	getState(int id)
PureNFAState[]	getStates()
int	getSubTreeId() Subtree ID of the RegexASTSubtreeRootNode this NFA was generated from.
PureNFATransition[]	getTransitions()
PureNFATransition	getUnAnchoredEntry()
PureNFAState	getUnAnchoredFinalState()
PureNFAState	getUnAnchoredInitialState()
PureNFAState	getUnAnchoredInitialState(boolean forward)
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 Detail

PureNFA

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

Method Detail

getSubTreeId

public int getSubTreeId()

Subtree ID of the RegexASTSubtreeRootNode this NFA was generated from.

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. The dummy initial state's predecessors are the NFA's anchored and unanchored final state, in that order. They serve as entry points for reverse DFAs.

getNumberOfEntryPoints

public int getNumberOfEntryPoints()

getAnchoredEntry

public PureNFATransition getAnchoredEntry()

getUnAnchoredEntry

public PureNFATransition getUnAnchoredEntry()

getUnAnchoredInitialState

public PureNFAState getUnAnchoredInitialState()

getAnchoredInitialState

public PureNFAState getAnchoredInitialState()

getReverseAnchoredEntry

public PureNFATransition getReverseAnchoredEntry()

getReverseUnAnchoredEntry

public PureNFATransition getReverseUnAnchoredEntry()

getUnAnchoredFinalState

public PureNFAState getUnAnchoredFinalState()

getAnchoredFinalState

public PureNFAState getAnchoredFinalState()

getUnAnchoredInitialState

public PureNFAState getUnAnchoredInitialState(boolean forward)

getAnchoredInitialState

public PureNFAState getAnchoredInitialState(boolean forward)

getStates

public PureNFAState[] getStates()

getTransitions

public PureNFATransition[] getTransitions()

getNumberOfStates

public int getNumberOfStates()

Specified by:

getNumberOfStates in interface StateIndex<PureNFAState>

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()

toJson

public JsonValue toJson(RegexAST ast)