Add search facility

1 files changed, 121 insertions, 9 deletions

diff --git a/Source/ModelViewer/Main.Designer.cs b/Source/ModelViewer/Main.Designer.cs
index 46125e74..0bbf51c6 100644
--- a/Source/ModelViewer/Main.Designer.cs
+++ b/Source/ModelViewer/Main.Designer.cs
@@ -36,14 +36,26 @@
       this.columnHeader3 = ((System.Windows.Forms.ColumnHeader)(new System.Windows.Forms.ColumnHeader()));

       this.columnHeader1 = ((System.Windows.Forms.ColumnHeader)(new System.Windows.Forms.ColumnHeader()));

       this.columnHeader2 = ((System.Windows.Forms.ColumnHeader)(new System.Windows.Forms.ColumnHeader()));

+      this.splitContainer2 = new System.Windows.Forms.SplitContainer();

+      this.matchesList = new System.Windows.Forms.ListView();

+      this.columnHeader4 = ((System.Windows.Forms.ColumnHeader)(new System.Windows.Forms.ColumnHeader()));

+      this.columnHeader5 = ((System.Windows.Forms.ColumnHeader)(new System.Windows.Forms.ColumnHeader()));

+      this.linkLabel1 = new System.Windows.Forms.LinkLabel();

+      this.label1 = new System.Windows.Forms.Label();

+      this.textBox1 = new System.Windows.Forms.TextBox();

       ((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).BeginInit();

       this.splitContainer1.Panel1.SuspendLayout();

       this.splitContainer1.Panel2.SuspendLayout();

       this.splitContainer1.SuspendLayout();

+      ((System.ComponentModel.ISupportInitialize)(this.splitContainer2)).BeginInit();

+      this.splitContainer2.Panel1.SuspendLayout();

+      this.splitContainer2.Panel2.SuspendLayout();

+      this.splitContainer2.SuspendLayout();

       this.SuspendLayout();

       // 

       // currentStateView

       // 

+      this.currentStateView.BackColor = System.Drawing.SystemColors.Window;

       this.currentStateView.Columns.AddRange(new System.Windows.Forms.ColumnHeader[] {

             this.name,

             this.value,

@@ -57,16 +69,14 @@
       this.currentStateView.Name = "currentStateView";

       this.currentStateView.OwnerDraw = true;

       this.currentStateView.ShowItemToolTips = true;

-      this.currentStateView.Size = new System.Drawing.Size(614, 706);

+      this.currentStateView.Size = new System.Drawing.Size(721, 612);

       this.currentStateView.TabIndex = 0;

       this.currentStateView.UseCompatibleStateImageBehavior = false;

       this.currentStateView.View = System.Windows.Forms.View.Details;

       this.currentStateView.ColumnWidthChanged += new System.Windows.Forms.ColumnWidthChangedEventHandler(this.listView1_ColumnWidthChanged);

       this.currentStateView.DrawColumnHeader += new System.Windows.Forms.DrawListViewColumnHeaderEventHandler(this.listView1_DrawColumnHeader);

       this.currentStateView.DrawItem += new System.Windows.Forms.DrawListViewItemEventHandler(this.listView1_DrawItem);

-      this.currentStateView.DrawSubItem += new System.Windows.Forms.DrawListViewSubItemEventHandler(this.listView1_DrawSubItem);

       this.currentStateView.SelectedIndexChanged += new System.EventHandler(this.currentStateView_SelectedIndexChanged);

-      this.currentStateView.MouseMove += new System.Windows.Forms.MouseEventHandler(this.listView1_MouseMove);

       this.currentStateView.MouseUp += new System.Windows.Forms.MouseEventHandler(this.listView1_MouseUp);

       this.currentStateView.Resize += new System.EventHandler(this.listView1_Resize);

       // 

@@ -98,8 +108,8 @@
       // splitContainer1.Panel2

       // 

       this.splitContainer1.Panel2.Controls.Add(this.stateList);

-      this.splitContainer1.Size = new System.Drawing.Size(875, 706);

-      this.splitContainer1.SplitterDistance = 614;

+      this.splitContainer1.Size = new System.Drawing.Size(1028, 612);

+      this.splitContainer1.SplitterDistance = 721;

       this.splitContainer1.TabIndex = 1;

       // 

       // stateList

@@ -117,7 +127,7 @@
       this.stateList.MultiSelect = false;

       this.stateList.Name = "stateList";

       this.stateList.ShowItemToolTips = true;

-      this.stateList.Size = new System.Drawing.Size(257, 706);

+      this.stateList.Size = new System.Drawing.Size(303, 612);

       this.stateList.TabIndex = 0;

       this.stateList.UseCompatibleStateImageBehavior = false;

       this.stateList.View = System.Windows.Forms.View.Details;

@@ -138,18 +148,113 @@
       this.columnHeader2.Text = "Value";

       this.columnHeader2.Width = 116;

       // 

+      // splitContainer2

+      // 

+      this.splitContainer2.Dock = System.Windows.Forms.DockStyle.Fill;

+      this.splitContainer2.Location = new System.Drawing.Point(0, 0);

+      this.splitContainer2.Name = "splitContainer2";

+      this.splitContainer2.Orientation = System.Windows.Forms.Orientation.Horizontal;

+      // 

+      // splitContainer2.Panel1

+      // 

+      this.splitContainer2.Panel1.Controls.Add(this.splitContainer1);

+      // 

+      // splitContainer2.Panel2

+      // 

+      this.splitContainer2.Panel2.Controls.Add(this.matchesList);

+      this.splitContainer2.Panel2.Controls.Add(this.linkLabel1);

+      this.splitContainer2.Panel2.Controls.Add(this.label1);

+      this.splitContainer2.Panel2.Controls.Add(this.textBox1);

+      this.splitContainer2.Size = new System.Drawing.Size(1028, 796);

+      this.splitContainer2.SplitterDistance = 612;

+      this.splitContainer2.TabIndex = 1;

+      // 

+      // matchesList

+      // 

+      this.matchesList.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)

+                  | System.Windows.Forms.AnchorStyles.Left)

+                  | System.Windows.Forms.AnchorStyles.Right)));

+      this.matchesList.Columns.AddRange(new System.Windows.Forms.ColumnHeader[] {

+            this.columnHeader4,

+            this.columnHeader5});

+      this.matchesList.FullRowSelect = true;

+      this.matchesList.GridLines = true;

+      this.matchesList.HeaderStyle = System.Windows.Forms.ColumnHeaderStyle.None;

+      this.matchesList.Location = new System.Drawing.Point(0, 29);

+      this.matchesList.MultiSelect = false;

+      this.matchesList.Name = "matchesList";

+      this.matchesList.OwnerDraw = true;

+      this.matchesList.ShowItemToolTips = true;

+      this.matchesList.Size = new System.Drawing.Size(1028, 151);

+      this.matchesList.TabIndex = 4;

+      this.matchesList.UseCompatibleStateImageBehavior = false;

+      this.matchesList.View = System.Windows.Forms.View.Details;

+      this.matchesList.ColumnWidthChanged += new System.Windows.Forms.ColumnWidthChangedEventHandler(this.listView1_ColumnWidthChanged);

+      this.matchesList.DrawColumnHeader += new System.Windows.Forms.DrawListViewColumnHeaderEventHandler(this.listView1_DrawColumnHeader);

+      this.matchesList.DrawItem += new System.Windows.Forms.DrawListViewItemEventHandler(this.listView1_DrawItem);

+      this.matchesList.DoubleClick += new System.EventHandler(this.matchesList_DoubleClick);

+      this.matchesList.Resize += new System.EventHandler(this.matchesList_Resize);

+      // 

+      // columnHeader4

+      // 

+      this.columnHeader4.Text = "Name";

+      this.columnHeader4.Width = 300;

+      // 

+      // columnHeader5

+      // 

+      this.columnHeader5.Text = "Value";

+      this.columnHeader5.Width = 500;

+      // 

+      // linkLabel1

+      // 

+      this.linkLabel1.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));

+      this.linkLabel1.AutoSize = true;

+      this.linkLabel1.Location = new System.Drawing.Point(968, 5);

+      this.linkLabel1.Name = "linkLabel1";

+      this.linkLabel1.Size = new System.Drawing.Size(57, 13);

+      this.linkLabel1.TabIndex = 3;

+      this.linkLabel1.TabStop = true;

+      this.linkLabel1.Text = "Show All...";

+      this.linkLabel1.VisitedLinkColor = System.Drawing.Color.Blue;

+      this.linkLabel1.LinkClicked += new System.Windows.Forms.LinkLabelLinkClickedEventHandler(this.linkLabel1_LinkClicked);

+      // 

+      // label1

+      // 

+      this.label1.AutoSize = true;

+      this.label1.Location = new System.Drawing.Point(3, 5);

+      this.label1.Name = "label1";

+      this.label1.Size = new System.Drawing.Size(44, 13);

+      this.label1.TabIndex = 2;

+      this.label1.Text = "Search:";

+      // 

+      // textBox1

+      // 

+      this.textBox1.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)

+                  | System.Windows.Forms.AnchorStyles.Left)

+                  | System.Windows.Forms.AnchorStyles.Right)));

+      this.textBox1.Location = new System.Drawing.Point(53, 3);

+      this.textBox1.Name = "textBox1";

+      this.textBox1.Size = new System.Drawing.Size(909, 20);

+      this.textBox1.TabIndex = 1;

+      this.textBox1.TextChanged += new System.EventHandler(this.textBox1_TextChanged);

+      // 

       // Main

       // 

       this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);

       this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;

-      this.ClientSize = new System.Drawing.Size(875, 706);

-      this.Controls.Add(this.splitContainer1);

+      this.ClientSize = new System.Drawing.Size(1028, 796);

+      this.Controls.Add(this.splitContainer2);

       this.Name = "Main";

-      this.Text = "Boogie Model Viewer";

+      this.Text = "Boogie Verification Debugger";

       this.splitContainer1.Panel1.ResumeLayout(false);

       this.splitContainer1.Panel2.ResumeLayout(false);

       ((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).EndInit();

       this.splitContainer1.ResumeLayout(false);

+      this.splitContainer2.Panel1.ResumeLayout(false);

+      this.splitContainer2.Panel2.ResumeLayout(false);

+      this.splitContainer2.Panel2.PerformLayout();

+      ((System.ComponentModel.ISupportInitialize)(this.splitContainer2)).EndInit();

+      this.splitContainer2.ResumeLayout(false);

       this.ResumeLayout(false);

 

     }

@@ -165,6 +270,13 @@
     private System.Windows.Forms.ColumnHeader columnHeader2;

     private System.Windows.Forms.ColumnHeader columnHeader3;

     private System.Windows.Forms.ColumnHeader aliases;

+    private System.Windows.Forms.SplitContainer splitContainer2;

+    private System.Windows.Forms.ListView matchesList;

+    private System.Windows.Forms.ColumnHeader columnHeader4;

+    private System.Windows.Forms.ColumnHeader columnHeader5;

+    private System.Windows.Forms.LinkLabel linkLabel1;

+    private System.Windows.Forms.Label label1;

+    private System.Windows.Forms.TextBox textBox1;

 

 

   }