Class NFAState

java.lang.Object

com.oracle.truffle.regex.tregex.automaton.BasicState<NFAState,NFAStateTransition>

com.oracle.truffle.regex.tregex.nfa.NFAState

All Implemented Interfaces:

AbstractState<NFAState,NFAStateTransition>, JsonConvertible

public final class NFAState
extends BasicState<NFAState,NFAStateTransition>
implements JsonConvertible

Represents a single state in the NFA form of a regular expression. States may either be matcher states or final states, where a matcher state matches a set of characters and a final state indicates that a match has been found. A state may represent multiple nodes of a regex AST, if it is the result of a product automaton composition of the "regular" regular expression and its lookaround assertions, e.g. the NFA of an expression like /(?=[ab])a/ will contain a state that matches both the 'a' in the lookahead assertion as well as following 'a' in the expression, and therefore will have a state set containing two AST nodes.

Field Summary

Fields inherited from class com.oracle.truffle.regex.tregex.automaton.BasicState

FLAG_ANCHORED_FINAL_STATE, FLAG_ANCHORED_INITIAL_STATE, FLAG_ANY_FINAL_STATE, FLAG_ANY_INITIAL_OR_FINAL_STATE, FLAG_ANY_INITIAL_STATE, FLAG_UN_ANCHORED_FINAL_STATE, FLAG_UN_ANCHORED_INITIAL_STATE, N_FLAGS

Constructor Summary

Constructors

Constructor	Description
NFAState(short id, StateSet<RegexAST,? extends RegexASTNode> stateSet, CodePointSet matcherBuilder, Set<LookBehindAssertion> finishedLookBehinds, boolean hasPrefixStates, boolean mustAdvance)
NFAState(short id, StateSet<RegexAST,? extends RegexASTNode> stateSet, CodePointSet matcherBuilder, Set<LookBehindAssertion> finishedLookBehinds, boolean hasPrefixStates, boolean mustAdvance, org.graalvm.collections.EconomicMap<Integer,TBitSet> matchedConditionGroupsMap)
NFAState(NFAState original)	Creates a copy of the original state.

Method Summary

Modifier and Type	Method	Description
void	addLoopBackNext(NFAStateTransition transition)
void	addPossibleResult(int index)
NFAState	createTraceFinderCopy(short copyID)
protected NFAStateTransition[]	createTransitionsArray(int length)
boolean	equals(Object o)
CodePointSet	getCharSet()
Set<LookBehindAssertion>	getFinishedLookBehinds()
NFAStateTransition	getFirstTransitionToFinalState(boolean forward)
int	getFirstTransitionToFinalStateIndex(boolean forward)
TBitSet	getMatchedConditionGroups(RegexASTNode t)
TBitSet	getMatchedConditionGroupsDebug()
org.graalvm.collections.EconomicMap<Integer,TBitSet>	getMatchedConditionGroupsMap()
TBitSet	getPossibleResults()	Set of possible pre-calculated result indices as generated by the NFATraceFinderGenerator.
StateSet<RegexAST,? extends RegexASTNode>	getStateSet()
NFAStateTransition	getTransitionToAnchoredFinalState(boolean forward)
short	getTransitionToAnchoredFinalStateId(boolean forward)
NFAStateTransition	getTransitionToUnAnchoredFinalState(boolean forward)
short	getTransitionToUnAnchoredFinalStateId(boolean forward)
int	hashCode()
boolean	hasPossibleResults()
boolean	hasPrefixStates()
boolean	hasTransitionToAnchoredFinalState(boolean forward)
boolean	hasTransitionToFinalState(boolean forward)
boolean	hasTransitionToUnAnchoredFinalState(boolean forward)
String	idToString()
boolean	isMustAdvance()
void	linkPredecessors()
void	removeLoopBackNext()
void	removeSuccessor(NFAState state)
void	setHasPrefixStates(boolean value)
void	setMustAdvance(boolean value)
void	setSuccessors(NFAStateTransition[] transitions, boolean createReverseTransitions)
JsonObject	toJson()
JsonObject	toJson(boolean forward)
String	toString()

Methods inherited from class com.oracle.truffle.regex.tregex.automaton.BasicState

addPredecessor, addPredecessorUnchecked, getFlag, getFlags, getId, getNPredecessors, getPredecessors, getPredecessors, getSuccessors, getSuccessors, hasPredecessors, hasSuccessors, incPredecessors, isAnchoredFinalState, isAnchoredFinalState, isAnchoredInitialState, isAnchoredInitialState, isDead, isFinalState, isFinalState, isInitialState, isInitialState, isUnAnchoredFinalState, isUnAnchoredFinalState, isUnAnchoredInitialState, isUnAnchoredInitialState, setAnchoredFinalState, setAnchoredInitialState, setFlag, setFlag, setPredecessors, setSuccessors, setUnAnchoredFinalState, setUnAnchoredInitialState, setUnAnchoredInitialState

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

NFAState

public NFAState(short id,
 StateSet<RegexAST,? extends RegexASTNode> stateSet,
 CodePointSet matcherBuilder,
 Set<LookBehindAssertion> finishedLookBehinds,
 boolean hasPrefixStates,
 boolean mustAdvance)

NFAState

public NFAState(short id,
 StateSet<RegexAST,? extends RegexASTNode> stateSet,
 CodePointSet matcherBuilder,
 Set<LookBehindAssertion> finishedLookBehinds,
 boolean hasPrefixStates,
 boolean mustAdvance,
 org.graalvm.collections.EconomicMap<Integer,TBitSet> matchedConditionGroupsMap)

NFAState

public NFAState(NFAState original)

Creates a copy of the original state. This copy is shallow as the state is just a part of a larger cyclic graph. However, it has its own copy of the BasicState.getSuccessors() and BasicState.getPredecessors() arrays. When copying the entire NFA, the BasicState.getSuccessors() and BasicState.getPredecessors() must be updated to point to transitions in the new NFA.

Method Details

createTraceFinderCopy

public NFAState createTraceFinderCopy(short copyID)

getCharSet

public CodePointSet getCharSet()

getFinishedLookBehinds

public Set<LookBehindAssertion> getFinishedLookBehinds()

getStateSet

public StateSet<RegexAST,? extends RegexASTNode> getStateSet()

hasPrefixStates

public boolean hasPrefixStates()

setHasPrefixStates

public void setHasPrefixStates(boolean value)

isMustAdvance

public boolean isMustAdvance()

setMustAdvance

public void setMustAdvance(boolean value)

getMatchedConditionGroupsMap

public org.graalvm.collections.EconomicMap<Integer,TBitSet> getMatchedConditionGroupsMap()

getMatchedConditionGroups

public TBitSet getMatchedConditionGroups(RegexASTNode t)

getMatchedConditionGroupsDebug

public TBitSet getMatchedConditionGroupsDebug()

hasTransitionToAnchoredFinalState

public boolean hasTransitionToAnchoredFinalState(boolean forward)

getTransitionToAnchoredFinalStateId

public short getTransitionToAnchoredFinalStateId(boolean forward)

getTransitionToAnchoredFinalState

public NFAStateTransition getTransitionToAnchoredFinalState(boolean forward)

hasTransitionToUnAnchoredFinalState

public boolean hasTransitionToUnAnchoredFinalState(boolean forward)

Specified by:

hasTransitionToUnAnchoredFinalState in class BasicState<NFAState,NFAStateTransition>

getTransitionToUnAnchoredFinalState

public NFAStateTransition getTransitionToUnAnchoredFinalState(boolean forward)

getTransitionToUnAnchoredFinalStateId

public short getTransitionToUnAnchoredFinalStateId(boolean forward)

hasTransitionToFinalState

public boolean hasTransitionToFinalState(boolean forward)

getFirstTransitionToFinalStateIndex

public int getFirstTransitionToFinalStateIndex(boolean forward)

getFirstTransitionToFinalState

public NFAStateTransition getFirstTransitionToFinalState(boolean forward)

addLoopBackNext

public void addLoopBackNext(NFAStateTransition transition)

removeLoopBackNext

public void removeLoopBackNext()

setSuccessors

public void setSuccessors(NFAStateTransition[] transitions,
 boolean createReverseTransitions)

removeSuccessor

public void removeSuccessor(NFAState state)

linkPredecessors

public void linkPredecessors()

getPossibleResults

public TBitSet getPossibleResults()

Set of possible pre-calculated result indices as generated by the NFATraceFinderGenerator. This set must be sorted, since the index values indicate the priority of their respective pre-calculated results. Example: /(a)|([ab])/ will yield two possible results, where the one corresponding to capture group 1 will have the higher priority, so when a single 'a' is encountered when searching for a match, the pre-calculated result corresponding to capture group 1 must be preferred.

hasPossibleResults

public boolean hasPossibleResults()

addPossibleResult

public void addPossibleResult(int index)

idToString

public String idToString()

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

createTransitionsArray

protected NFAStateTransition[] createTransitionsArray(int length)

Specified by:

createTransitionsArray in class BasicState<NFAState,NFAStateTransition>

toJson

public JsonObject toJson()

Specified by:

toJson in interface JsonConvertible

toJson

public JsonObject toJson(boolean forward)