com.oracle.truffle.regex.tregex.automaton

Class TransitionBuilder<TS extends TransitionSet>

java.lang.Object

com.oracle.truffle.regex.tregex.automaton.TransitionBuilder<TS>

Type Parameters:

TS - a type that should represent the set of NFA transitions currently contained in this fragment.

All Implemented Interfaces:

JsonConvertible

Direct Known Subclasses:

DFAStateTransitionBuilder

public class TransitionBuilder<TS extends TransitionSet>
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.

Constructor Summary

Constructors

Constructor and Description
TransitionBuilder(TS transitionSet, CharSet matcherBuilder)

Method Summary

Modifier and Type	Method and Description
TransitionBuilder<TS>	createMerged(TransitionBuilder<TS> other, CharSet mergedMatcher) Merge this and other into a newly created TransitionBuilder .
CharSet	getMatcherBuilder() Represents the character set matched by this transition fragment.
TransitionBuilder<TS>	getNext() Used by StateTransitionCanonicalizer for creating linked lists of TransitionBuilder instances on the fly.
TS	getTransitionSet() Represents the set of NFA transitions currently contained in this transition fragment.
void	setMatcherBuilder(CharSet matcherBuilder)
void	setNext(TransitionBuilder<TS> next) Used by StateTransitionCanonicalizer for creating linked lists of TransitionBuilder instances on the fly.
JsonValue	toJson()

Methods inherited from class java.lang.Object

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

Constructor Detail

TransitionBuilder

public TransitionBuilder(TS transitionSet,
                         CharSet matcherBuilder)

Method Detail

getTransitionSet

public TS getTransitionSet()

Represents the set of NFA transitions currently contained in this transition fragment.

getMatcherBuilder

public CharSet getMatcherBuilder()

Represents the character set matched by this transition fragment.

setMatcherBuilder

public void setMatcherBuilder(CharSet matcherBuilder)

getNext

public TransitionBuilder<TS> getNext()

Used by StateTransitionCanonicalizer for creating linked lists of TransitionBuilder instances on the fly.

setNext

public void setNext(TransitionBuilder<TS> next)

Used by StateTransitionCanonicalizer for creating linked lists of TransitionBuilder instances on the fly.

createMerged

public TransitionBuilder<TS> createMerged(TransitionBuilder<TS> other,
                                          CharSet mergedMatcher)

Merge this and other into a newly created TransitionBuilder . The new transitionSet is created by calling TransitionSet.createMerged(TransitionSet) on this.transitionSet with other.transitionSet as parameter. The matcherBuilder of the new TransitionBuilder will be set to mergedMatcher directly.

Returns:

the newly created TransitionBuilder. Overriding classes are expected to return an instance of their own type!

toJson

public JsonValue toJson()

Specified by:

toJson in interface JsonConvertible