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;
}
}
}
}
