Class DFATransitionCanonicalizer

java.lang.Object

com.oracle.truffle.regex.tregex.automaton.StateTransitionCanonicalizer<NFA,NFAState,NFAStateTransition,DFAStateTransitionBuilder>

com.oracle.truffle.regex.tregex.dfa.DFATransitionCanonicalizer

public final class DFATransitionCanonicalizer
extends StateTransitionCanonicalizer<NFA,NFAState,NFAStateTransition,DFAStateTransitionBuilder>

Constructor Summary

Constructors

Constructor	Description
DFATransitionCanonicalizer(DFAGenerator dfaGen)

Method Summary

Modifier and Type	Method	Description
protected boolean	canMerge(DFAStateTransitionBuilder a, DFAStateTransitionBuilder b)	Returns true if two DFA transitions are allowed to be merged into one.
protected DFAStateTransitionBuilder[]	createResultArray(int size)	Returns an array suitable for holding the result of StateTransitionCanonicalizer.run(CompilationBuffer).
protected NFAStateTransition[]	createTransitionArray(int size)
protected DFAStateTransitionBuilder	createTransitionBuilder(NFAStateTransition[] transitions, StateSet<NFA,NFAState> targetStateSet, CodePointSet matcherBuilder)

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

addArgument, isPrioritySensitive, run

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

DFATransitionCanonicalizer

public DFATransitionCanonicalizer(DFAGenerator dfaGen)

Method Details

canMerge

protected boolean canMerge(DFAStateTransitionBuilder a,
 DFAStateTransitionBuilder b)

Description copied from class: StateTransitionCanonicalizer

Returns true if two DFA transitions are allowed to be merged into one.

Specified by:

canMerge in class StateTransitionCanonicalizer<NFA,NFAState,NFAStateTransition,DFAStateTransitionBuilder>

createTransitionBuilder

protected DFAStateTransitionBuilder createTransitionBuilder(NFAStateTransition[] transitions,
 StateSet<NFA,NFAState> targetStateSet,
 CodePointSet matcherBuilder)

Specified by:

createTransitionBuilder in class StateTransitionCanonicalizer<NFA,NFAState,NFAStateTransition,DFAStateTransitionBuilder>

createTransitionArray

protected NFAStateTransition[] createTransitionArray(int size)

Specified by:

createTransitionArray in class StateTransitionCanonicalizer<NFA,NFAState,NFAStateTransition,DFAStateTransitionBuilder>

createResultArray

protected DFAStateTransitionBuilder[] createResultArray(int size)

Description copied from class: StateTransitionCanonicalizer

Returns an array suitable for holding the result of StateTransitionCanonicalizer.run(CompilationBuffer).

Specified by:

createResultArray in class StateTransitionCanonicalizer<NFA,NFAState,NFAStateTransition,DFAStateTransitionBuilder>