public static void EnsureAutomataIsOfType(this Automata automata, AutomataType automataType, Exception throwException)
{
ValidationUtils.EnsureEquals(
automataType.ToString(),
automata.GetAutomataType().ToString(),
throwException
);
}
public static void EnsureSymbolIsSpontaneous(this Automata automata, String symbol)
{
ValidationUtils.EnsureEquals(
Automata.SYMBOL_SPONTANEOUS_TRANSITION,
symbol, new InvalidValueException(
symbol
)
);
}
