com.oracle.truffle.regex.tregex.dfa

Class DFAStateNodeBuilder

java.lang.Object

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

All Implemented Interfaces:

JsonConvertible

public final class DFAStateNodeBuilder
extends Object
implements JsonConvertible

Method Summary

Modifier and Type	Method and Description
void	addPrecedingTransition(DFACaptureGroupTransitionBuilder transitionBuilder)
void	clearPreCalculatedResults()
boolean	coversFullCharSpace(CompilationBuffer compilationBuffer) Returns true iff the union of the TransitionBuilder.getMatcherBuilder() of all transitions in this state is equal to CharSet.getFull().
DFAStateNodeBuilder	createNodeSplitCopy(short copyID)
boolean	equals(Object obj)
NFAStateTransition	getAnchoredFinalStateTransition()
short	getBackwardPrefixState()
short	getId()
NFATransitionSet	getNfaTransitionSet()
int	getNumberOfSuccessors()
byte	getPreCalculatedAnchoredResult()
byte	getPreCalculatedUnAnchoredResult()
List<DFACaptureGroupTransitionBuilder>	getPrecedingTransitions()
DFAStateTransitionBuilder[]	getTransitions()
NFAStateTransition	getUnAnchoredFinalStateTransition()
boolean	hasBackwardPrefixState()
int	hashCode()
boolean	isAnchoredFinalState()
boolean	isBackwardPrefixState()
boolean	isFinalState()
boolean	isFinalStateSuccessor() Used in pruneUnambiguousPaths mode.
boolean	isInitialState()
void	nodeSplitUpdateSuccessors(short[] newSuccessors, DFAStateNodeBuilder[] stateIndexMap)
void	setAnchoredFinalStateTransition(NFAStateTransition anchoredFinalStateTransition)
void	setBackwardPrefixState(short backwardPrefixState)
void	setFinalStateSuccessor()
void	setInitialState(boolean initialState)
void	setIsBackwardPrefixState(boolean backwardPrefixState)
void	setNfaTransitionSet(NFATransitionSet nfaTransitionSet)
void	setOverrideFinalState(boolean overrideFinalState)
void	setTransitions(DFAStateTransitionBuilder[] transitions)
void	setUnAnchoredFinalStateTransition(NFAStateTransition unAnchoredFinalStateTransition)
String	stateSetToString()
JsonValue	toJson()
String	toString()
void	updateFinalStateData(DFAGenerator dfaGenerator)

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)

getId

public short getId()

setNfaTransitionSet

public void setNfaTransitionSet(NFATransitionSet nfaTransitionSet)

getNfaTransitionSet

public NFATransitionSet getNfaTransitionSet()

setInitialState

public void setInitialState(boolean initialState)

isInitialState

public boolean isInitialState()

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)

isFinalState

public boolean isFinalState()

isAnchoredFinalState

public boolean isAnchoredFinalState()

getNumberOfSuccessors

public int getNumberOfSuccessors()

getTransitions

public DFAStateTransitionBuilder[] getTransitions()

setTransitions

public void setTransitions(DFAStateTransitionBuilder[] transitions)

coversFullCharSpace

public boolean coversFullCharSpace(CompilationBuffer compilationBuffer)

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

addPrecedingTransition

public void addPrecedingTransition(DFACaptureGroupTransitionBuilder transitionBuilder)

getPrecedingTransitions

public List<DFACaptureGroupTransitionBuilder> getPrecedingTransitions()

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

toString

public String toString()

Overrides:

toString in class Object

toJson

public JsonValue toJson()

Specified by:

toJson in interface JsonConvertible