private void Save_ws_Click(object sender, EventArgs e) { if (Automates_list.Count == 0) { MessageBox.Show("Vous n'avez pas créer des automates \n votre workspace est vide !!", "Workspace vide !!", MessageBoxButtons.OK, MessageBoxIcon.Information); } else { if (savews.ShowDialog() != DialogResult.Cancel) { workspace WorkSpace = new workspace(); WorkSpace.save(Automates_list, savews.FileName); } } }
private void ouvrirUnWorkspaceToolStripMenuItem_Click(object sender, EventArgs e) { if (openws.ShowDialog() != DialogResult.Cancel) { workspace WorkSpace = new workspace(); ArrayList temp = new ArrayList(WorkSpace.read(openws.FileName)); foreach (Auto auto in temp) { switch (auto.type) { case Automata.TYPE.Dfa: AjouterDfa(auto); break; case Automata.TYPE.Nfa: AjouterNfa(auto); break; case Automata.TYPE.PGfa: AjouterPGfa(auto); break; case Automata.TYPE.Gfa: AjouterGfa(auto); break; default: break; } } } }