public static void RegisterAutomataScopeValidate(this AutomataService automataService, Automata automata)
{
AssertionConcern.CollectionContains(automata.States, automata.Q0, "O estado inicial informado para o automato não é válido.");
AssertionConcern.CollectionNotEmpty(automata.States, "Você deve informar no mínimo um estado para o automato.");
AssertionConcern.CollectionNotEmpty(automata.Alphabet, "O alfabeto informado deve conter no mínimo um símbolo.");
AssertionConcern.CollectionNotEmpty(automata.F, "Você deve informar no mínimo um estado FINAL para o automato.");
AssertionConcern.CollectionContains(automata.States, automata.F, "Um ou mais estados finais não são válido.");
}
public Form1(
AutomataService automataService,
WordService wordService,
ResultService resultService)
{
AutomataService = automataService;
WordService = wordService;
ResultService = resultService;
InitializeComponent();
RefreshViewState();
}
