private void EditaTransicao()
{
// try
{
Estado e = getSelectedEstado();
Transicao tr_ed;
if (e.Transicoes.ContainsKey(dataGridView1.Columns[lastColumnIdx].Name))
{
tr_ed = e.Transicoes[dataGridView1.Columns[lastColumnIdx].Name];
}
else
{
tr_ed = new Transicao(e);
tr_ed.Simbolo = AutomatoInstanciado.Alfabeto[dataGridView1.Columns[lastColumnIdx].Name];
}
BuscaEstado b = new BuscaEstado();
b.MontaCombo(AutomatoInstanciado);
b.ShowDialog();
if (b.Ok)
{
tr_ed.AddEstadoDest(b.getSelected());
e.SyncTransicao(tr_ed);
}
else if (b.Excluir)
{
if (tr_ed.EstadosDestino.Contains(b.getSelected()))
{
tr_ed.EstadosDestino.Remove(b.getSelected());
}
if (tr_ed.EstadosDestino.Count == 0)
{
e.Transicoes.Remove(tr_ed.Simbolo.simbolo);
}
}
AtualizaLastCell();
}
// catch (Exception e)
{
// MessageBox.Show(e.Message);
}
}
private void EditaTransicao()
{
// try
{
Estado e = getSelectedEstado();
Transicao tr_ed;
if (e.Transicoes.ContainsKey(dataGridView1.Columns[lastColumnIdx].Name))
{
tr_ed = e.Transicoes[dataGridView1.Columns[lastColumnIdx].Name];
}
else
{
tr_ed = new Transicao(e);
tr_ed.Simbolo = AutomatoInstanciado.Alfabeto[dataGridView1.Columns[lastColumnIdx].Name];
}
BuscaEstado b = new BuscaEstado();
b.MontaCombo(AutomatoInstanciado);
b.ShowDialog();
if (b.Ok)
{
tr_ed.AddEstadoDest(b.getSelected());
e.SyncTransicao(tr_ed);
}
else if (b.Excluir)
{
if (tr_ed.EstadosDestino.Contains(b.getSelected()))
{
tr_ed.EstadosDestino.Remove(b.getSelected());
}
if (tr_ed.EstadosDestino.Count == 0)
{
e.Transicoes.Remove(tr_ed.Simbolo.simbolo);
}
}
AtualizaLastCell();
}
// catch (Exception e)
{
// MessageBox.Show(e.Message);
}
}
