Class TransitionBuilder<SI extends StateIndex<? super S>,S extends AbstractState<S,T>,T extends AbstractTransition<S,T>>

java.lang.Object

com.oracle.truffle.regex.tregex.automaton.TransitionBuilder<SI,S,T>

All Implemented Interfaces:

JsonConvertible

Direct Known Subclasses:

DFAStateTransitionBuilder

public class TransitionBuilder<SI extends StateIndex<? super S>,S extends AbstractState<S,T>,T extends AbstractTransition<S,T>>
extends Object
implements JsonConvertible

This class represents a power-set automaton state transition fragment to be used by StateTransitionCanonicalizer.
A transition in a power-set automaton consists of a set of transitions of the NFA that the power-set automaton is being built from, and the set of characters it can match.

Constructor Summary

Constructors

Constructor	Description
TransitionBuilder(TransitionSet<SI,S,T> transitionSet, CodePointSet matcherBuilder)
TransitionBuilder(T[] transitions, StateSet<SI,S> targetStateSet, CodePointSet matcherBuilder)

Method Summary

Modifier and Type	Method	Description
CodePointSet	getCodePointSet()	Represents the character set matched by this transition fragment.
TransitionSet<SI,S,T>	getTransitionSet()
void	setMatcherBuilder(CodePointSet cps)
JsonValue	toJson()

Methods inherited from class java.lang.Object

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

Constructor Details

TransitionBuilder

public TransitionBuilder(T[] transitions,
 StateSet<SI,S> targetStateSet,
 CodePointSet matcherBuilder)

TransitionBuilder

public TransitionBuilder(TransitionSet<SI,S,T> transitionSet,
 CodePointSet matcherBuilder)

Method Details

getTransitionSet

public TransitionSet<SI,S,T> getTransitionSet()

getCodePointSet

public CodePointSet getCodePointSet()

Represents the character set matched by this transition fragment.

setMatcherBuilder

public void setMatcherBuilder(CodePointSet cps)

toJson

public JsonValue toJson()

Specified by:

toJson in interface JsonConvertible