Class NFA

java.lang.Object

com.oracle.truffle.regex.tregex.nfa.NFA

All Implemented Interfaces:

StateIndex<NFAState>, JsonConvertible

public final class NFA
extends Object
implements StateIndex<NFAState>, JsonConvertible

Constructor Summary

Constructors

Constructor	Description
NFA(NFA original)	Creates a deep copy of the original NFA.
NFA(RegexAST ast, NFAState dummyInitialState, NFAStateTransition[] anchoredEntry, NFAStateTransition[] unAnchoredEntry, NFAStateTransition reverseAnchoredEntry, NFAStateTransition reverseUnAnchoredEntry, Collection<NFAState> states, Counter.ThresholdCounter stateIDCounter, Counter.ThresholdCounter transitionIDCounter, NFAStateTransition initialLoopBack, PreCalculatedResultFactory[] preCalculatedResults)

Method Summary

Modifier and Type	Method	Description
NFAStateTransition[]	getAnchoredEntry()
int	getAnchoredEntryOffset(NFAState state, boolean forward)
NFAState	getAnchoredInitialState()
RegexAST	getAst()
NFAState	getDummyInitialState()
int	getId(NFAState state)
NFAStateTransition	getInitialLoopBackTransition()
int	getNumberOfStates()
int	getNumberOfTransitions()
PreCalculatedResultFactory[]	getPreCalculatedResults()
NFAStateTransition	getReverseAnchoredEntry()
NFAStateTransition	getReverseUnAnchoredEntry()
NFAState	getState(int id)
NFAState[]	getStates()
NFAStateTransition[]	getTransitions()
NFAStateTransition[]	getUnAnchoredEntry()
int	getUnAnchoredEntryOffset(NFAState state, boolean forward)
NFAState	getUnAnchoredInitialState()
boolean	hasReverseUnAnchoredEntry()
boolean	isAnchoredEntry(NFAState state, boolean forward)
boolean	isDead()
boolean	isEntry(NFAState state, boolean forward)
boolean	isFixedCodePointWidth()
boolean	isTraceFinderNFA()
boolean	isUnAnchoredEntry(NFAState state, boolean forward)
void	setInitialLoopBack(boolean enable)
JsonValue	toJson()
JsonValue	toJson(boolean forward)

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

NFA

public NFA(RegexAST ast,
 NFAState dummyInitialState,
 NFAStateTransition[] anchoredEntry,
 NFAStateTransition[] unAnchoredEntry,
 NFAStateTransition reverseAnchoredEntry,
 NFAStateTransition reverseUnAnchoredEntry,
 Collection<NFAState> states,
 Counter.ThresholdCounter stateIDCounter,
 Counter.ThresholdCounter transitionIDCounter,
 NFAStateTransition initialLoopBack,
 PreCalculatedResultFactory[] preCalculatedResults)

NFA

public NFA(NFA original)

Creates a deep copy of the original NFA. The copy is deep insofar as the network of NFAState and NFAStateTransition instances. Any annotations on the states, transitions or the NFA are shared with the original NFA.

Method Details

getUnAnchoredInitialState

public NFAState getUnAnchoredInitialState()

getAnchoredInitialState

public NFAState getAnchoredInitialState()

hasReverseUnAnchoredEntry

public boolean hasReverseUnAnchoredEntry()

getAst

public RegexAST getAst()

getDummyInitialState

public NFAState getDummyInitialState()

isEntry

public boolean isEntry(NFAState state,
 boolean forward)

isAnchoredEntry

public boolean isAnchoredEntry(NFAState state,
 boolean forward)

isUnAnchoredEntry

public boolean isUnAnchoredEntry(NFAState state,
 boolean forward)

getAnchoredEntryOffset

public int getAnchoredEntryOffset(NFAState state,
 boolean forward)

getUnAnchoredEntryOffset

public int getUnAnchoredEntryOffset(NFAState state,
 boolean forward)

getAnchoredEntry

public NFAStateTransition[] getAnchoredEntry()

getUnAnchoredEntry

public NFAStateTransition[] getUnAnchoredEntry()

getReverseAnchoredEntry

public NFAStateTransition getReverseAnchoredEntry()

getReverseUnAnchoredEntry

public NFAStateTransition getReverseUnAnchoredEntry()

getStates

public NFAState[] getStates()

getTransitions

public NFAStateTransition[] getTransitions()

getPreCalculatedResults

public PreCalculatedResultFactory[] getPreCalculatedResults()

getInitialLoopBackTransition

public NFAStateTransition getInitialLoopBackTransition()

isTraceFinderNFA

public boolean isTraceFinderNFA()

getNumberOfStates

public int getNumberOfStates()

Specified by:

getNumberOfStates in interface StateIndex<NFAState>

getId

public int getId(NFAState state)

Specified by:

getId in interface StateIndex<NFAState>

getState

public NFAState getState(int id)

Specified by:

getState in interface StateIndex<NFAState>

getNumberOfTransitions

public int getNumberOfTransitions()

isDead

public boolean isDead()

setInitialLoopBack

public void setInitialLoopBack(boolean enable)

isFixedCodePointWidth

public boolean isFixedCodePointWidth()

toJson

public JsonValue toJson()

Specified by:

toJson in interface JsonConvertible

toJson

public JsonValue toJson(boolean forward)