public static void EnsureTransitionIsValid(this Automata automata, Transition transition)
{
ValidationUtils.EnsureNotNull(
transition, new InvalidValueException(
transition,
typeof(Transition)
)
);
automata.EnsureTransitionIsValid(transition?.From, transition?.Input, transition?.To);
}
public static void EnsureSymbolIsValid(this Automata automata, String symbol)
{
ValidationUtils.EnsureNotNull(
symbol, new InvalidValueException(
symbol
)
);
if (symbol.Length < 1)
{
throw new InvalidValueException(
symbol
);
}
}
public Transition(State from, String input, State to)
{
ValidationUtils.EnsureNotNull(
from, new InvalidValueException(
from?.Name,
typeof(State)
)
);
ValidationUtils.EnsureNotNull(
to, new InvalidValueException(
to?.Name,
typeof(State)
)
);
ValidationUtils.EnsureNotNull(
input, new InvalidValueException(
input
)
);
this.From = from;
this.Input = input;
this.To = to;
}
