private void tmsiUnitEntry_Click(object sender, EventArgs e) { if (FileOpened && Automaton != default(Automaton)) { string TestString = Interaction.InputBox("Insira a entrada para testar", "Entrada Unitária", string.Empty); if (Automaton.Type == "afd") { if (Automaton.AcceptAFD(TestString)) { MessageBox.Show("Entrada aceita pelo autômato finito determinístico.", "Sucesso", MessageBoxButtons.OK, MessageBoxIcon.Information); } else { MessageBox.Show("Entrada rejeitada pelo autômato finito determinístico.", "Fracasso", MessageBoxButtons.OK, MessageBoxIcon.Error); } } else if (Automaton.Type == "afn") { if (Automaton.AcceptAFN(TestString)) { MessageBox.Show("Entrada aceita pelo autômato finito não-determinístico.", "Sucesso", MessageBoxButtons.OK, MessageBoxIcon.Information); } else { MessageBox.Show("Entrada rejeitada pelo autômato finito não-determinístico.", "Fracasso", MessageBoxButtons.OK, MessageBoxIcon.Error); } } else if (Automaton.Type == "afdp") { if (Automaton.AcceptAFDP(TestString)) { MessageBox.Show("Entrada aceita pelo autômato finito determinístico com pilha.", "Sucesso", MessageBoxButtons.OK, MessageBoxIcon.Information); } else { MessageBox.Show("Entrada rejeitada pelo autômato finito determinístico com pilha.", "Fracasso", MessageBoxButtons.OK, MessageBoxIcon.Error); } } } else { MessageBox.Show("Selecione um arquivo para carregar um autômato antes de tentar testá-lo.", "Selecione um arquivo", MessageBoxButtons.OK, MessageBoxIcon.Error); } }