public TerminalNfaTransition(AtomTerminal terminal, NfaState target)
: base(target)
{
Terminal = terminal;
}
private static DfaState MakeAutomaton(AtomTerminal terminal)
{
return(DfaState.Inner().AddTransition(terminal, DfaState.Final()));
}
public DfaTransition(AtomTerminal terminal, DfaState target)
{
Target = target;
Terminal = terminal;
}
public TerminalLexerRule(AtomTerminal terminal, TokenName tokenName)
: base(MakeAutomaton(terminal), tokenName)
{
Terminal = terminal;
}
public TerminalLexerRule(AtomTerminal terminal)
: this(terminal, terminal.ToString())
{
}
public TerminalLexerRule(AtomTerminal terminal, string tokenTypeId)
: this(terminal, new TokenName(tokenTypeId))
{
}
public void AddTransition(AtomTerminal terminal, NfaState target)
{
AddTransition(new TerminalNfaTransition(terminal, target));
}
public DfaState AddTransition(AtomTerminal terminal, DfaState target)
{
this._transitions.Add(new DfaTransition(terminal, target));
return(this);
}