com.oracle.truffle.regex.tregex.nfa

Class NFAState

java.lang.Object

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

All Implemented Interfaces:

IndexedState, JsonConvertible

public class NFAState
extends Object
implements IndexedState, 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.

Constructor Summary

Constructors

Constructor and Description
NFAState(short id, ASTNodeSet<? extends RegexASTNode> stateSet, CharSet matcherBuilder, Set<LookBehindAssertion> finishedLookBehinds, boolean hasPrefixStates)

Method Summary

Modifier and Type	Method and Description
void	addLoopBackNext(NFAStateTransition transition)
void	addPossibleResult(int index)
NFAState	createTraceFinderCopy(short copyID)
boolean	equals(Object o)
CharSet	getCharSet()
Set<LookBehindAssertion>	getFinishedLookBehinds()
NFAStateTransition	getFirstTransitionToFinalState(boolean forward)
int	getFirstTransitionToFinalStateIndex(boolean forward)
short	getId()
NFAStateTransition[]	getNext() List of possible next states, sorted by priority.
NFAStateTransition[]	getNext(boolean forward)
List<Integer>	getPossibleResults() Set of possible pre-calculated result indices as generated by the NFATraceFinderGenerator.
NFAStateTransition[]	getPrev() List of possible previous states, unsorted.
NFAStateTransition[]	getPrev(boolean forward)
ASTNodeSet<? 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	isAnchoredFinalState(boolean forward)
boolean	isDead(boolean forward)
boolean	isFinalState(boolean forward)
boolean	isForwardAnchoredFinalState()
boolean	isForwardFinalState()
boolean	isForwardUnAnchoredFinalState()
boolean	isReverseAnchoredFinalState()
boolean	isReverseFinalState()
boolean	isReverseUnAnchoredFinalState()
boolean	isUnAnchoredFinalState(boolean forward)
void	linkPrev()
void	removeLoopBackNext()
void	removeNext(NFAState state)
void	setForwardAnchoredFinalState(boolean value)
void	setForwardUnAnchoredFinalState(boolean value)
void	setHasPrefixStates(boolean value)
void	setNext(NFAStateTransition[] transitions, boolean createReverseTransitions)
void	setPrev(NFAStateTransition[] transitions)
void	setReverseAnchoredFinalState(boolean value)
void	setReverseUnAnchoredFinalState(boolean value)
JsonObject	toJson()
JsonObject	toJson(boolean forward)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

NFAState

public NFAState(short id,
                ASTNodeSet<? extends RegexASTNode> stateSet,
                CharSet matcherBuilder,
                Set<LookBehindAssertion> finishedLookBehinds,
                boolean hasPrefixStates)

Method Detail

createTraceFinderCopy

public NFAState createTraceFinderCopy(short copyID)

getCharSet

public CharSet getCharSet()

getFinishedLookBehinds

public Set<LookBehindAssertion> getFinishedLookBehinds()

getStateSet

public ASTNodeSet<? extends RegexASTNode> getStateSet()

hasPrefixStates

public boolean hasPrefixStates()

setHasPrefixStates

public void setHasPrefixStates(boolean value)

isFinalState

public boolean isFinalState(boolean forward)

isAnchoredFinalState

public boolean isAnchoredFinalState(boolean forward)

isUnAnchoredFinalState

public boolean isUnAnchoredFinalState(boolean forward)

isForwardFinalState

public boolean isForwardFinalState()

isForwardAnchoredFinalState

public boolean isForwardAnchoredFinalState()

setForwardAnchoredFinalState

public void setForwardAnchoredFinalState(boolean value)

isForwardUnAnchoredFinalState

public boolean isForwardUnAnchoredFinalState()

setForwardUnAnchoredFinalState

public void setForwardUnAnchoredFinalState(boolean value)

isReverseFinalState

public boolean isReverseFinalState()

isReverseAnchoredFinalState

public boolean isReverseAnchoredFinalState()

setReverseAnchoredFinalState

public void setReverseAnchoredFinalState(boolean value)

isReverseUnAnchoredFinalState

public boolean isReverseUnAnchoredFinalState()

setReverseUnAnchoredFinalState

public void setReverseUnAnchoredFinalState(boolean value)

hasTransitionToAnchoredFinalState

public boolean hasTransitionToAnchoredFinalState(boolean forward)

getTransitionToAnchoredFinalStateId

public short getTransitionToAnchoredFinalStateId(boolean forward)

getTransitionToAnchoredFinalState

public NFAStateTransition getTransitionToAnchoredFinalState(boolean forward)

hasTransitionToUnAnchoredFinalState

public boolean hasTransitionToUnAnchoredFinalState(boolean forward)

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)

getNext

public NFAStateTransition[] getNext()

List of possible next states, sorted by priority.

getNext

public NFAStateTransition[] getNext(boolean forward)

addLoopBackNext

public void addLoopBackNext(NFAStateTransition transition)

removeLoopBackNext

public void removeLoopBackNext()

setNext

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

removeNext

public void removeNext(NFAState state)

linkPrev

public void linkPrev()

setPrev

public void setPrev(NFAStateTransition[] transitions)

getPrev

public NFAStateTransition[] getPrev()

List of possible previous states, unsorted.

getPrev

public NFAStateTransition[] getPrev(boolean forward)

getId

public short getId()

Specified by:

getId in interface IndexedState

getPossibleResults

public List<Integer> 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)

isDead

public boolean isDead(boolean forward)

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

toJson

public JsonObject toJson()

Specified by:

toJson in interface JsonConvertible

toJson

public JsonObject toJson(boolean forward)