com.oracle.truffle.regex.tregex.dfa

Class DFAStateNodeBuilder

java.lang.Object

com.oracle.truffle.regex.tregex.automaton.BasicState<DFAStateNodeBuilder,DFAStateTransitionBuilder>

com.oracle.truffle.regex.tregex.dfa.DFAStateNodeBuilder

All Implemented Interfaces:

AbstractState<DFAStateNodeBuilder,DFAStateTransitionBuilder>, JsonConvertible

public final class DFAStateNodeBuilder
extends BasicState<DFAStateNodeBuilder,DFAStateTransitionBuilder>
implements JsonConvertible

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

Method Summary

Modifier and Type	Method and Description
void	clearPreCalculatedResults()
boolean	coversFullCharSpace(CompilationBuffer compilationBuffer) Returns true iff the union of the TransitionBuilder.getMatcherBuilder() of all transitions in this state is equal to CodePointSet.getFull().
DFAStateNodeBuilder	createNodeSplitCopy(short copyID)
protected DFAStateTransitionBuilder[]	createTransitionsArray(int length)
boolean	equals(Object obj)
NFAStateTransition	getAnchoredFinalStateTransition()
short	getBackwardPrefixState()
TransitionSet<NFA,NFAState,NFAStateTransition>	getNfaTransitionSet()
int	getNumberOfSuccessors()
byte	getPreCalculatedAnchoredResult()
byte	getPreCalculatedUnAnchoredResult()
DFAStateTransitionBuilder[]	getPredecessors()
NFAStateTransition	getUnAnchoredFinalStateTransition()
boolean	hasBackwardPrefixState()
int	hashCode()
protected boolean	hasTransitionToUnAnchoredFinalState(boolean forward)
boolean	isBackwardPrefixState()
boolean	isFinalState()
boolean	isFinalStateSuccessor() Used in pruneUnambiguousPaths mode.
boolean	isForward()
boolean	isPrioritySensitive()
boolean	isUnAnchoredFinalState()
void	nodeSplitUpdateSuccessors(short[] newSuccessors, DFAStateNodeBuilder[] stateIndexMap)
void	setAnchoredFinalStateTransition(NFAStateTransition anchoredFinalStateTransition)
void	setBackwardPrefixState(short backwardPrefixState)
void	setFinalStateSuccessor()
void	setIsBackwardPrefixState(boolean backwardPrefixState)
void	setNfaTransitionSet(TransitionSet<NFA,NFAState,NFAStateTransition> nfaTransitionSet)
void	setOverrideFinalState(boolean overrideFinalState)
void	setUnAnchoredFinalStateTransition(NFAStateTransition unAnchoredFinalStateTransition)
String	stateSetToString()
JsonValue	toJson()
String	toString()
void	updateFinalStateData(DFAGenerator dfaGenerator)

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

addPredecessor, addPredecessorUnchecked, getFlag, getFlags, getId, getNPredecessors, getPredecessors, getSuccessors, getSuccessors, hasPredecessors, hasSuccessors, incPredecessors, isAnchoredFinalState, isAnchoredFinalState, isAnchoredInitialState, isAnchoredInitialState, isDead, isFinalState, isInitialState, isInitialState, 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

Method Detail

createNodeSplitCopy

public DFAStateNodeBuilder createNodeSplitCopy(short copyID)

nodeSplitUpdateSuccessors

public void nodeSplitUpdateSuccessors(short[] newSuccessors,
                                      DFAStateNodeBuilder[] stateIndexMap)

setNfaTransitionSet

public void setNfaTransitionSet(TransitionSet<NFA,NFAState,NFAStateTransition> nfaTransitionSet)

getNfaTransitionSet

public TransitionSet<NFA,NFAState,NFAStateTransition> getNfaTransitionSet()

setOverrideFinalState

public void setOverrideFinalState(boolean overrideFinalState)

isFinalStateSuccessor

public boolean isFinalStateSuccessor()

Used in pruneUnambiguousPaths mode. States that are NOT final states or successors of final states may have their last matcher replaced with an AnyMatcher.

setFinalStateSuccessor

public void setFinalStateSuccessor()

isBackwardPrefixState

public boolean isBackwardPrefixState()

setIsBackwardPrefixState

public void setIsBackwardPrefixState(boolean backwardPrefixState)

isUnAnchoredFinalState

public boolean isUnAnchoredFinalState()

Overrides:

isUnAnchoredFinalState in class BasicState<DFAStateNodeBuilder,DFAStateTransitionBuilder>

isFinalState

public boolean isFinalState()

Overrides:

isFinalState in class BasicState<DFAStateNodeBuilder,DFAStateTransitionBuilder>

isForward

public boolean isForward()

isPrioritySensitive

public boolean isPrioritySensitive()

getNumberOfSuccessors

public int getNumberOfSuccessors()

createTransitionsArray

protected DFAStateTransitionBuilder[] createTransitionsArray(int length)

Specified by:

createTransitionsArray in class BasicState<DFAStateNodeBuilder,DFAStateTransitionBuilder>

coversFullCharSpace

public boolean coversFullCharSpace(CompilationBuffer compilationBuffer)

Returns true iff the union of the TransitionBuilder.getMatcherBuilder() of all transitions in this state is equal to CodePointSet.getFull().

getPredecessors

public DFAStateTransitionBuilder[] getPredecessors()

Overrides:

getPredecessors in class BasicState<DFAStateNodeBuilder,DFAStateTransitionBuilder>

hasBackwardPrefixState

public boolean hasBackwardPrefixState()

getBackwardPrefixState

public short getBackwardPrefixState()

setBackwardPrefixState

public void setBackwardPrefixState(short backwardPrefixState)

setAnchoredFinalStateTransition

public void setAnchoredFinalStateTransition(NFAStateTransition anchoredFinalStateTransition)

getAnchoredFinalStateTransition

public NFAStateTransition getAnchoredFinalStateTransition()

setUnAnchoredFinalStateTransition

public void setUnAnchoredFinalStateTransition(NFAStateTransition unAnchoredFinalStateTransition)

getUnAnchoredFinalStateTransition

public NFAStateTransition getUnAnchoredFinalStateTransition()

getPreCalculatedUnAnchoredResult

public byte getPreCalculatedUnAnchoredResult()

getPreCalculatedAnchoredResult

public byte getPreCalculatedAnchoredResult()

clearPreCalculatedResults

public void clearPreCalculatedResults()

updateFinalStateData

public void updateFinalStateData(DFAGenerator dfaGenerator)

stateSetToString

public String stateSetToString()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hasTransitionToUnAnchoredFinalState

protected boolean hasTransitionToUnAnchoredFinalState(boolean forward)

Specified by:

hasTransitionToUnAnchoredFinalState in class BasicState<DFAStateNodeBuilder,DFAStateTransitionBuilder>

toString

public String toString()

Overrides:

toString in class Object

toJson

public JsonValue toJson()

Specified by:

toJson in interface JsonConvertible