Exemple #1
0
        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);
            }
        }
Exemple #2
0
        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);
            }
        }