com.oracle.truffle.regex.tregex.nfa

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 and Description
NFA(RegexAST ast, NFAState dummyInitialState, NFAStateTransition[] anchoredEntry, NFAStateTransition[] unAnchoredEntry, NFAStateTransition reverseAnchoredEntry, NFAStateTransition reverseUnAnchoredEntry, Collection<NFAState> states, Counter.ThresholdCounter stateIDCounter, Counter.ThresholdCounter transitionIDCounter, PreCalculatedResultFactory[] preCalculatedResults)

Method Summary

Modifier and Type	Method and Description
NFAStateTransition[]	getAnchoredEntry()
int	getAnchoredEntryOffset(NFAState state, boolean forward)
NFAState	getAnchoredInitialState()
RegexAST	getAst()
NFAState	getDummyInitialState()
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	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

Constructor Detail

NFA

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

Method Detail

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>

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)

toJson

public JsonValue toJson()

Specified by:

toJson in interface JsonConvertible

toJson

public JsonValue toJson(boolean forward)