Ejemplo n.º 1
0
        public ArrayList read(string Path)
        {
            ArrayList temp = new ArrayList();
            Directory.CreateDirectory("tmp");
            String Wfolder = Directory.GetCurrentDirectory() + "\\tmp";
            try
            {
                using (ZipFile zip = ZipFile.Read(Path))
                {
                    zip.ExtractAll(Wfolder, true);
                }
                AutomateReader reader = new AutomateReader();
                foreach (String file in Directory.GetFiles(Wfolder))
                {
                    temp.Add(reader.read(file));
                }
                try
                {
                    Directory.Delete(Wfolder, true);
                }
                catch (Exception)
                {

                }
            }
            catch (ZipException ex)
            {
                MessageBox.Show("Fichier endomager ", "Erreur", MessageBoxButtons.OK, MessageBoxIcon.Error);
            }

            return temp;
        }
Ejemplo n.º 2
0
        private void ouvrirMI_Click(object sender, EventArgs e)
        {
            if (openAutoDialog.ShowDialog() != DialogResult.Cancel)
            {
                AutomateReader Reader = new AutomateReader();

                Auto Auto = Reader.read(openAutoDialog.FileName);
                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;
                }

            }
        }