Exemple #1
0
        public static AutoInputConstants FromFile(string fileName)
        {
            AutoInputConstants result = AutoInputConstants.DefaultConstants;

            result.InitializeFromContent(File.ReadAllText(fileName));
            return(result);
        }
Exemple #2
0
        public static AutoInputConstants FromStream(Stream stream)
        {
            AutoInputConstants result = AutoInputConstants.DefaultConstants;

            result.InitializeFromStream(stream);
            return(result);
        }
Exemple #3
0
        public static AutoInputConstants FromContent(string content)
        {
            AutoInputConstants result = AutoInputConstants.DefaultConstants;

            result.InitializeFromContent(content);
            return(result);
        }
        /// <summary>
        /// Required method for Designer support - do not modify
        /// the contents of this method with the code editor.
        /// </summary>
        private void InitializeComponent()
        {
            this.components = new System.ComponentModel.Container();
            LibAutoCSharp.AutoInputConstants autoInputConstants1 = new LibAutoCSharp.AutoInputConstants();
            System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(MainForm));
            this.button1 = new System.Windows.Forms.Button();
            this.panel1 = new System.Windows.Forms.Panel();
            this.cmdLoad = new System.Windows.Forms.Button();
            this.panel2 = new System.Windows.Forms.Panel();
            this.tabControl1 = new System.Windows.Forms.TabControl();
            this.tabRun = new System.Windows.Forms.TabPage();
            this.panel7 = new System.Windows.Forms.Panel();
            this.graphControl1 = new AutoFrontend.Controls.GraphControl();
            this.splitter1 = new System.Windows.Forms.Splitter();
            this.panel6 = new System.Windows.Forms.Panel();
            this.setupControl1 = new AutoFrontend.Controls.SetupControl();
            this.tabAdvanced = new System.Windows.Forms.TabPage();
            this.panel8 = new System.Windows.Forms.Panel();
            this.panel10 = new System.Windows.Forms.Panel();
            this.txtConfig = new AutoFrontend.Controls.CodeTextBox();
            this.panel9 = new System.Windows.Forms.Panel();
            this.cmdAssignAdvanced = new System.Windows.Forms.Button();
            this.cmdParseConfig = new System.Windows.Forms.Button();
            this.chkTakeAsIs = new System.Windows.Forms.CheckBox();
            this.tabJarnac = new System.Windows.Forms.TabPage();
            this.panel3 = new System.Windows.Forms.Panel();
            this.panel5 = new System.Windows.Forms.Panel();
            this.txtJarnac = new AutoFrontend.Controls.CodeTextBox();
            this.panel4 = new System.Windows.Forms.Panel();
            this.cmdSendToAuto = new System.Windows.Forms.Button();
            this.tabFort7 = new System.Windows.Forms.TabPage();
            this.txtResult = new AutoFrontend.Controls.CodeTextBox();
            this.tabCode = new System.Windows.Forms.TabPage();
            this.txtCode = new AutoFrontend.Controls.CodeTextBox();
            this.tabSBML = new System.Windows.Forms.TabPage();
            this.txtSBML = new AutoFrontend.Controls.CodeTextBox();
            this.openFileDialog1 = new System.Windows.Forms.OpenFileDialog();
            this.mainMenu1 = new System.Windows.Forms.MainMenu(this.components);
            this.menuItem1 = new System.Windows.Forms.MenuItem();
            this.mnuOpen = new System.Windows.Forms.MenuItem();
            this.mnuExport = new System.Windows.Forms.MenuItem();
            this.menuItem3 = new System.Windows.Forms.MenuItem();
            this.mnuExit = new System.Windows.Forms.MenuItem();
            this.menuItem2 = new System.Windows.Forms.MenuItem();
            this.changeBifurcationPlot = new System.Windows.Forms.MenuItem();
            this.oSBWMenu = new System.Windows.Forms.MenuItem();
            this.codeTextBox1 = new AutoFrontend.Controls.CodeTextBox();
            this.menuItem4 = new System.Windows.Forms.MenuItem();
            this.mnuCopyCSV = new System.Windows.Forms.MenuItem();
            this.panel1.SuspendLayout();
            this.panel2.SuspendLayout();
            this.tabControl1.SuspendLayout();
            this.tabRun.SuspendLayout();
            this.panel7.SuspendLayout();
            this.panel6.SuspendLayout();
            this.tabAdvanced.SuspendLayout();
            this.panel8.SuspendLayout();
            this.panel10.SuspendLayout();
            this.panel9.SuspendLayout();
            this.tabJarnac.SuspendLayout();
            this.panel3.SuspendLayout();
            this.panel5.SuspendLayout();
            this.panel4.SuspendLayout();
            this.tabFort7.SuspendLayout();
            this.tabCode.SuspendLayout();
            this.tabSBML.SuspendLayout();
            this.SuspendLayout();
            // 
            // button1
            // 
            this.button1.Location = new System.Drawing.Point(144, 8);
            this.button1.Name = "button1";
            this.button1.Size = new System.Drawing.Size(75, 23);
            this.button1.TabIndex = 0;
            this.button1.Text = "button1";
            this.button1.Click += new System.EventHandler(this.button1_Click);
            // 
            // panel1
            // 
            this.panel1.Controls.Add(this.cmdLoad);
            this.panel1.Controls.Add(this.button1);
            this.panel1.Dock = System.Windows.Forms.DockStyle.Bottom;
            this.panel1.Location = new System.Drawing.Point(0, 566);
            this.panel1.Name = "panel1";
            this.panel1.Size = new System.Drawing.Size(760, 40);
            this.panel1.TabIndex = 1;
            this.panel1.Visible = false;
            // 
            // cmdLoad
            // 
            this.cmdLoad.Location = new System.Drawing.Point(16, 8);
            this.cmdLoad.Name = "cmdLoad";
            this.cmdLoad.Size = new System.Drawing.Size(75, 23);
            this.cmdLoad.TabIndex = 1;
            this.cmdLoad.Text = "&Load";
            this.cmdLoad.Click += new System.EventHandler(this.cmdLoad_Click);
            // 
            // panel2
            // 
            this.panel2.Controls.Add(this.tabControl1);
            this.panel2.Dock = System.Windows.Forms.DockStyle.Fill;
            this.panel2.Location = new System.Drawing.Point(0, 0);
            this.panel2.Name = "panel2";
            this.panel2.Padding = new System.Windows.Forms.Padding(3);
            this.panel2.Size = new System.Drawing.Size(760, 566);
            this.panel2.TabIndex = 2;
            // 
            // tabControl1
            // 
            this.tabControl1.Controls.Add(this.tabRun);
            this.tabControl1.Controls.Add(this.tabAdvanced);
            this.tabControl1.Controls.Add(this.tabJarnac);
            this.tabControl1.Controls.Add(this.tabFort7);
            this.tabControl1.Dock = System.Windows.Forms.DockStyle.Fill;
            this.tabControl1.Location = new System.Drawing.Point(3, 3);
            this.tabControl1.Name = "tabControl1";
            this.tabControl1.SelectedIndex = 0;
            this.tabControl1.Size = new System.Drawing.Size(754, 560);
            this.tabControl1.TabIndex = 0;
            // 
            // tabRun
            // 
            this.tabRun.BackColor = System.Drawing.SystemColors.ControlLightLight;
            this.tabRun.Controls.Add(this.panel7);
            this.tabRun.Controls.Add(this.splitter1);
            this.tabRun.Controls.Add(this.panel6);
            this.tabRun.Location = new System.Drawing.Point(4, 22);
            this.tabRun.Name = "tabRun";
            this.tabRun.Padding = new System.Windows.Forms.Padding(3);
            this.tabRun.Size = new System.Drawing.Size(746, 534);
            this.tabRun.TabIndex = 0;
            this.tabRun.Text = "Run AUTO";
            // 
            // panel7
            // 
            this.panel7.Controls.Add(this.graphControl1);
            this.panel7.Dock = System.Windows.Forms.DockStyle.Fill;
            this.panel7.Location = new System.Drawing.Point(206, 3);
            this.panel7.Name = "panel7";
            this.panel7.Size = new System.Drawing.Size(537, 528);
            this.panel7.TabIndex = 2;
            // 
            // graphControl1
            // 
            this.graphControl1.Dock = System.Windows.Forms.DockStyle.Fill;
            this.graphControl1.Location = new System.Drawing.Point(0, 0);
            this.graphControl1.Name = "graphControl1";
            this.graphControl1.Size = new System.Drawing.Size(537, 528);
            this.graphControl1.TabIndex = 0;
            // 
            // splitter1
            // 
            this.splitter1.Location = new System.Drawing.Point(203, 3);
            this.splitter1.Name = "splitter1";
            this.splitter1.Size = new System.Drawing.Size(3, 528);
            this.splitter1.TabIndex = 1;
            this.splitter1.TabStop = false;
            // 
            // panel6
            // 
            this.panel6.Controls.Add(this.setupControl1);
            this.panel6.Dock = System.Windows.Forms.DockStyle.Left;
            this.panel6.Location = new System.Drawing.Point(3, 3);
            this.panel6.Name = "panel6";
            this.panel6.Size = new System.Drawing.Size(200, 528);
            this.panel6.TabIndex = 0;
            // 
            // setupControl1
            // 
            this.setupControl1.CalculateSteadyState = true;
            autoInputConstants1.A0 = 0D;
            autoInputConstants1.A1 = 10000D;
            autoInputConstants1.DS = 0.001D;
            autoInputConstants1.DSMAX = 0.1D;
            autoInputConstants1.DSMIN = 1E-05D;
            autoInputConstants1.EPSL = 1E-08D;
            autoInputConstants1.EPSS = 1E-06D;
            autoInputConstants1.EPSU = 1E-08D;
            autoInputConstants1.IAD = 3;
            autoInputConstants1.IADS = 1;
            autoInputConstants1.IID = 0;
            autoInputConstants1.ILP = 1;
            autoInputConstants1.IPLT = 0;
            autoInputConstants1.IPS = 1;
            autoInputConstants1.IRS = 0;
            autoInputConstants1.ISP = 1;
            autoInputConstants1.ISW = 1;
            autoInputConstants1.ITMX = 8;
            autoInputConstants1.ITNW = 5;
            autoInputConstants1.JAC = 0;
            autoInputConstants1.MXBF = -1;
            autoInputConstants1.NBC = 0;
            autoInputConstants1.NCOL = 3;
            autoInputConstants1.NDIM = 2;
            autoInputConstants1.NICP = 1;
            autoInputConstants1.NINT = 0;
            autoInputConstants1.NMX = 1000;
            autoInputConstants1.NPR = 50;
            autoInputConstants1.NTHL = 0;
            autoInputConstants1.NTHU = 0;
            autoInputConstants1.NTST = 15;
            autoInputConstants1.NUZR = 0;
            autoInputConstants1.NWTN = 3;
            autoInputConstants1.RL0 = 0.01D;
            autoInputConstants1.RL1 = 30D;
            this.setupControl1.CurrentConfig = autoInputConstants1;
            this.setupControl1.DirectionPositive = true;
            this.setupControl1.Dock = System.Windows.Forms.DockStyle.Fill;
            this.setupControl1.EndValue = 30D;
            this.setupControl1.Label = 0;
            this.setupControl1.Location = new System.Drawing.Point(0, 0);
            this.setupControl1.MaxBifurcations = -1;
            this.setupControl1.MaxSteps = 1000;
            this.setupControl1.Name = "setupControl1";
            this.setupControl1.Parameter = "";
            this.setupControl1.ParameterAvailable = false;
            this.setupControl1.Parameters = new object[0];
            this.setupControl1.RunContinuation = false;
            this.setupControl1.SimulationEndTime = 10D;
            this.setupControl1.SimulationNumPoints = 100D;
            this.setupControl1.SimulationStartTime = 0D;
            this.setupControl1.Size = new System.Drawing.Size(200, 528);
            this.setupControl1.StartValue = 0.01D;
            this.setupControl1.TabIndex = 0;
            // 
            // tabAdvanced
            // 
            this.tabAdvanced.BackColor = System.Drawing.SystemColors.ControlLightLight;
            this.tabAdvanced.Controls.Add(this.panel8);
            this.tabAdvanced.Location = new System.Drawing.Point(4, 22);
            this.tabAdvanced.Name = "tabAdvanced";
            this.tabAdvanced.Padding = new System.Windows.Forms.Padding(3);
            this.tabAdvanced.Size = new System.Drawing.Size(746, 513);
            this.tabAdvanced.TabIndex = 5;
            this.tabAdvanced.Text = "Advanced Configuration";
            // 
            // panel8
            // 
            this.panel8.Controls.Add(this.panel10);
            this.panel8.Controls.Add(this.panel9);
            this.panel8.Dock = System.Windows.Forms.DockStyle.Fill;
            this.panel8.Location = new System.Drawing.Point(3, 3);
            this.panel8.Name = "panel8";
            this.panel8.Size = new System.Drawing.Size(740, 507);
            this.panel8.TabIndex = 1;
            // 
            // panel10
            // 
            this.panel10.Controls.Add(this.txtConfig);
            this.panel10.Dock = System.Windows.Forms.DockStyle.Fill;
            this.panel10.Location = new System.Drawing.Point(0, 32);
            this.panel10.Name = "panel10";
            this.panel10.Size = new System.Drawing.Size(740, 475);
            this.panel10.TabIndex = 1;
            // 
            // txtConfig
            // 
            this.txtConfig.Dock = System.Windows.Forms.DockStyle.Fill;
            this.txtConfig.Font = new System.Drawing.Font("Courier New", 11F);
            this.txtConfig.Location = new System.Drawing.Point(0, 0);
            this.txtConfig.MaxLength = 0;
            this.txtConfig.Multiline = true;
            this.txtConfig.Name = "txtConfig";
            this.txtConfig.ScrollBars = System.Windows.Forms.ScrollBars.Both;
            this.txtConfig.Size = new System.Drawing.Size(740, 475);
            this.txtConfig.TabIndex = 0;
            this.txtConfig.WordWrap = false;
            // 
            // panel9
            // 
            this.panel9.Controls.Add(this.cmdAssignAdvanced);
            this.panel9.Controls.Add(this.cmdParseConfig);
            this.panel9.Controls.Add(this.chkTakeAsIs);
            this.panel9.Dock = System.Windows.Forms.DockStyle.Top;
            this.panel9.Location = new System.Drawing.Point(0, 0);
            this.panel9.Name = "panel9";
            this.panel9.Size = new System.Drawing.Size(740, 32);
            this.panel9.TabIndex = 0;
            // 
            // cmdAssignAdvanced
            // 
            this.cmdAssignAdvanced.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
            this.cmdAssignAdvanced.Location = new System.Drawing.Point(581, 4);
            this.cmdAssignAdvanced.Name = "cmdAssignAdvanced";
            this.cmdAssignAdvanced.Size = new System.Drawing.Size(75, 23);
            this.cmdAssignAdvanced.TabIndex = 2;
            this.cmdAssignAdvanced.Text = "Assign";
            this.cmdAssignAdvanced.UseVisualStyleBackColor = true;
            this.cmdAssignAdvanced.Click += new System.EventHandler(this.cmdAssignAdvanced_Click);
            // 
            // cmdParseConfig
            // 
            this.cmdParseConfig.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
            this.cmdParseConfig.Location = new System.Drawing.Point(662, 4);
            this.cmdParseConfig.Name = "cmdParseConfig";
            this.cmdParseConfig.Size = new System.Drawing.Size(75, 23);
            this.cmdParseConfig.TabIndex = 1;
            this.cmdParseConfig.Text = "Parse";
            this.cmdParseConfig.UseVisualStyleBackColor = true;
            this.cmdParseConfig.Click += new System.EventHandler(this.cmdParseConfig_Click);
            // 
            // chkTakeAsIs
            // 
            this.chkTakeAsIs.FlatStyle = System.Windows.Forms.FlatStyle.System;
            this.chkTakeAsIs.Location = new System.Drawing.Point(8, 4);
            this.chkTakeAsIs.Name = "chkTakeAsIs";
            this.chkTakeAsIs.Size = new System.Drawing.Size(384, 24);
            this.chkTakeAsIs.TabIndex = 0;
            this.chkTakeAsIs.Text = "Use Advanced Configuration as is (don\'t overwrite settings)";
            // 
            // tabJarnac
            // 
            this.tabJarnac.BackColor = System.Drawing.SystemColors.ControlLightLight;
            this.tabJarnac.Controls.Add(this.panel3);
            this.tabJarnac.Location = new System.Drawing.Point(4, 22);
            this.tabJarnac.Name = "tabJarnac";
            this.tabJarnac.Padding = new System.Windows.Forms.Padding(3);
            this.tabJarnac.Size = new System.Drawing.Size(746, 513);
            this.tabJarnac.TabIndex = 1;
            this.tabJarnac.Text = "Model";
            // 
            // panel3
            // 
            this.panel3.Controls.Add(this.panel5);
            this.panel3.Controls.Add(this.panel4);
            this.panel3.Dock = System.Windows.Forms.DockStyle.Fill;
            this.panel3.Location = new System.Drawing.Point(3, 3);
            this.panel3.Name = "panel3";
            this.panel3.Size = new System.Drawing.Size(740, 507);
            this.panel3.TabIndex = 1;
            // 
            // panel5
            // 
            this.panel5.Controls.Add(this.txtJarnac);
            this.panel5.Dock = System.Windows.Forms.DockStyle.Fill;
            this.panel5.Location = new System.Drawing.Point(0, 0);
            this.panel5.Name = "panel5";
            this.panel5.Size = new System.Drawing.Size(740, 467);
            this.panel5.TabIndex = 1;
            // 
            // txtJarnac
            // 
            this.txtJarnac.Dock = System.Windows.Forms.DockStyle.Fill;
            this.txtJarnac.Font = new System.Drawing.Font("Courier New", 11F);
            this.txtJarnac.Location = new System.Drawing.Point(0, 0);
            this.txtJarnac.MaxLength = 0;
            this.txtJarnac.Multiline = true;
            this.txtJarnac.Name = "txtJarnac";
            this.txtJarnac.ScrollBars = System.Windows.Forms.ScrollBars.Both;
            this.txtJarnac.Size = new System.Drawing.Size(740, 467);
            this.txtJarnac.TabIndex = 0;
            this.txtJarnac.WordWrap = false;
            // 
            // panel4
            // 
            this.panel4.Controls.Add(this.cmdSendToAuto);
            this.panel4.Dock = System.Windows.Forms.DockStyle.Bottom;
            this.panel4.Location = new System.Drawing.Point(0, 467);
            this.panel4.Name = "panel4";
            this.panel4.Size = new System.Drawing.Size(740, 40);
            this.panel4.TabIndex = 0;
            // 
            // cmdSendToAuto
            // 
            this.cmdSendToAuto.FlatStyle = System.Windows.Forms.FlatStyle.System;
            this.cmdSendToAuto.Location = new System.Drawing.Point(8, 8);
            this.cmdSendToAuto.Name = "cmdSendToAuto";
            this.cmdSendToAuto.Size = new System.Drawing.Size(104, 23);
            this.cmdSendToAuto.TabIndex = 0;
            this.cmdSendToAuto.Text = "Send to AUTO";
            this.cmdSendToAuto.Click += new System.EventHandler(this.cmdSendToAuto_Click);
            // 
            // tabFort7
            // 
            this.tabFort7.BackColor = System.Drawing.SystemColors.ControlLightLight;
            this.tabFort7.Controls.Add(this.txtResult);
            this.tabFort7.Location = new System.Drawing.Point(4, 22);
            this.tabFort7.Name = "tabFort7";
            this.tabFort7.Padding = new System.Windows.Forms.Padding(3);
            this.tabFort7.Size = new System.Drawing.Size(746, 513);
            this.tabFort7.TabIndex = 2;
            this.tabFort7.Text = "Raw Result";
            // 
            // txtResult
            // 
            this.txtResult.Dock = System.Windows.Forms.DockStyle.Fill;
            this.txtResult.Font = new System.Drawing.Font("Courier New", 11F);
            this.txtResult.Location = new System.Drawing.Point(3, 3);
            this.txtResult.MaxLength = 0;
            this.txtResult.Multiline = true;
            this.txtResult.Name = "txtResult";
            this.txtResult.ScrollBars = System.Windows.Forms.ScrollBars.Both;
            this.txtResult.Size = new System.Drawing.Size(740, 507);
            this.txtResult.TabIndex = 0;
            this.txtResult.WordWrap = false;
            // 
            // tabCode
            // 
            this.tabCode.BackColor = System.Drawing.SystemColors.ControlLightLight;
            this.tabCode.Controls.Add(this.txtCode);
            this.tabCode.Location = new System.Drawing.Point(4, 22);
            this.tabCode.Name = "tabCode";
            this.tabCode.Padding = new System.Windows.Forms.Padding(3);
            this.tabCode.Size = new System.Drawing.Size(746, 534);
            this.tabCode.TabIndex = 3;
            this.tabCode.Text = "(Debug Code)";
            // 
            // txtCode
            // 
            this.txtCode.Dock = System.Windows.Forms.DockStyle.Fill;
            this.txtCode.Font = new System.Drawing.Font("Courier New", 11F);
            this.txtCode.Location = new System.Drawing.Point(3, 3);
            this.txtCode.MaxLength = 0;
            this.txtCode.Multiline = true;
            this.txtCode.Name = "txtCode";
            this.txtCode.ScrollBars = System.Windows.Forms.ScrollBars.Both;
            this.txtCode.Size = new System.Drawing.Size(740, 528);
            this.txtCode.TabIndex = 0;
            this.txtCode.WordWrap = false;
            // 
            // tabSBML
            // 
            this.tabSBML.BackColor = System.Drawing.SystemColors.ControlLightLight;
            this.tabSBML.Controls.Add(this.txtSBML);
            this.tabSBML.Location = new System.Drawing.Point(4, 22);
            this.tabSBML.Name = "tabSBML";
            this.tabSBML.Padding = new System.Windows.Forms.Padding(3);
            this.tabSBML.Size = new System.Drawing.Size(746, 534);
            this.tabSBML.TabIndex = 4;
            this.tabSBML.Text = "(Debug SBML)";
            // 
            // txtSBML
            // 
            this.txtSBML.Dock = System.Windows.Forms.DockStyle.Fill;
            this.txtSBML.Font = new System.Drawing.Font("Courier New", 11F);
            this.txtSBML.Location = new System.Drawing.Point(3, 3);
            this.txtSBML.MaxLength = 0;
            this.txtSBML.Multiline = true;
            this.txtSBML.Name = "txtSBML";
            this.txtSBML.ScrollBars = System.Windows.Forms.ScrollBars.Both;
            this.txtSBML.Size = new System.Drawing.Size(740, 528);
            this.txtSBML.TabIndex = 0;
            this.txtSBML.WordWrap = false;
            // 
            // openFileDialog1
            // 
            this.openFileDialog1.DefaultExt = "xml";
            this.openFileDialog1.Filter = "All supported files (SBML and Jarnac)|*.xml;*.sbml;*.jan|SBML files|*.xml;*.sbml|" +
    "Jarnac files|*.jan|All files|*.*";
            this.openFileDialog1.Title = "Load Model file";
            // 
            // mainMenu1
            // 
            this.mainMenu1.MenuItems.AddRange(new System.Windows.Forms.MenuItem[] {
            this.menuItem1,
            this.menuItem2,
            this.oSBWMenu});
            // 
            // menuItem1
            // 
            this.menuItem1.Index = 0;
            this.menuItem1.MenuItems.AddRange(new System.Windows.Forms.MenuItem[] {
            this.mnuOpen,
            this.mnuExport,
            this.menuItem4,
            this.mnuCopyCSV,
            this.menuItem3,
            this.mnuExit});
            this.menuItem1.Text = "&File";
            // 
            // mnuOpen
            // 
            this.mnuOpen.Index = 0;
            this.mnuOpen.Shortcut = System.Windows.Forms.Shortcut.CtrlO;
            this.mnuOpen.Text = "&Open";
            this.mnuOpen.Click += new System.EventHandler(this.cmdLoad_Click);
            // 
            // mnuExport
            // 
            this.mnuExport.Index = 1;
            this.mnuExport.Shortcut = System.Windows.Forms.Shortcut.CtrlE;
            this.mnuExport.Text = "&Export";
            this.mnuExport.Click += new System.EventHandler(this.OnExportClicked);
            // 
            // menuItem3
            // 
            this.menuItem3.Index = 4;
            this.menuItem3.Text = "-";
            // 
            // mnuExit
            // 
            this.mnuExit.Index = 5;
            this.mnuExit.Shortcut = System.Windows.Forms.Shortcut.CtrlQ;
            this.mnuExit.Text = "E&xit";
            this.mnuExit.Click += new System.EventHandler(this.mnuExit_Click);
            // 
            // menuItem2
            // 
            this.menuItem2.Index = 1;
            this.menuItem2.MenuItems.AddRange(new System.Windows.Forms.MenuItem[] {
            this.changeBifurcationPlot});
            this.menuItem2.Text = "&Edit";
            // 
            // changeBifurcationPlot
            // 
            this.changeBifurcationPlot.Index = 0;
            this.changeBifurcationPlot.Text = "Change Bifurcation Plot Settings";
            this.changeBifurcationPlot.Click += new System.EventHandler(this.changeBifurcationPlot_Click);
            // 
            // oSBWMenu
            // 
            this.oSBWMenu.Index = 2;
            this.oSBWMenu.Text = "&SBW";
            // 
            // codeTextBox1
            // 
            this.codeTextBox1.Font = new System.Drawing.Font("Courier New", 10F);
            this.codeTextBox1.Location = new System.Drawing.Point(416, 104);
            this.codeTextBox1.MaxLength = 0;
            this.codeTextBox1.Multiline = true;
            this.codeTextBox1.Name = "codeTextBox1";
            this.codeTextBox1.ScrollBars = System.Windows.Forms.ScrollBars.Both;
            this.codeTextBox1.Size = new System.Drawing.Size(100, 200);
            this.codeTextBox1.TabIndex = 0;
            this.codeTextBox1.Text = "codeTextBox1";
            this.codeTextBox1.WordWrap = false;
            // 
            // menuItem4
            // 
            this.menuItem4.Index = 2;
            this.menuItem4.Text = "-";
            // 
            // mnuCopyCSV
            // 
            this.mnuCopyCSV.Index = 3;
            this.mnuCopyCSV.Shortcut = System.Windows.Forms.Shortcut.CtrlC;
            this.mnuCopyCSV.Text = "Copy CSV to Clipboard";
            this.mnuCopyCSV.Click += new System.EventHandler(this.OnCopyClick);
            // 
            // MainForm
            // 
            this.AutoScaleBaseSize = new System.Drawing.Size(5, 13);
            this.ClientSize = new System.Drawing.Size(760, 606);
            this.Controls.Add(this.panel2);
            this.Controls.Add(this.panel1);
            this.Icon = ((System.Drawing.Icon)(resources.GetObject("$this.Icon")));
            this.Menu = this.mainMenu1;
            this.MinimumSize = new System.Drawing.Size(776, 645);
            this.Name = "MainForm";
            this.Text = "Auto2000 C# ";
            this.Load += new System.EventHandler(this.OnFormLoad);
            this.panel1.ResumeLayout(false);
            this.panel2.ResumeLayout(false);
            this.tabControl1.ResumeLayout(false);
            this.tabRun.ResumeLayout(false);
            this.panel7.ResumeLayout(false);
            this.panel6.ResumeLayout(false);
            this.tabAdvanced.ResumeLayout(false);
            this.panel8.ResumeLayout(false);
            this.panel10.ResumeLayout(false);
            this.panel10.PerformLayout();
            this.panel9.ResumeLayout(false);
            this.tabJarnac.ResumeLayout(false);
            this.panel3.ResumeLayout(false);
            this.panel5.ResumeLayout(false);
            this.panel5.PerformLayout();
            this.panel4.ResumeLayout(false);
            this.tabFort7.ResumeLayout(false);
            this.tabFort7.PerformLayout();
            this.tabCode.ResumeLayout(false);
            this.tabCode.PerformLayout();
            this.tabSBML.ResumeLayout(false);
            this.tabSBML.PerformLayout();
            this.ResumeLayout(false);

        }
Exemple #5
0
 /// <summary>
 /// Required method for Designer support - do not modify
 /// the contents of this method with the code editor.
 /// </summary>
 private void InitializeComponent()
 {
     this.components = new System.ComponentModel.Container();
     LibAutoCSharp.AutoInputConstants autoInputConstants1     = new LibAutoCSharp.AutoInputConstants();
     System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(MainForm));
     this.button1               = new System.Windows.Forms.Button();
     this.panel1                = new System.Windows.Forms.Panel();
     this.cmdLoad               = new System.Windows.Forms.Button();
     this.panel2                = new System.Windows.Forms.Panel();
     this.tabControl1           = new System.Windows.Forms.TabControl();
     this.tabRun                = new System.Windows.Forms.TabPage();
     this.panel7                = new System.Windows.Forms.Panel();
     this.graphControl1         = new AutoFrontend.Controls.GraphControl();
     this.splitter1             = new System.Windows.Forms.Splitter();
     this.panel6                = new System.Windows.Forms.Panel();
     this.setupControl1         = new AutoFrontend.Controls.SetupControl();
     this.tabAdvanced           = new System.Windows.Forms.TabPage();
     this.panel8                = new System.Windows.Forms.Panel();
     this.panel10               = new System.Windows.Forms.Panel();
     this.txtConfig             = new AutoFrontend.Controls.CodeTextBox();
     this.panel9                = new System.Windows.Forms.Panel();
     this.cmdAssignAdvanced     = new System.Windows.Forms.Button();
     this.cmdParseConfig        = new System.Windows.Forms.Button();
     this.chkTakeAsIs           = new System.Windows.Forms.CheckBox();
     this.tabJarnac             = new System.Windows.Forms.TabPage();
     this.panel3                = new System.Windows.Forms.Panel();
     this.panel5                = new System.Windows.Forms.Panel();
     this.txtJarnac             = new AutoFrontend.Controls.CodeTextBox();
     this.panel4                = new System.Windows.Forms.Panel();
     this.cmdSendToAuto         = new System.Windows.Forms.Button();
     this.tabFort7              = new System.Windows.Forms.TabPage();
     this.txtResult             = new AutoFrontend.Controls.CodeTextBox();
     this.tabCode               = new System.Windows.Forms.TabPage();
     this.txtCode               = new AutoFrontend.Controls.CodeTextBox();
     this.tabSBML               = new System.Windows.Forms.TabPage();
     this.txtSBML               = new AutoFrontend.Controls.CodeTextBox();
     this.openFileDialog1       = new System.Windows.Forms.OpenFileDialog();
     this.mainMenu1             = new System.Windows.Forms.MainMenu(this.components);
     this.menuItem1             = new System.Windows.Forms.MenuItem();
     this.mnuOpen               = new System.Windows.Forms.MenuItem();
     this.mnuExport             = new System.Windows.Forms.MenuItem();
     this.menuItem3             = new System.Windows.Forms.MenuItem();
     this.mnuExit               = new System.Windows.Forms.MenuItem();
     this.menuItem2             = new System.Windows.Forms.MenuItem();
     this.changeBifurcationPlot = new System.Windows.Forms.MenuItem();
     this.oSBWMenu              = new System.Windows.Forms.MenuItem();
     this.codeTextBox1          = new AutoFrontend.Controls.CodeTextBox();
     this.menuItem4             = new System.Windows.Forms.MenuItem();
     this.mnuCopyCSV            = new System.Windows.Forms.MenuItem();
     this.panel1.SuspendLayout();
     this.panel2.SuspendLayout();
     this.tabControl1.SuspendLayout();
     this.tabRun.SuspendLayout();
     this.panel7.SuspendLayout();
     this.panel6.SuspendLayout();
     this.tabAdvanced.SuspendLayout();
     this.panel8.SuspendLayout();
     this.panel10.SuspendLayout();
     this.panel9.SuspendLayout();
     this.tabJarnac.SuspendLayout();
     this.panel3.SuspendLayout();
     this.panel5.SuspendLayout();
     this.panel4.SuspendLayout();
     this.tabFort7.SuspendLayout();
     this.tabCode.SuspendLayout();
     this.tabSBML.SuspendLayout();
     this.SuspendLayout();
     //
     // button1
     //
     this.button1.Location = new System.Drawing.Point(144, 8);
     this.button1.Name     = "button1";
     this.button1.Size     = new System.Drawing.Size(75, 23);
     this.button1.TabIndex = 0;
     this.button1.Text     = "button1";
     this.button1.Click   += new System.EventHandler(this.button1_Click);
     //
     // panel1
     //
     this.panel1.Controls.Add(this.cmdLoad);
     this.panel1.Controls.Add(this.button1);
     this.panel1.Dock     = System.Windows.Forms.DockStyle.Bottom;
     this.panel1.Location = new System.Drawing.Point(0, 566);
     this.panel1.Name     = "panel1";
     this.panel1.Size     = new System.Drawing.Size(760, 40);
     this.panel1.TabIndex = 1;
     this.panel1.Visible  = false;
     //
     // cmdLoad
     //
     this.cmdLoad.Location = new System.Drawing.Point(16, 8);
     this.cmdLoad.Name     = "cmdLoad";
     this.cmdLoad.Size     = new System.Drawing.Size(75, 23);
     this.cmdLoad.TabIndex = 1;
     this.cmdLoad.Text     = "&Load";
     this.cmdLoad.Click   += new System.EventHandler(this.cmdLoad_Click);
     //
     // panel2
     //
     this.panel2.Controls.Add(this.tabControl1);
     this.panel2.Dock     = System.Windows.Forms.DockStyle.Fill;
     this.panel2.Location = new System.Drawing.Point(0, 0);
     this.panel2.Name     = "panel2";
     this.panel2.Padding  = new System.Windows.Forms.Padding(3);
     this.panel2.Size     = new System.Drawing.Size(760, 566);
     this.panel2.TabIndex = 2;
     //
     // tabControl1
     //
     this.tabControl1.Controls.Add(this.tabRun);
     this.tabControl1.Controls.Add(this.tabAdvanced);
     this.tabControl1.Controls.Add(this.tabJarnac);
     this.tabControl1.Controls.Add(this.tabFort7);
     this.tabControl1.Dock          = System.Windows.Forms.DockStyle.Fill;
     this.tabControl1.Location      = new System.Drawing.Point(3, 3);
     this.tabControl1.Name          = "tabControl1";
     this.tabControl1.SelectedIndex = 0;
     this.tabControl1.Size          = new System.Drawing.Size(754, 560);
     this.tabControl1.TabIndex      = 0;
     //
     // tabRun
     //
     this.tabRun.BackColor = System.Drawing.SystemColors.ControlLightLight;
     this.tabRun.Controls.Add(this.panel7);
     this.tabRun.Controls.Add(this.splitter1);
     this.tabRun.Controls.Add(this.panel6);
     this.tabRun.Location = new System.Drawing.Point(4, 22);
     this.tabRun.Name     = "tabRun";
     this.tabRun.Padding  = new System.Windows.Forms.Padding(3);
     this.tabRun.Size     = new System.Drawing.Size(746, 534);
     this.tabRun.TabIndex = 0;
     this.tabRun.Text     = "Run AUTO";
     //
     // panel7
     //
     this.panel7.Controls.Add(this.graphControl1);
     this.panel7.Dock     = System.Windows.Forms.DockStyle.Fill;
     this.panel7.Location = new System.Drawing.Point(206, 3);
     this.panel7.Name     = "panel7";
     this.panel7.Size     = new System.Drawing.Size(537, 528);
     this.panel7.TabIndex = 2;
     //
     // graphControl1
     //
     this.graphControl1.Dock     = System.Windows.Forms.DockStyle.Fill;
     this.graphControl1.Location = new System.Drawing.Point(0, 0);
     this.graphControl1.Name     = "graphControl1";
     this.graphControl1.Size     = new System.Drawing.Size(537, 528);
     this.graphControl1.TabIndex = 0;
     //
     // splitter1
     //
     this.splitter1.Location = new System.Drawing.Point(203, 3);
     this.splitter1.Name     = "splitter1";
     this.splitter1.Size     = new System.Drawing.Size(3, 528);
     this.splitter1.TabIndex = 1;
     this.splitter1.TabStop  = false;
     //
     // panel6
     //
     this.panel6.Controls.Add(this.setupControl1);
     this.panel6.Dock     = System.Windows.Forms.DockStyle.Left;
     this.panel6.Location = new System.Drawing.Point(3, 3);
     this.panel6.Name     = "panel6";
     this.panel6.Size     = new System.Drawing.Size(200, 528);
     this.panel6.TabIndex = 0;
     //
     // setupControl1
     //
     this.setupControl1.CalculateSteadyState = true;
     autoInputConstants1.A0                 = 0D;
     autoInputConstants1.A1                 = 10000D;
     autoInputConstants1.DS                 = 0.001D;
     autoInputConstants1.DSMAX              = 0.1D;
     autoInputConstants1.DSMIN              = 1E-05D;
     autoInputConstants1.EPSL               = 1E-08D;
     autoInputConstants1.EPSS               = 1E-06D;
     autoInputConstants1.EPSU               = 1E-08D;
     autoInputConstants1.IAD                = 3;
     autoInputConstants1.IADS               = 1;
     autoInputConstants1.IID                = 0;
     autoInputConstants1.ILP                = 1;
     autoInputConstants1.IPLT               = 0;
     autoInputConstants1.IPS                = 1;
     autoInputConstants1.IRS                = 0;
     autoInputConstants1.ISP                = 1;
     autoInputConstants1.ISW                = 1;
     autoInputConstants1.ITMX               = 8;
     autoInputConstants1.ITNW               = 5;
     autoInputConstants1.JAC                = 0;
     autoInputConstants1.MXBF               = -1;
     autoInputConstants1.NBC                = 0;
     autoInputConstants1.NCOL               = 3;
     autoInputConstants1.NDIM               = 2;
     autoInputConstants1.NICP               = 1;
     autoInputConstants1.NINT               = 0;
     autoInputConstants1.NMX                = 1000;
     autoInputConstants1.NPR                = 50;
     autoInputConstants1.NTHL               = 0;
     autoInputConstants1.NTHU               = 0;
     autoInputConstants1.NTST               = 15;
     autoInputConstants1.NUZR               = 0;
     autoInputConstants1.NWTN               = 3;
     autoInputConstants1.RL0                = 0.01D;
     autoInputConstants1.RL1                = 30D;
     this.setupControl1.CurrentConfig       = autoInputConstants1;
     this.setupControl1.DirectionPositive   = true;
     this.setupControl1.Dock                = System.Windows.Forms.DockStyle.Fill;
     this.setupControl1.EndValue            = 30D;
     this.setupControl1.Label               = 0;
     this.setupControl1.Location            = new System.Drawing.Point(0, 0);
     this.setupControl1.MaxBifurcations     = -1;
     this.setupControl1.MaxSteps            = 1000;
     this.setupControl1.Name                = "setupControl1";
     this.setupControl1.Parameter           = "";
     this.setupControl1.ParameterAvailable  = false;
     this.setupControl1.Parameters          = new object[0];
     this.setupControl1.RunContinuation     = false;
     this.setupControl1.SimulationEndTime   = 10D;
     this.setupControl1.SimulationNumPoints = 100D;
     this.setupControl1.SimulationStartTime = 0D;
     this.setupControl1.Size                = new System.Drawing.Size(200, 528);
     this.setupControl1.StartValue          = 0.01D;
     this.setupControl1.TabIndex            = 0;
     //
     // tabAdvanced
     //
     this.tabAdvanced.BackColor = System.Drawing.SystemColors.ControlLightLight;
     this.tabAdvanced.Controls.Add(this.panel8);
     this.tabAdvanced.Location = new System.Drawing.Point(4, 22);
     this.tabAdvanced.Name     = "tabAdvanced";
     this.tabAdvanced.Padding  = new System.Windows.Forms.Padding(3);
     this.tabAdvanced.Size     = new System.Drawing.Size(746, 513);
     this.tabAdvanced.TabIndex = 5;
     this.tabAdvanced.Text     = "Advanced Configuration";
     //
     // panel8
     //
     this.panel8.Controls.Add(this.panel10);
     this.panel8.Controls.Add(this.panel9);
     this.panel8.Dock     = System.Windows.Forms.DockStyle.Fill;
     this.panel8.Location = new System.Drawing.Point(3, 3);
     this.panel8.Name     = "panel8";
     this.panel8.Size     = new System.Drawing.Size(740, 507);
     this.panel8.TabIndex = 1;
     //
     // panel10
     //
     this.panel10.Controls.Add(this.txtConfig);
     this.panel10.Dock     = System.Windows.Forms.DockStyle.Fill;
     this.panel10.Location = new System.Drawing.Point(0, 32);
     this.panel10.Name     = "panel10";
     this.panel10.Size     = new System.Drawing.Size(740, 475);
     this.panel10.TabIndex = 1;
     //
     // txtConfig
     //
     this.txtConfig.Dock       = System.Windows.Forms.DockStyle.Fill;
     this.txtConfig.Font       = new System.Drawing.Font("Courier New", 11F);
     this.txtConfig.Location   = new System.Drawing.Point(0, 0);
     this.txtConfig.MaxLength  = 0;
     this.txtConfig.Multiline  = true;
     this.txtConfig.Name       = "txtConfig";
     this.txtConfig.ScrollBars = System.Windows.Forms.ScrollBars.Both;
     this.txtConfig.Size       = new System.Drawing.Size(740, 475);
     this.txtConfig.TabIndex   = 0;
     this.txtConfig.WordWrap   = false;
     //
     // panel9
     //
     this.panel9.Controls.Add(this.cmdAssignAdvanced);
     this.panel9.Controls.Add(this.cmdParseConfig);
     this.panel9.Controls.Add(this.chkTakeAsIs);
     this.panel9.Dock     = System.Windows.Forms.DockStyle.Top;
     this.panel9.Location = new System.Drawing.Point(0, 0);
     this.panel9.Name     = "panel9";
     this.panel9.Size     = new System.Drawing.Size(740, 32);
     this.panel9.TabIndex = 0;
     //
     // cmdAssignAdvanced
     //
     this.cmdAssignAdvanced.Anchor   = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
     this.cmdAssignAdvanced.Location = new System.Drawing.Point(581, 4);
     this.cmdAssignAdvanced.Name     = "cmdAssignAdvanced";
     this.cmdAssignAdvanced.Size     = new System.Drawing.Size(75, 23);
     this.cmdAssignAdvanced.TabIndex = 2;
     this.cmdAssignAdvanced.Text     = "Assign";
     this.cmdAssignAdvanced.UseVisualStyleBackColor = true;
     this.cmdAssignAdvanced.Click += new System.EventHandler(this.cmdAssignAdvanced_Click);
     //
     // cmdParseConfig
     //
     this.cmdParseConfig.Anchor   = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
     this.cmdParseConfig.Location = new System.Drawing.Point(662, 4);
     this.cmdParseConfig.Name     = "cmdParseConfig";
     this.cmdParseConfig.Size     = new System.Drawing.Size(75, 23);
     this.cmdParseConfig.TabIndex = 1;
     this.cmdParseConfig.Text     = "Parse";
     this.cmdParseConfig.UseVisualStyleBackColor = true;
     this.cmdParseConfig.Click += new System.EventHandler(this.cmdParseConfig_Click);
     //
     // chkTakeAsIs
     //
     this.chkTakeAsIs.FlatStyle = System.Windows.Forms.FlatStyle.System;
     this.chkTakeAsIs.Location  = new System.Drawing.Point(8, 4);
     this.chkTakeAsIs.Name      = "chkTakeAsIs";
     this.chkTakeAsIs.Size      = new System.Drawing.Size(384, 24);
     this.chkTakeAsIs.TabIndex  = 0;
     this.chkTakeAsIs.Text      = "Use Advanced Configuration as is (don\'t overwrite settings)";
     //
     // tabJarnac
     //
     this.tabJarnac.BackColor = System.Drawing.SystemColors.ControlLightLight;
     this.tabJarnac.Controls.Add(this.panel3);
     this.tabJarnac.Location = new System.Drawing.Point(4, 22);
     this.tabJarnac.Name     = "tabJarnac";
     this.tabJarnac.Padding  = new System.Windows.Forms.Padding(3);
     this.tabJarnac.Size     = new System.Drawing.Size(746, 513);
     this.tabJarnac.TabIndex = 1;
     this.tabJarnac.Text     = "Model";
     //
     // panel3
     //
     this.panel3.Controls.Add(this.panel5);
     this.panel3.Controls.Add(this.panel4);
     this.panel3.Dock     = System.Windows.Forms.DockStyle.Fill;
     this.panel3.Location = new System.Drawing.Point(3, 3);
     this.panel3.Name     = "panel3";
     this.panel3.Size     = new System.Drawing.Size(740, 507);
     this.panel3.TabIndex = 1;
     //
     // panel5
     //
     this.panel5.Controls.Add(this.txtJarnac);
     this.panel5.Dock     = System.Windows.Forms.DockStyle.Fill;
     this.panel5.Location = new System.Drawing.Point(0, 0);
     this.panel5.Name     = "panel5";
     this.panel5.Size     = new System.Drawing.Size(740, 467);
     this.panel5.TabIndex = 1;
     //
     // txtJarnac
     //
     this.txtJarnac.Dock       = System.Windows.Forms.DockStyle.Fill;
     this.txtJarnac.Font       = new System.Drawing.Font("Courier New", 11F);
     this.txtJarnac.Location   = new System.Drawing.Point(0, 0);
     this.txtJarnac.MaxLength  = 0;
     this.txtJarnac.Multiline  = true;
     this.txtJarnac.Name       = "txtJarnac";
     this.txtJarnac.ScrollBars = System.Windows.Forms.ScrollBars.Both;
     this.txtJarnac.Size       = new System.Drawing.Size(740, 467);
     this.txtJarnac.TabIndex   = 0;
     this.txtJarnac.WordWrap   = false;
     //
     // panel4
     //
     this.panel4.Controls.Add(this.cmdSendToAuto);
     this.panel4.Dock     = System.Windows.Forms.DockStyle.Bottom;
     this.panel4.Location = new System.Drawing.Point(0, 467);
     this.panel4.Name     = "panel4";
     this.panel4.Size     = new System.Drawing.Size(740, 40);
     this.panel4.TabIndex = 0;
     //
     // cmdSendToAuto
     //
     this.cmdSendToAuto.FlatStyle = System.Windows.Forms.FlatStyle.System;
     this.cmdSendToAuto.Location  = new System.Drawing.Point(8, 8);
     this.cmdSendToAuto.Name      = "cmdSendToAuto";
     this.cmdSendToAuto.Size      = new System.Drawing.Size(104, 23);
     this.cmdSendToAuto.TabIndex  = 0;
     this.cmdSendToAuto.Text      = "Send to AUTO";
     this.cmdSendToAuto.Click    += new System.EventHandler(this.cmdSendToAuto_Click);
     //
     // tabFort7
     //
     this.tabFort7.BackColor = System.Drawing.SystemColors.ControlLightLight;
     this.tabFort7.Controls.Add(this.txtResult);
     this.tabFort7.Location = new System.Drawing.Point(4, 22);
     this.tabFort7.Name     = "tabFort7";
     this.tabFort7.Padding  = new System.Windows.Forms.Padding(3);
     this.tabFort7.Size     = new System.Drawing.Size(746, 513);
     this.tabFort7.TabIndex = 2;
     this.tabFort7.Text     = "Raw Result";
     //
     // txtResult
     //
     this.txtResult.Dock       = System.Windows.Forms.DockStyle.Fill;
     this.txtResult.Font       = new System.Drawing.Font("Courier New", 11F);
     this.txtResult.Location   = new System.Drawing.Point(3, 3);
     this.txtResult.MaxLength  = 0;
     this.txtResult.Multiline  = true;
     this.txtResult.Name       = "txtResult";
     this.txtResult.ScrollBars = System.Windows.Forms.ScrollBars.Both;
     this.txtResult.Size       = new System.Drawing.Size(740, 507);
     this.txtResult.TabIndex   = 0;
     this.txtResult.WordWrap   = false;
     //
     // tabCode
     //
     this.tabCode.BackColor = System.Drawing.SystemColors.ControlLightLight;
     this.tabCode.Controls.Add(this.txtCode);
     this.tabCode.Location = new System.Drawing.Point(4, 22);
     this.tabCode.Name     = "tabCode";
     this.tabCode.Padding  = new System.Windows.Forms.Padding(3);
     this.tabCode.Size     = new System.Drawing.Size(746, 534);
     this.tabCode.TabIndex = 3;
     this.tabCode.Text     = "(Debug Code)";
     //
     // txtCode
     //
     this.txtCode.Dock       = System.Windows.Forms.DockStyle.Fill;
     this.txtCode.Font       = new System.Drawing.Font("Courier New", 11F);
     this.txtCode.Location   = new System.Drawing.Point(3, 3);
     this.txtCode.MaxLength  = 0;
     this.txtCode.Multiline  = true;
     this.txtCode.Name       = "txtCode";
     this.txtCode.ScrollBars = System.Windows.Forms.ScrollBars.Both;
     this.txtCode.Size       = new System.Drawing.Size(740, 528);
     this.txtCode.TabIndex   = 0;
     this.txtCode.WordWrap   = false;
     //
     // tabSBML
     //
     this.tabSBML.BackColor = System.Drawing.SystemColors.ControlLightLight;
     this.tabSBML.Controls.Add(this.txtSBML);
     this.tabSBML.Location = new System.Drawing.Point(4, 22);
     this.tabSBML.Name     = "tabSBML";
     this.tabSBML.Padding  = new System.Windows.Forms.Padding(3);
     this.tabSBML.Size     = new System.Drawing.Size(746, 534);
     this.tabSBML.TabIndex = 4;
     this.tabSBML.Text     = "(Debug SBML)";
     //
     // txtSBML
     //
     this.txtSBML.Dock       = System.Windows.Forms.DockStyle.Fill;
     this.txtSBML.Font       = new System.Drawing.Font("Courier New", 11F);
     this.txtSBML.Location   = new System.Drawing.Point(3, 3);
     this.txtSBML.MaxLength  = 0;
     this.txtSBML.Multiline  = true;
     this.txtSBML.Name       = "txtSBML";
     this.txtSBML.ScrollBars = System.Windows.Forms.ScrollBars.Both;
     this.txtSBML.Size       = new System.Drawing.Size(740, 528);
     this.txtSBML.TabIndex   = 0;
     this.txtSBML.WordWrap   = false;
     //
     // openFileDialog1
     //
     this.openFileDialog1.DefaultExt = "xml";
     this.openFileDialog1.Filter     = "All supported files (SBML and Jarnac)|*.xml;*.sbml;*.jan|SBML files|*.xml;*.sbml|" +
                                       "Jarnac files|*.jan|All files|*.*";
     this.openFileDialog1.Title = "Load Model file";
     //
     // mainMenu1
     //
     this.mainMenu1.MenuItems.AddRange(new System.Windows.Forms.MenuItem[] {
         this.menuItem1,
         this.menuItem2,
         this.oSBWMenu
     });
     //
     // menuItem1
     //
     this.menuItem1.Index = 0;
     this.menuItem1.MenuItems.AddRange(new System.Windows.Forms.MenuItem[] {
         this.mnuOpen,
         this.mnuExport,
         this.menuItem4,
         this.mnuCopyCSV,
         this.menuItem3,
         this.mnuExit
     });
     this.menuItem1.Text = "&File";
     //
     // mnuOpen
     //
     this.mnuOpen.Index    = 0;
     this.mnuOpen.Shortcut = System.Windows.Forms.Shortcut.CtrlO;
     this.mnuOpen.Text     = "&Open";
     this.mnuOpen.Click   += new System.EventHandler(this.cmdLoad_Click);
     //
     // mnuExport
     //
     this.mnuExport.Index    = 1;
     this.mnuExport.Shortcut = System.Windows.Forms.Shortcut.CtrlE;
     this.mnuExport.Text     = "&Export";
     this.mnuExport.Click   += new System.EventHandler(this.OnExportClicked);
     //
     // menuItem3
     //
     this.menuItem3.Index = 4;
     this.menuItem3.Text  = "-";
     //
     // mnuExit
     //
     this.mnuExit.Index    = 5;
     this.mnuExit.Shortcut = System.Windows.Forms.Shortcut.CtrlQ;
     this.mnuExit.Text     = "E&xit";
     this.mnuExit.Click   += new System.EventHandler(this.mnuExit_Click);
     //
     // menuItem2
     //
     this.menuItem2.Index = 1;
     this.menuItem2.MenuItems.AddRange(new System.Windows.Forms.MenuItem[] {
         this.changeBifurcationPlot
     });
     this.menuItem2.Text = "&Edit";
     //
     // changeBifurcationPlot
     //
     this.changeBifurcationPlot.Index  = 0;
     this.changeBifurcationPlot.Text   = "Change Bifurcation Plot Settings";
     this.changeBifurcationPlot.Click += new System.EventHandler(this.changeBifurcationPlot_Click);
     //
     // oSBWMenu
     //
     this.oSBWMenu.Index = 2;
     this.oSBWMenu.Text  = "&SBW";
     //
     // codeTextBox1
     //
     this.codeTextBox1.Font       = new System.Drawing.Font("Courier New", 10F);
     this.codeTextBox1.Location   = new System.Drawing.Point(416, 104);
     this.codeTextBox1.MaxLength  = 0;
     this.codeTextBox1.Multiline  = true;
     this.codeTextBox1.Name       = "codeTextBox1";
     this.codeTextBox1.ScrollBars = System.Windows.Forms.ScrollBars.Both;
     this.codeTextBox1.Size       = new System.Drawing.Size(100, 200);
     this.codeTextBox1.TabIndex   = 0;
     this.codeTextBox1.Text       = "codeTextBox1";
     this.codeTextBox1.WordWrap   = false;
     //
     // menuItem4
     //
     this.menuItem4.Index = 2;
     this.menuItem4.Text  = "-";
     //
     // mnuCopyCSV
     //
     this.mnuCopyCSV.Index    = 3;
     this.mnuCopyCSV.Shortcut = System.Windows.Forms.Shortcut.CtrlC;
     this.mnuCopyCSV.Text     = "Copy CSV to Clipboard";
     this.mnuCopyCSV.Click   += new System.EventHandler(this.OnCopyClick);
     //
     // MainForm
     //
     this.AutoScaleBaseSize = new System.Drawing.Size(5, 13);
     this.ClientSize        = new System.Drawing.Size(760, 606);
     this.Controls.Add(this.panel2);
     this.Controls.Add(this.panel1);
     this.Icon        = ((System.Drawing.Icon)(resources.GetObject("$this.Icon")));
     this.Menu        = this.mainMenu1;
     this.MinimumSize = new System.Drawing.Size(776, 645);
     this.Name        = "MainForm";
     this.Text        = "Auto2000 C# ";
     this.Load       += new System.EventHandler(this.OnFormLoad);
     this.panel1.ResumeLayout(false);
     this.panel2.ResumeLayout(false);
     this.tabControl1.ResumeLayout(false);
     this.tabRun.ResumeLayout(false);
     this.panel7.ResumeLayout(false);
     this.panel6.ResumeLayout(false);
     this.tabAdvanced.ResumeLayout(false);
     this.panel8.ResumeLayout(false);
     this.panel10.ResumeLayout(false);
     this.panel10.PerformLayout();
     this.panel9.ResumeLayout(false);
     this.tabJarnac.ResumeLayout(false);
     this.panel3.ResumeLayout(false);
     this.panel5.ResumeLayout(false);
     this.panel5.PerformLayout();
     this.panel4.ResumeLayout(false);
     this.tabFort7.ResumeLayout(false);
     this.tabFort7.PerformLayout();
     this.tabCode.ResumeLayout(false);
     this.tabCode.PerformLayout();
     this.tabSBML.ResumeLayout(false);
     this.tabSBML.PerformLayout();
     this.ResumeLayout(false);
 }