Ejemplo n.º 1
0
Archivo: Form1.cs Proyecto: vi34/fb2smv
        private void loadToolStripMenuItem_Click(object sender, EventArgs e)
        {
            if (openFileDialog1.ShowDialog() == DialogResult.OK)
            {
                /*if (mainModuleRichTextBox.Text != "")
                 * {
                 *
                 *  if (MessageBox.Show("Main module exists. Clear it?", "", MessageBoxButtons.YesNo) == DialogResult.OK)
                 *  {
                 *      mainModuleRichTextBox.Text = "";
                 *  }
                 * }*/
                if (Path.GetExtension(openFileDialog1.FileName) == projectFileExtension) //load saved project
                {
                    ProjectFileStructure openedProject = loadProject(openFileDialog1.FileName);
                    resetWorkspace(openedProject);
                }
                else //load from .fbt files
                {
                    resetWorkspace();
                    loadFbSystem(openFileDialog1.FileName);
                }
                VisualizableStringTree t = new VisualizableStringTree();
                t.Construct(_parcer.Storage);
                fbTypesView.Nodes.Add(t.TreeViewRoot());

                try
                {
                    varDependencyGraph = new VarDependencyGraph(_parcer.Storage);
                    varDependencyGraph.Construct();
                }
                catch (KeyNotFoundException ex)
                {
                    ShowMessage(ex.Message);
                }

                //time scheduler data
                timersTextBox.Text   = _parcer.Storage.TimersCount.ToString();
                timetypeTextBox.Text = _parcer.Storage.TimeSMVType;
                tmaxTextBox.Text     = _parcer.Storage.Tmax.ToString();
            }
        }
Ejemplo n.º 2
0
        private void loadToolStripMenuItem_Click(object sender, EventArgs e)
        {
            if (openFileDialog1.ShowDialog() == DialogResult.OK)
            {
                clear();
                try
                {
                    _parcer.ParseRecursive(openFileDialog1.FileName);
                }
                catch (Exception exception)
                {
                    Program.ErrorMessage(exception.Message);
                    return;
                }
                //fillTreeView();
                VisualizableStringTree t = new VisualizableStringTree();
                t.Construct(_parcer.Storage);
                varDependencyGraph = new VarDependencyGraph(_parcer.Storage);
                varDependencyGraph.Construct();

                fbTypesView.Nodes.Add(t.TreeViewRoot());
            }
        }