private void wordTextBox_TextChanged(object sender, EventArgs e) { bool validWord = AutomataUtils.CheckWord(AutomataProvider.A, wordTextBox.Text); if (validWord) { wordTextBox.ForeColor = Constants.ValidWordColor; } else { wordTextBox.ForeColor = Constants.InvalidWordColor; } StepByStepRichTextBox.Text = AutomataUtils.stepByStepTranzitions; }
private void mainForm_Load(object sender, EventArgs e) { AutomataProvider.A = AutomataUtils.LoadFromJson(Constants.defaultAutomata); automataRichTextBox.Text = AutomataConvertor.GetAutomataAsString(AutomataProvider.A); }
private void MockDataButton_Click(object sender, EventArgs e) { Automata a = new Automata(); AutomataUtils.SaveToJson(Constants.defaultAutomata, a); }