Free cookie consent management tool by TermsFeed Policy Generator

Ignore:
Timestamp:
11/20/10 14:13:32 (14 years ago)
Author:
epitzer
Message:

Refactoring and modularization of DebugEngine (#47)

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/HeuristicLab.DebugEngine/DebugEngineView.Designer.cs

    r4765 r4871  
    4949      this.label1 = new System.Windows.Forms.Label();
    5050      this.executionTimeTextBox = new System.Windows.Forms.TextBox();
     51      this.executionStackView = new HeuristicLab.DebugEngine.ExecutionStackView();
    5152      this.logView = new HeuristicLab.Core.Views.LogView();
    5253      this.splitContainer1 = new System.Windows.Forms.SplitContainer();
    53       this.executionStackTreeView = new System.Windows.Forms.TreeView();
    54       this.label2 = new System.Windows.Forms.Label();
    5554      this.splitContainer2 = new System.Windows.Forms.SplitContainer();
     55      this.splitContainer3 = new System.Windows.Forms.SplitContainer();
     56      this.parameterCollectionView = new HeuristicLab.Core.Views.ParameterCollectionView();
     57      this.label3 = new System.Windows.Forms.Label();
     58      this.scopeTreeView = new System.Windows.Forms.TreeView();
    5659      this.label4 = new System.Windows.Forms.Label();
    5760      this.operationTextBox = new System.Windows.Forms.TextBox();
    58       this.label3 = new System.Windows.Forms.Label();
    59       this.scopeTreeView = new System.Windows.Forms.TreeView();
    6061      this.stepButton = new System.Windows.Forms.Button();
    6162      this.updateButton = new System.Windows.Forms.Button();
    6263      this.toolTip = new System.Windows.Forms.ToolTip(this.components);
    6364      this.parentButton = new System.Windows.Forms.Button();
    64       this.splitContainer3 = new System.Windows.Forms.SplitContainer();
    65       this.parameterCollectionView = new HeuristicLab.Core.Views.ParameterCollectionView();
    6665      this.splitContainer1.Panel1.SuspendLayout();
    6766      this.splitContainer1.Panel2.SuspendLayout();
    … …  
    9493      this.executionTimeTextBox.TabIndex = 1;
    9594      //
     95      // executionStackView
     96      //
     97      this.executionStackView.Caption = "Execution Stack View";
     98      this.executionStackView.Content = null;
     99      this.executionStackView.Dock = System.Windows.Forms.DockStyle.Fill;
     100      this.executionStackView.Location = new System.Drawing.Point(0, 0);
     101      this.executionStackView.Name = "executionStackView";
     102      this.executionStackView.ReadOnly = false;
     103      this.executionStackView.Size = new System.Drawing.Size(433, 262);
     104      this.executionStackView.TabIndex = 0;
     105      //
    96106      // logView
    97107      //
    … …  
    114124      // splitContainer1.Panel1
    115125      //
    116       this.splitContainer1.Panel1.Controls.Add(this.executionStackTreeView);
    117       this.splitContainer1.Panel1.Controls.Add(this.label2);
     126      this.splitContainer1.Panel1.Controls.Add(this.executionStackView);
    118127      //
    119128      // splitContainer1.Panel2
    … …  
    123132      this.splitContainer1.SplitterDistance = 262;
    124133      this.splitContainer1.TabIndex = 3;
    125       //
    126       // executionStackTreeView
    127       //
    128       this.executionStackTreeView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
    129                   | System.Windows.Forms.AnchorStyles.Left)
    130                   | System.Windows.Forms.AnchorStyles.Right)));
    131       this.executionStackTreeView.Location = new System.Drawing.Point(3, 16);
    132       this.executionStackTreeView.Name = "executionStackTreeView";
    133       this.executionStackTreeView.ShowNodeToolTips = true;
    134       this.executionStackTreeView.Size = new System.Drawing.Size(427, 243);
    135       this.executionStackTreeView.TabIndex = 2;
    136       this.executionStackTreeView.NodeMouseDoubleClick += new System.Windows.Forms.TreeNodeMouseClickEventHandler(this.executionStackTreeView_NodeMouseDoubleClick);
    137       //
    138       // label2
    139       //
    140       this.label2.AutoSize = true;
    141       this.label2.Location = new System.Drawing.Point(3, 0);
    142       this.label2.Name = "label2";
    143       this.label2.Size = new System.Drawing.Size(85, 13);
    144       this.label2.TabIndex = 1;
    145       this.label2.Text = "Execution Stack";
    146134      //
    147135      // splitContainer2
    … …  
    166154      this.splitContainer2.TabIndex = 0;
    167155      //
    168       // label4
    169       //
    170       this.label4.AutoSize = true;
    171       this.label4.Location = new System.Drawing.Point(3, 6);
    172       this.label4.Name = "label4";
    173       this.label4.Size = new System.Drawing.Size(56, 13);
    174       this.label4.TabIndex = 3;
    175       this.label4.Text = "Operation:";
    176       //
    177       // operationTextBox
    178       //
    179       this.operationTextBox.Location = new System.Drawing.Point(65, 3);
    180       this.operationTextBox.Name = "operationTextBox";
    181       this.operationTextBox.ReadOnly = true;
    182       this.operationTextBox.Size = new System.Drawing.Size(267, 20);
    183       this.operationTextBox.TabIndex = 2;
     156      // splitContainer3
     157      //
     158      this.splitContainer3.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
     159                  | System.Windows.Forms.AnchorStyles.Left)
     160                  | System.Windows.Forms.AnchorStyles.Right)));
     161      this.splitContainer3.Location = new System.Drawing.Point(3, 29);
     162      this.splitContainer3.Name = "splitContainer3";
     163      this.splitContainer3.Orientation = System.Windows.Forms.Orientation.Horizontal;
     164      //
     165      // splitContainer3.Panel1
     166      //
     167      this.splitContainer3.Panel1.Controls.Add(this.parameterCollectionView);
     168      //
     169      // splitContainer3.Panel2
     170      //
     171      this.splitContainer3.Panel2.Controls.Add(this.label3);
     172      this.splitContainer3.Panel2.Controls.Add(this.scopeTreeView);
     173      this.splitContainer3.Size = new System.Drawing.Size(423, 471);
     174      this.splitContainer3.SplitterDistance = 235;
     175      this.splitContainer3.TabIndex = 4;
     176      //
     177      // parameterCollectionView
     178      //
     179      this.parameterCollectionView.Caption = "ParameterCollection View";
     180      this.parameterCollectionView.Content = null;
     181      this.parameterCollectionView.Dock = System.Windows.Forms.DockStyle.Fill;
     182      this.parameterCollectionView.Location = new System.Drawing.Point(0, 0);
     183      this.parameterCollectionView.Name = "parameterCollectionView";
     184      this.parameterCollectionView.ReadOnly = false;
     185      this.parameterCollectionView.Size = new System.Drawing.Size(423, 235);
     186      this.parameterCollectionView.TabIndex = 0;
    184187      //
    185188      // label3
    … …  
    204207      this.scopeTreeView.NodeMouseDoubleClick += new System.Windows.Forms.TreeNodeMouseClickEventHandler(this.scopeTreeView_NodeMouseDoubleClick);
    205208      //
     209      // label4
     210      //
     211      this.label4.AutoSize = true;
     212      this.label4.Location = new System.Drawing.Point(3, 6);
     213      this.label4.Name = "label4";
     214      this.label4.Size = new System.Drawing.Size(56, 13);
     215      this.label4.TabIndex = 3;
     216      this.label4.Text = "Operation:";
     217      //
     218      // operationTextBox
     219      //
     220      this.operationTextBox.Location = new System.Drawing.Point(65, 3);
     221      this.operationTextBox.Name = "operationTextBox";
     222      this.operationTextBox.ReadOnly = true;
     223      this.operationTextBox.Size = new System.Drawing.Size(267, 20);
     224      this.operationTextBox.TabIndex = 2;
     225      //
    206226      // stepButton
    207227      //
    … …  
    239259      this.parentButton.UseVisualStyleBackColor = true;
    240260      this.parentButton.Click += new System.EventHandler(this.parentButton_Click);
    241       //
    242       // splitContainer3
    243       //
    244       this.splitContainer3.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
    245                   | System.Windows.Forms.AnchorStyles.Left)
    246                   | System.Windows.Forms.AnchorStyles.Right)));
    247       this.splitContainer3.Location = new System.Drawing.Point(3, 29);
    248       this.splitContainer3.Name = "splitContainer3";
    249       this.splitContainer3.Orientation = System.Windows.Forms.Orientation.Horizontal;
    250       //
    251       // splitContainer3.Panel1
    252       //
    253       this.splitContainer3.Panel1.Controls.Add(this.parameterCollectionView);
    254       //
    255       // splitContainer3.Panel2
    256       //
    257       this.splitContainer3.Panel2.Controls.Add(this.label3);
    258       this.splitContainer3.Panel2.Controls.Add(this.scopeTreeView);
    259       this.splitContainer3.Size = new System.Drawing.Size(423, 471);
    260       this.splitContainer3.SplitterDistance = 235;
    261       this.splitContainer3.TabIndex = 4;
    262       //
    263       // parameterCollectionView
    264       //
    265       this.parameterCollectionView.Caption = "ParameterCollection View";
    266       this.parameterCollectionView.Content = null;
    267       this.parameterCollectionView.Dock = System.Windows.Forms.DockStyle.Fill;
    268       this.parameterCollectionView.Location = new System.Drawing.Point(0, 0);
    269       this.parameterCollectionView.Name = "parameterCollectionView";
    270       this.parameterCollectionView.ReadOnly = false;
    271       this.parameterCollectionView.Size = new System.Drawing.Size(423, 235);
    272       this.parameterCollectionView.TabIndex = 0;
    273261      //
    274262      // DebugEngineView
    … …  
    284272      this.Size = new System.Drawing.Size(872, 538);
    285273      this.splitContainer1.Panel1.ResumeLayout(false);
    286       this.splitContainer1.Panel1.PerformLayout();
    287274      this.splitContainer1.Panel2.ResumeLayout(false);
    288275      this.splitContainer1.ResumeLayout(false);
    … …  
    307294    private System.Windows.Forms.SplitContainer splitContainer1;
    308295    private System.Windows.Forms.SplitContainer splitContainer2;
    309     private System.Windows.Forms.Label label2;
    310296    private System.Windows.Forms.Label label3;
    311297    private System.Windows.Forms.TreeView scopeTreeView;
    312     private System.Windows.Forms.TreeView executionStackTreeView;
    313298    private System.Windows.Forms.Button stepButton;
    314299    private System.Windows.Forms.Button updateButton;
    … …  
    319304    private System.Windows.Forms.SplitContainer splitContainer3;
    320305    private Core.Views.ParameterCollectionView parameterCollectionView;
     306    private HeuristicLab.DebugEngine.ExecutionStackView executionStackView;
    321307
    322308  }
Note: See TracChangeset for help on using the changeset viewer.