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 or BackReferences.

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_LOOK_AROUND

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	getAstNodeId()
int	getBackRefNumber()
CodePointSet	getCharSet()
byte	getKind()
int	getLookAroundId()
protected boolean	hasTransitionToUnAnchoredFinalState(boolean forward)
void	initIsDeterministic(boolean forward, CompilationBuffer compilationBuffer) Initializes this state's PureNFAState.isDeterministic()-property, depending on forward.
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() State represents a LookAroundAssertion.
boolean	isLookAroundNegated()
boolean	isLookBehind(RegexAST ast)
void	removeLoopBackNext()
void	setDeterministic(boolean value)
void	setLookAroundNegated(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, finalize, 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_LOOK_AROUND

public static final byte KIND_LOOK_AROUND

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

getAstNodeId

public int getAstNodeId()

getAstNode

public Term getAstNode(RegexAST ast)

getKind

public byte getKind()

isCharacterClass

public boolean isCharacterClass()

State represents a CharacterClass.

isLookAround

public boolean isLookAround()

State represents a LookAroundAssertion.

isLookAhead

public boolean isLookAhead(RegexAST ast)

isLookBehind

public boolean isLookBehind(RegexAST ast)

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()

getLookAroundId

public int getLookAroundId()

getBackRefNumber

public int getBackRefNumber()

isLookAroundNegated

public boolean isLookAroundNegated()

setLookAroundNegated

public void setLookAroundNegated(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)