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 TypeMethodDescriptionvoidbooleancoversFullCharSpace(CompilationBuffer compilationBuffer) Returnstrueiff the union of theTransitionBuilder.getCodePointSet()of all transitions in this state is equal toEncodings.Encoding.getFullSet().createNodeSplitCopy(short copyID) protected DFAStateTransitionBuilder[]createTransitionsArray(int length) booleanshortintbytebytebooleaninthashCode()protected booleanhasTransitionToUnAnchoredFinalState(boolean forward) booleanbooleanbooleanUsed in pruneUnambiguousPaths mode.booleanbooleanbooleanvoidnodeSplitUpdateSuccessors(short[] newSuccessors, DFAStateNodeBuilder[] stateIndexMap) voidsetAnchoredFinalStateTransition(NFAStateTransition anchoredFinalStateTransition) voidsetBackwardPrefixState(short backwardPrefixState) voidvoidsetIsBackwardPrefixState(boolean backwardPrefixState) voidsetNfaTransitionSet(TransitionSet<NFA, NFAState, NFAStateTransition> nfaTransitionSet) voidsetOverrideFinalState(boolean overrideFinalState) voidsetUnAnchoredFinalStateTransition(NFAStateTransition unAnchoredFinalStateTransition) toJson()toString()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
-
Method Details
-
createNodeSplitCopy
-
nodeSplitUpdateSuccessors
-
setNfaTransitionSet
-
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:
isUnAnchoredFinalStatein classBasicState<DFAStateNodeBuilder,DFAStateTransitionBuilder>
-
isFinalState
public boolean isFinalState()- Overrides:
isFinalStatein classBasicState<DFAStateNodeBuilder,DFAStateTransitionBuilder>
-
isForward
public boolean isForward() -
isPrioritySensitive
public boolean isPrioritySensitive() -
getNumberOfSuccessors
public int getNumberOfSuccessors() -
createTransitionsArray
- Specified by:
createTransitionsArrayin classBasicState<DFAStateNodeBuilder,DFAStateTransitionBuilder>
-
coversFullCharSpace
Returnstrueiff the union of theTransitionBuilder.getCodePointSet()of all transitions in this state is equal toEncodings.Encoding.getFullSet(). -
getPredecessors
- Overrides:
getPredecessorsin classBasicState<DFAStateNodeBuilder,DFAStateTransitionBuilder>
-
hasBackwardPrefixState
public boolean hasBackwardPrefixState() -
getBackwardPrefixState
public short getBackwardPrefixState() -
setBackwardPrefixState
public void setBackwardPrefixState(short backwardPrefixState) -
setAnchoredFinalStateTransition
-
getAnchoredFinalStateTransition
-
setUnAnchoredFinalStateTransition
-
getUnAnchoredFinalStateTransition
-
getPreCalculatedUnAnchoredResult
public byte getPreCalculatedUnAnchoredResult() -
getPreCalculatedAnchoredResult
public byte getPreCalculatedAnchoredResult() -
clearPreCalculatedResults
public void clearPreCalculatedResults() -
updateFinalStateData
-
stateSetToString
-
hashCode
-
equals
-
hasTransitionToUnAnchoredFinalState
protected boolean hasTransitionToUnAnchoredFinalState(boolean forward) - Specified by:
hasTransitionToUnAnchoredFinalStatein classBasicState<DFAStateNodeBuilder,DFAStateTransitionBuilder>
-
toString
-
toJson
- Specified by:
toJsonin interfaceJsonConvertible
-