com.oracle.truffle.regex.tregex.nfa

Class PureNFAState

java.lang.Object

com.oracle.truffle.regex.tregex.automaton.BasicState<PureNFAState,PureNFATransition>

com.oracle.truffle.regex.tregex.nfa.PureNFAState

All Implemented Interfaces:

AbstractState<PureNFAState,PureNFATransition>

public final class PureNFAState
extends BasicState<PureNFAState,PureNFATransition>

Represents a state of a PureNFA. All PureNFAStates correspond to a single RegexASTNode, referenced by PureNFAState.getAstNodeId(). Initial and final states correspond to the NFA helper nodes contained in RegexASTSubtreeRootNode. All other states correspond to either CharacterClasses, BackReferences, LookAroundAssertions or AtomicGroups.

Field Summary

Fields

Modifier and Type	Field and Description
static byte	KIND_BACK_REFERENCE
static byte	KIND_CHARACTER_CLASS
static byte	KIND_EMPTY_MATCH
static byte	KIND_INITIAL_OR_FINAL_STATE
static byte	KIND_SUB_MATCHER

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 and Description
PureNFAState(int id, Term t)

Method Summary

Modifier and Type	Method and Description
void	addLoopBackNext(PureNFATransition transition)
boolean	canMatchZeroWidth()
protected PureNFATransition[]	createTransitionsArray(int length)
Term	getAstNode(RegexAST ast)
int	getBackRefNumber()
CodePointSet	getCharSet()
byte	getKind()
int	getSubtreeId()
protected boolean	hasTransitionToUnAnchoredFinalState(boolean forward)
void	initIsDeterministic(boolean forward, CompilationBuffer compilationBuffer) Initializes this state's PureNFAState.isDeterministic()-property, depending on forward.
boolean	isAtomicGroup()
boolean	isBackReference() State represents a BackReference.
boolean	isCharacterClass() State represents a CharacterClass.
boolean	isDeterministic() A state is considered "deterministic" iff it either has only one successor, or all of its successors/predecessors (depending on forward) represent character classes, and none of those character classes intersect.
boolean	isEmptyMatch() State represents an empty loop iteration in a quantified expression.
boolean	isLookAhead(RegexAST ast)
boolean	isLookAround()
boolean	isLookBehind(RegexAST ast)
boolean	isSubMatcher() State represents a LookAroundAssertion or an AtomicGroup.
boolean	isSubMatcherNegated()
void	removeLoopBackNext()
void	setDeterministic(boolean value)
void	setLookAround(boolean value)
void	setSubMatcherNegated(boolean value)
JsonObject	toJson(RegexAST ast)
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, equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

KIND_INITIAL_OR_FINAL_STATE

public static final byte KIND_INITIAL_OR_FINAL_STATE

See Also:

Constant Field Values

KIND_CHARACTER_CLASS

public static final byte KIND_CHARACTER_CLASS

See Also:

Constant Field Values

KIND_SUB_MATCHER

public static final byte KIND_SUB_MATCHER

See Also:

Constant Field Values

KIND_BACK_REFERENCE

public static final byte KIND_BACK_REFERENCE

See Also:

Constant Field Values

KIND_EMPTY_MATCH

public static final byte KIND_EMPTY_MATCH

See Also:

Constant Field Values

Constructor Detail

PureNFAState

public PureNFAState(int id,
                    Term t)

Method Detail

getAstNode

public Term getAstNode(RegexAST ast)

getKind

public byte getKind()

isCharacterClass

public boolean isCharacterClass()

State represents a CharacterClass.

isSubMatcher

public boolean isSubMatcher()

State represents a LookAroundAssertion or an AtomicGroup.

isLookAhead

public boolean isLookAhead(RegexAST ast)

isLookBehind

public boolean isLookBehind(RegexAST ast)

isAtomicGroup

public boolean isAtomicGroup()

isBackReference

public boolean isBackReference()

State represents a BackReference.

isEmptyMatch

public boolean isEmptyMatch()

State represents an empty loop iteration in a quantified expression. This kind of state is needed when a quantified expression where Token.Quantifier.getMin() > 0 can match the empty string - e.g. (a|){10,20}. In such expressions, the quantifier must match the empty string until the minimum number of iterations is reached, but after that it is no longer allowed to match the empty string. To model this behavior, we insert an "empty match" state whenever a quantified expression that can match the empty string is encountered.

getCharSet

public CodePointSet getCharSet()

getSubtreeId

public int getSubtreeId()

getBackRefNumber

public int getBackRefNumber()

isLookAround

public boolean isLookAround()

setLookAround

public void setLookAround(boolean value)

isSubMatcherNegated

public boolean isSubMatcherNegated()

setSubMatcherNegated

public void setSubMatcherNegated(boolean value)

isDeterministic

public boolean isDeterministic()

A state is considered "deterministic" iff it either has only one successor, or all of its successors/predecessors (depending on forward) represent character classes, and none of those character classes intersect.

See Also:

PureNFAState.initIsDeterministic(boolean, CompilationBuffer)

setDeterministic

public void setDeterministic(boolean value)

initIsDeterministic

public void initIsDeterministic(boolean forward,
                                CompilationBuffer compilationBuffer)

Initializes this state's PureNFAState.isDeterministic()-property, depending on forward.

createTransitionsArray

protected PureNFATransition[] createTransitionsArray(int length)

Specified by:

createTransitionsArray in class BasicState<PureNFAState,PureNFATransition>

addLoopBackNext

public void addLoopBackNext(PureNFATransition transition)

removeLoopBackNext

public void removeLoopBackNext()

hasTransitionToUnAnchoredFinalState

protected boolean hasTransitionToUnAnchoredFinalState(boolean forward)

Specified by:

hasTransitionToUnAnchoredFinalState in class BasicState<PureNFAState,PureNFATransition>

canMatchZeroWidth

public boolean canMatchZeroWidth()

toString

public String toString()

Overrides:

toString in class Object

toJson

public JsonObject toJson(RegexAST ast)