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 ) ); }