public AutomateSaver.AutomtateSaveResult save(ArrayList Automate_list, String Path) { Directory.CreateDirectory("tmp"); String Wfolder = Directory.GetCurrentDirectory() + "\\tmp"; AutomateSaver Saver = new AutomateSaver(); using (ZipFile Zip = new ZipFile()) { foreach (Auto Auto in Automate_list) { if (((Automata)Auto.Automate).getType() == Automata.TYPE.Gfa) { ((Automata)Auto.Automate).Name = "Automate" + (Automate_list.IndexOf(Auto) % 5).ToString(); AutomateSaver.AutomtateSaveResult ret = Saver.Save((Automata)(Auto.Automate), Wfolder + "\\" + Auto.ToString() + ".aut"); if (ret == AutomateSaver.AutomtateSaveResult.ERROR) { MessageBox.Show("Erreur saving the worspace"); return AutomateSaver.AutomtateSaveResult.ERROR; } } } foreach (string file in Directory.GetFiles("tmp")) { Zip.AddFile(file, "."); } Zip.Save(Path); try { Directory.Delete("tmp", true); } catch (Exception) { } } return AutomateSaver.AutomtateSaveResult.NEW; }
private void enregistrerMI_Click(object sender, EventArgs e) { if (saveAutomateDialog.ShowDialog() != DialogResult.Cancel) { AutomateSaver Saver = new AutomateSaver(); Saver.Save((Automata)Selected.Automate, saveAutomateDialog.FileName); } }