org.stekikun.dolmen.automaton

Class NFA.Transition

java.lang.Object

org.stekikun.dolmen.automaton.NFA.Transition

Enclosing class:

NFA

public static final class NFA.Transition
extends Object

A transition in the NFA is an event decorated with a set of tags.

The tags represent the markers which must be updated with the current input string position when following this transition.

Author:

Stéphane Lescuyer

Field Summary

Fields

Modifier and Type	Field and Description
NFA.Event	event The event of the transition
Set<TRegular.TagInfo>	tags The set of tags to be updated in this transition

Constructor Summary

Constructors

Constructor and Description
Transition(NFA.Event event, Set<TRegular.TagInfo> tags)

Method Summary

Modifier and Type	Method and Description
boolean	equals(@Nullable Object obj)
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

event

public final NFA.Event event

The event of the transition

tags

public final Set<TRegular.TagInfo> tags

The set of tags to be updated in this transition

Constructor Detail

Transition

public Transition(NFA.Event event,
                  Set<TRegular.TagInfo> tags)

Parameters:

event -

tags -

Method Detail

toString

public String toString()

Overrides:

toString in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(@Nullable Object obj)

Overrides:

equals in class Object