Paradox Game Engine  v1.0.0 beta06
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Events Macros Pages
fmGrammarExplorer.Designer.cs
Go to the documentation of this file.
1 namespace Irony.GrammarExplorer {
2  partial class fmGrammarExplorer {
3  /// <summary>
4  /// Required designer variable.
5  /// </summary>
6  private System.ComponentModel.IContainer components = null;
7 
8  /// <summary>
9  /// Clean up any resources being used.
10  /// </summary>
11  /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
12  protected override void Dispose(bool disposing) {
13  if (disposing && (components != null))
14  {
15  components.Dispose();
16  }
17  base.Dispose(disposing);
18  }
19 
20  #region Windows Form Designer generated code
21 
22  /// <summary>
23  /// Required method for Designer support - do not modify
24  /// the contents of this method with the code editor.
25  /// </summary>
26  private void InitializeComponent() {
27  this.components = new System.ComponentModel.Container();
28  System.Windows.Forms.DataGridViewCellStyle dataGridViewCellStyle1 = new System.Windows.Forms.DataGridViewCellStyle();
29  System.Windows.Forms.DataGridViewCellStyle dataGridViewCellStyle2 = new System.Windows.Forms.DataGridViewCellStyle();
30  System.Windows.Forms.DataGridViewCellStyle dataGridViewCellStyle3 = new System.Windows.Forms.DataGridViewCellStyle();
31  System.Windows.Forms.DataGridViewCellStyle dataGridViewCellStyle4 = new System.Windows.Forms.DataGridViewCellStyle();
32  System.Windows.Forms.DataGridViewCellStyle dataGridViewCellStyle5 = new System.Windows.Forms.DataGridViewCellStyle();
33  System.Windows.Forms.DataGridViewCellStyle dataGridViewCellStyle6 = new System.Windows.Forms.DataGridViewCellStyle();
34  System.Windows.Forms.DataGridViewCellStyle dataGridViewCellStyle7 = new System.Windows.Forms.DataGridViewCellStyle();
35  System.Windows.Forms.DataGridViewCellStyle dataGridViewCellStyle8 = new System.Windows.Forms.DataGridViewCellStyle();
36  this.tabGrammar = new System.Windows.Forms.TabControl();
37  this.pageTerminals = new System.Windows.Forms.TabPage();
38  this.txtTerms = new System.Windows.Forms.TextBox();
39  this.pageNonTerms = new System.Windows.Forms.TabPage();
40  this.txtNonTerms = new System.Windows.Forms.TextBox();
41  this.pageParserStates = new System.Windows.Forms.TabPage();
42  this.txtParserStates = new System.Windows.Forms.TextBox();
43  this.pageTest = new System.Windows.Forms.TabPage();
44  this.txtSource = new System.Windows.Forms.RichTextBox();
45  this.panel1 = new System.Windows.Forms.Panel();
46  this.chkDisableHili = new System.Windows.Forms.CheckBox();
47  this.btnToXml = new System.Windows.Forms.Button();
48  this.btnRun = new System.Windows.Forms.Button();
49  this.btnFileOpen = new System.Windows.Forms.Button();
50  this.btnParse = new System.Windows.Forms.Button();
51  this.splitter3 = new System.Windows.Forms.Splitter();
52  this.tabOutput = new System.Windows.Forms.TabControl();
53  this.pageSyntaxTree = new System.Windows.Forms.TabPage();
54  this.tvParseTree = new System.Windows.Forms.TreeView();
55  this.pageAst = new System.Windows.Forms.TabPage();
56  this.tvAst = new System.Windows.Forms.TreeView();
57  this.chkParserTrace = new System.Windows.Forms.CheckBox();
58  this.pnlLang = new System.Windows.Forms.Panel();
59  this.chkAutoRefresh = new System.Windows.Forms.CheckBox();
60  this.btnManageGrammars = new System.Windows.Forms.Button();
61  this.lblSearchError = new System.Windows.Forms.Label();
62  this.btnSearch = new System.Windows.Forms.Button();
63  this.txtSearch = new System.Windows.Forms.TextBox();
64  this.label2 = new System.Windows.Forms.Label();
65  this.cboGrammars = new System.Windows.Forms.ComboBox();
66  this.menuGrammars = new System.Windows.Forms.ContextMenuStrip(this.components);
67  this.miAdd = new System.Windows.Forms.ToolStripMenuItem();
68  this.miRemove = new System.Windows.Forms.ToolStripMenuItem();
69  this.miRemoveAll = new System.Windows.Forms.ToolStripMenuItem();
70  this.dlgOpenFile = new System.Windows.Forms.OpenFileDialog();
71  this.dlgSelectAssembly = new System.Windows.Forms.OpenFileDialog();
72  this.splitBottom = new System.Windows.Forms.Splitter();
73  this.tabBottom = new System.Windows.Forms.TabControl();
74  this.pageLanguage = new System.Windows.Forms.TabPage();
75  this.grpLanguageInfo = new System.Windows.Forms.GroupBox();
76  this.label8 = new System.Windows.Forms.Label();
77  this.lblParserStateCount = new System.Windows.Forms.Label();
78  this.lblLanguageDescr = new System.Windows.Forms.Label();
79  this.txtGrammarComments = new System.Windows.Forms.TextBox();
80  this.label11 = new System.Windows.Forms.Label();
81  this.label9 = new System.Windows.Forms.Label();
82  this.lblLanguageVersion = new System.Windows.Forms.Label();
83  this.label10 = new System.Windows.Forms.Label();
84  this.lblLanguage = new System.Windows.Forms.Label();
85  this.label4 = new System.Windows.Forms.Label();
86  this.label6 = new System.Windows.Forms.Label();
87  this.lblParserConstrTime = new System.Windows.Forms.Label();
88  this.pageGrammarErrors = new System.Windows.Forms.TabPage();
89  this.gridGrammarErrors = new System.Windows.Forms.DataGridView();
90  this.dataGridViewTextBoxColumn2 = new System.Windows.Forms.DataGridViewTextBoxColumn();
91  this.dataGridViewTextBoxColumn5 = new System.Windows.Forms.DataGridViewTextBoxColumn();
92  this.dataGridViewTextBoxColumn6 = new System.Windows.Forms.DataGridViewTextBoxColumn();
93  this.pageParserOutput = new System.Windows.Forms.TabPage();
94  this.groupBox1 = new System.Windows.Forms.GroupBox();
95  this.gridCompileErrors = new System.Windows.Forms.DataGridView();
96  this.dataGridViewTextBoxColumn3 = new System.Windows.Forms.DataGridViewTextBoxColumn();
97  this.dataGridViewTextBoxColumn4 = new System.Windows.Forms.DataGridViewTextBoxColumn();
98  this.dataGridViewTextBoxColumn1 = new System.Windows.Forms.DataGridViewTextBoxColumn();
99  this.grpCompileInfo = new System.Windows.Forms.GroupBox();
100  this.label12 = new System.Windows.Forms.Label();
101  this.lblParseErrorCount = new System.Windows.Forms.Label();
102  this.label1 = new System.Windows.Forms.Label();
103  this.lblParseTime = new System.Windows.Forms.Label();
104  this.label7 = new System.Windows.Forms.Label();
105  this.lblSrcLineCount = new System.Windows.Forms.Label();
106  this.label3 = new System.Windows.Forms.Label();
107  this.lblSrcTokenCount = new System.Windows.Forms.Label();
108  this.pageParserTrace = new System.Windows.Forms.TabPage();
109  this.grpParserActions = new System.Windows.Forms.GroupBox();
110  this.gridParserTrace = new System.Windows.Forms.DataGridView();
111  this.State = new System.Windows.Forms.DataGridViewTextBoxColumn();
112  this.Stack = new System.Windows.Forms.DataGridViewTextBoxColumn();
113  this.Input = new System.Windows.Forms.DataGridViewTextBoxColumn();
114  this.Action = new System.Windows.Forms.DataGridViewTextBoxColumn();
115  this.splitter1 = new System.Windows.Forms.Splitter();
116  this.grpTokens = new System.Windows.Forms.GroupBox();
117  this.lstTokens = new System.Windows.Forms.ListBox();
118  this.pnlParserTraceTop = new System.Windows.Forms.Panel();
119  this.chkExcludeComments = new System.Windows.Forms.CheckBox();
120  this.lblTraceComment = new System.Windows.Forms.Label();
121  this.pageOutput = new System.Windows.Forms.TabPage();
122  this.txtOutput = new System.Windows.Forms.TextBox();
123  this.pnlRuntimeInfo = new System.Windows.Forms.Panel();
124  this.label13 = new System.Windows.Forms.Label();
125  this.lnkShowErrStack = new System.Windows.Forms.LinkLabel();
126  this.lnkShowErrLocation = new System.Windows.Forms.LinkLabel();
127  this.label5 = new System.Windows.Forms.Label();
128  this.lblRunTime = new System.Windows.Forms.Label();
129  this.tabGrammar.SuspendLayout();
130  this.pageTerminals.SuspendLayout();
131  this.pageNonTerms.SuspendLayout();
132  this.pageParserStates.SuspendLayout();
133  this.pageTest.SuspendLayout();
134  this.panel1.SuspendLayout();
135  this.tabOutput.SuspendLayout();
136  this.pageSyntaxTree.SuspendLayout();
137  this.pageAst.SuspendLayout();
138  this.pnlLang.SuspendLayout();
139  this.menuGrammars.SuspendLayout();
140  this.tabBottom.SuspendLayout();
141  this.pageLanguage.SuspendLayout();
142  this.grpLanguageInfo.SuspendLayout();
143  this.pageGrammarErrors.SuspendLayout();
144  ((System.ComponentModel.ISupportInitialize)(this.gridGrammarErrors)).BeginInit();
145  this.pageParserOutput.SuspendLayout();
146  this.groupBox1.SuspendLayout();
147  ((System.ComponentModel.ISupportInitialize)(this.gridCompileErrors)).BeginInit();
148  this.grpCompileInfo.SuspendLayout();
149  this.pageParserTrace.SuspendLayout();
150  this.grpParserActions.SuspendLayout();
151  ((System.ComponentModel.ISupportInitialize)(this.gridParserTrace)).BeginInit();
152  this.grpTokens.SuspendLayout();
153  this.pnlParserTraceTop.SuspendLayout();
154  this.pageOutput.SuspendLayout();
155  this.pnlRuntimeInfo.SuspendLayout();
156  this.SuspendLayout();
157  //
158  // tabGrammar
159  //
160  this.tabGrammar.Controls.Add(this.pageTerminals);
161  this.tabGrammar.Controls.Add(this.pageNonTerms);
162  this.tabGrammar.Controls.Add(this.pageParserStates);
163  this.tabGrammar.Controls.Add(this.pageTest);
164  this.tabGrammar.Dock = System.Windows.Forms.DockStyle.Fill;
165  this.tabGrammar.Location = new System.Drawing.Point(0, 29);
166  this.tabGrammar.Name = "tabGrammar";
167  this.tabGrammar.SelectedIndex = 0;
168  this.tabGrammar.Size = new System.Drawing.Size(1104, 464);
169  this.tabGrammar.TabIndex = 0;
170  //
171  // pageTerminals
172  //
173  this.pageTerminals.Controls.Add(this.txtTerms);
174  this.pageTerminals.Location = new System.Drawing.Point(4, 22);
175  this.pageTerminals.Name = "pageTerminals";
176  this.pageTerminals.Padding = new System.Windows.Forms.Padding(3);
177  this.pageTerminals.Size = new System.Drawing.Size(1096, 438);
178  this.pageTerminals.TabIndex = 5;
179  this.pageTerminals.Text = "Terminals";
180  this.pageTerminals.UseVisualStyleBackColor = true;
181  //
182  // txtTerms
183  //
184  this.txtTerms.Dock = System.Windows.Forms.DockStyle.Fill;
185  this.txtTerms.Font = new System.Drawing.Font("Courier New", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
186  this.txtTerms.HideSelection = false;
187  this.txtTerms.Location = new System.Drawing.Point(3, 3);
188  this.txtTerms.Multiline = true;
189  this.txtTerms.Name = "txtTerms";
190  this.txtTerms.ReadOnly = true;
191  this.txtTerms.ScrollBars = System.Windows.Forms.ScrollBars.Both;
192  this.txtTerms.Size = new System.Drawing.Size(1090, 432);
193  this.txtTerms.TabIndex = 2;
194  //
195  // pageNonTerms
196  //
197  this.pageNonTerms.Controls.Add(this.txtNonTerms);
198  this.pageNonTerms.Location = new System.Drawing.Point(4, 22);
199  this.pageNonTerms.Name = "pageNonTerms";
200  this.pageNonTerms.Padding = new System.Windows.Forms.Padding(3);
201  this.pageNonTerms.Size = new System.Drawing.Size(1096, 438);
202  this.pageNonTerms.TabIndex = 0;
203  this.pageNonTerms.Text = "Non-Terminals";
204  this.pageNonTerms.UseVisualStyleBackColor = true;
205  //
206  // txtNonTerms
207  //
208  this.txtNonTerms.Dock = System.Windows.Forms.DockStyle.Fill;
209  this.txtNonTerms.Font = new System.Drawing.Font("Courier New", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
210  this.txtNonTerms.HideSelection = false;
211  this.txtNonTerms.Location = new System.Drawing.Point(3, 3);
212  this.txtNonTerms.Multiline = true;
213  this.txtNonTerms.Name = "txtNonTerms";
214  this.txtNonTerms.ScrollBars = System.Windows.Forms.ScrollBars.Both;
215  this.txtNonTerms.Size = new System.Drawing.Size(1090, 432);
216  this.txtNonTerms.TabIndex = 1;
217  this.txtNonTerms.WordWrap = false;
218  //
219  // pageParserStates
220  //
221  this.pageParserStates.Controls.Add(this.txtParserStates);
222  this.pageParserStates.Location = new System.Drawing.Point(4, 22);
223  this.pageParserStates.Name = "pageParserStates";
224  this.pageParserStates.Padding = new System.Windows.Forms.Padding(3);
225  this.pageParserStates.Size = new System.Drawing.Size(1096, 438);
226  this.pageParserStates.TabIndex = 1;
227  this.pageParserStates.Text = "Parser States";
228  this.pageParserStates.UseVisualStyleBackColor = true;
229  //
230  // txtParserStates
231  //
232  this.txtParserStates.Dock = System.Windows.Forms.DockStyle.Fill;
233  this.txtParserStates.Font = new System.Drawing.Font("Courier New", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
234  this.txtParserStates.HideSelection = false;
235  this.txtParserStates.Location = new System.Drawing.Point(3, 3);
236  this.txtParserStates.Multiline = true;
237  this.txtParserStates.Name = "txtParserStates";
238  this.txtParserStates.ScrollBars = System.Windows.Forms.ScrollBars.Both;
239  this.txtParserStates.Size = new System.Drawing.Size(1090, 432);
240  this.txtParserStates.TabIndex = 2;
241  this.txtParserStates.WordWrap = false;
242  //
243  // pageTest
244  //
245  this.pageTest.Controls.Add(this.txtSource);
246  this.pageTest.Controls.Add(this.panel1);
247  this.pageTest.Controls.Add(this.splitter3);
248  this.pageTest.Controls.Add(this.tabOutput);
249  this.pageTest.Location = new System.Drawing.Point(4, 22);
250  this.pageTest.Name = "pageTest";
251  this.pageTest.Padding = new System.Windows.Forms.Padding(3);
252  this.pageTest.Size = new System.Drawing.Size(1096, 438);
253  this.pageTest.TabIndex = 4;
254  this.pageTest.Text = "Test";
255  this.pageTest.UseVisualStyleBackColor = true;
256  //
257  // txtSource
258  //
259  this.txtSource.Dock = System.Windows.Forms.DockStyle.Fill;
260  this.txtSource.Font = new System.Drawing.Font("Courier New", 9.75F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
261  this.txtSource.HideSelection = false;
262  this.txtSource.Location = new System.Drawing.Point(3, 33);
263  this.txtSource.Name = "txtSource";
264  this.txtSource.Size = new System.Drawing.Size(734, 402);
265  this.txtSource.TabIndex = 22;
266  this.txtSource.Text = "";
267  this.txtSource.TextChanged += new System.EventHandler(this.txtSource_TextChanged);
268  //
269  // panel1
270  //
271  this.panel1.Controls.Add(this.chkDisableHili);
272  this.panel1.Controls.Add(this.btnToXml);
273  this.panel1.Controls.Add(this.btnRun);
274  this.panel1.Controls.Add(this.btnFileOpen);
275  this.panel1.Controls.Add(this.btnParse);
276  this.panel1.Dock = System.Windows.Forms.DockStyle.Top;
277  this.panel1.Location = new System.Drawing.Point(3, 3);
278  this.panel1.Name = "panel1";
279  this.panel1.Size = new System.Drawing.Size(734, 30);
280  this.panel1.TabIndex = 2;
281  //
282  // chkDisableHili
283  //
284  this.chkDisableHili.AutoSize = true;
285  this.chkDisableHili.Location = new System.Drawing.Point(5, 7);
286  this.chkDisableHili.Name = "chkDisableHili";
287  this.chkDisableHili.Size = new System.Drawing.Size(150, 17);
288  this.chkDisableHili.TabIndex = 9;
289  this.chkDisableHili.Text = "Disable syntax highlighting";
290  this.chkDisableHili.UseVisualStyleBackColor = true;
291  this.chkDisableHili.CheckedChanged += new System.EventHandler(this.chkDisableHili_CheckedChanged);
292  //
293  // btnToXml
294  //
295  this.btnToXml.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
296  this.btnToXml.Location = new System.Drawing.Point(655, 3);
297  this.btnToXml.Name = "btnToXml";
298  this.btnToXml.Size = new System.Drawing.Size(65, 23);
299  this.btnToXml.TabIndex = 8;
300  this.btnToXml.Text = "->XML";
301  this.btnToXml.UseVisualStyleBackColor = true;
302  this.btnToXml.Click += new System.EventHandler(this.btnToXml_Click);
303  //
304  // btnRun
305  //
306  this.btnRun.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
307  this.btnRun.Location = new System.Drawing.Point(584, 3);
308  this.btnRun.Name = "btnRun";
309  this.btnRun.Size = new System.Drawing.Size(65, 23);
310  this.btnRun.TabIndex = 7;
311  this.btnRun.Text = "Run";
312  this.btnRun.UseVisualStyleBackColor = true;
313  this.btnRun.Click += new System.EventHandler(this.btnRun_Click);
314  //
315  // btnFileOpen
316  //
317  this.btnFileOpen.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
318  this.btnFileOpen.Location = new System.Drawing.Point(440, 3);
319  this.btnFileOpen.Name = "btnFileOpen";
320  this.btnFileOpen.Size = new System.Drawing.Size(65, 23);
321  this.btnFileOpen.TabIndex = 6;
322  this.btnFileOpen.Text = "Load ...";
323  this.btnFileOpen.UseVisualStyleBackColor = true;
324  this.btnFileOpen.Click += new System.EventHandler(this.btnFileOpen_Click);
325  //
326  // btnParse
327  //
328  this.btnParse.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
329  this.btnParse.Location = new System.Drawing.Point(511, 3);
330  this.btnParse.Name = "btnParse";
331  this.btnParse.Size = new System.Drawing.Size(67, 23);
332  this.btnParse.TabIndex = 1;
333  this.btnParse.Text = "Parse";
334  this.btnParse.UseVisualStyleBackColor = true;
335  this.btnParse.Click += new System.EventHandler(this.btnParse_Click);
336  //
337  // splitter3
338  //
339  this.splitter3.Dock = System.Windows.Forms.DockStyle.Right;
340  this.splitter3.Location = new System.Drawing.Point(737, 3);
341  this.splitter3.Name = "splitter3";
342  this.splitter3.Size = new System.Drawing.Size(6, 432);
343  this.splitter3.TabIndex = 14;
344  this.splitter3.TabStop = false;
345  //
346  // tabOutput
347  //
348  this.tabOutput.Controls.Add(this.pageSyntaxTree);
349  this.tabOutput.Controls.Add(this.pageAst);
350  this.tabOutput.Dock = System.Windows.Forms.DockStyle.Right;
351  this.tabOutput.Location = new System.Drawing.Point(743, 3);
352  this.tabOutput.Name = "tabOutput";
353  this.tabOutput.SelectedIndex = 0;
354  this.tabOutput.Size = new System.Drawing.Size(350, 432);
355  this.tabOutput.TabIndex = 13;
356  //
357  // pageSyntaxTree
358  //
359  this.pageSyntaxTree.Controls.Add(this.tvParseTree);
360  this.pageSyntaxTree.ForeColor = System.Drawing.SystemColors.ControlText;
361  this.pageSyntaxTree.Location = new System.Drawing.Point(4, 22);
362  this.pageSyntaxTree.Name = "pageSyntaxTree";
363  this.pageSyntaxTree.Padding = new System.Windows.Forms.Padding(3);
364  this.pageSyntaxTree.Size = new System.Drawing.Size(342, 406);
365  this.pageSyntaxTree.TabIndex = 1;
366  this.pageSyntaxTree.Text = "Parse Tree";
367  this.pageSyntaxTree.UseVisualStyleBackColor = true;
368  //
369  // tvParseTree
370  //
371  this.tvParseTree.Dock = System.Windows.Forms.DockStyle.Fill;
372  this.tvParseTree.Font = new System.Drawing.Font("Courier New", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
373  this.tvParseTree.Indent = 16;
374  this.tvParseTree.Location = new System.Drawing.Point(3, 3);
375  this.tvParseTree.Name = "tvParseTree";
376  this.tvParseTree.Size = new System.Drawing.Size(336, 400);
377  this.tvParseTree.TabIndex = 0;
378  this.tvParseTree.AfterSelect += new System.Windows.Forms.TreeViewEventHandler(this.tvParseTree_AfterSelect);
379  //
380  // pageAst
381  //
382  this.pageAst.Controls.Add(this.tvAst);
383  this.pageAst.Location = new System.Drawing.Point(4, 22);
384  this.pageAst.Name = "pageAst";
385  this.pageAst.Padding = new System.Windows.Forms.Padding(3);
386  this.pageAst.Size = new System.Drawing.Size(342, 406);
387  this.pageAst.TabIndex = 0;
388  this.pageAst.Text = "AST";
389  this.pageAst.UseVisualStyleBackColor = true;
390  //
391  // tvAst
392  //
393  this.tvAst.Dock = System.Windows.Forms.DockStyle.Fill;
394  this.tvAst.Font = new System.Drawing.Font("Courier New", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
395  this.tvAst.Indent = 16;
396  this.tvAst.Location = new System.Drawing.Point(3, 3);
397  this.tvAst.Name = "tvAst";
398  this.tvAst.Size = new System.Drawing.Size(336, 400);
399  this.tvAst.TabIndex = 1;
400  this.tvAst.AfterSelect += new System.Windows.Forms.TreeViewEventHandler(this.tvAst_AfterSelect);
401  //
402  // chkParserTrace
403  //
404  this.chkParserTrace.AutoSize = true;
405  this.chkParserTrace.Location = new System.Drawing.Point(3, 3);
406  this.chkParserTrace.Name = "chkParserTrace";
407  this.chkParserTrace.Size = new System.Drawing.Size(90, 17);
408  this.chkParserTrace.TabIndex = 0;
409  this.chkParserTrace.Text = "Enable Trace";
410  this.chkParserTrace.UseVisualStyleBackColor = true;
411  //
412  // pnlLang
413  //
414  this.pnlLang.Controls.Add(this.chkAutoRefresh);
415  this.pnlLang.Controls.Add(this.btnManageGrammars);
416  this.pnlLang.Controls.Add(this.lblSearchError);
417  this.pnlLang.Controls.Add(this.btnSearch);
418  this.pnlLang.Controls.Add(this.txtSearch);
419  this.pnlLang.Controls.Add(this.label2);
420  this.pnlLang.Controls.Add(this.cboGrammars);
421  this.pnlLang.Dock = System.Windows.Forms.DockStyle.Top;
422  this.pnlLang.Location = new System.Drawing.Point(0, 0);
423  this.pnlLang.Name = "pnlLang";
424  this.pnlLang.Size = new System.Drawing.Size(1104, 29);
425  this.pnlLang.TabIndex = 13;
426  //
427  // chkAutoRefresh
428  //
429  this.chkAutoRefresh.AutoSize = true;
430  this.chkAutoRefresh.Checked = true;
431  this.chkAutoRefresh.CheckState = System.Windows.Forms.CheckState.Checked;
432  this.chkAutoRefresh.Location = new System.Drawing.Point(323, 5);
433  this.chkAutoRefresh.Name = "chkAutoRefresh";
434  this.chkAutoRefresh.Size = new System.Drawing.Size(83, 17);
435  this.chkAutoRefresh.TabIndex = 13;
436  this.chkAutoRefresh.Text = "Auto-refresh";
437  this.chkAutoRefresh.UseVisualStyleBackColor = true;
438  //
439  // btnManageGrammars
440  //
441  this.btnManageGrammars.Location = new System.Drawing.Point(281, 2);
442  this.btnManageGrammars.Margin = new System.Windows.Forms.Padding(2);
443  this.btnManageGrammars.Name = "btnManageGrammars";
444  this.btnManageGrammars.Size = new System.Drawing.Size(28, 24);
445  this.btnManageGrammars.TabIndex = 12;
446  this.btnManageGrammars.Text = "...";
447  this.btnManageGrammars.UseVisualStyleBackColor = true;
448  this.btnManageGrammars.Click += new System.EventHandler(this.btnManageGrammars_Click);
449  //
450  // lblSearchError
451  //
452  this.lblSearchError.AutoSize = true;
453  this.lblSearchError.ForeColor = System.Drawing.Color.Red;
454  this.lblSearchError.Location = new System.Drawing.Point(731, 9);
455  this.lblSearchError.Margin = new System.Windows.Forms.Padding(2, 0, 2, 0);
456  this.lblSearchError.Name = "lblSearchError";
457  this.lblSearchError.Size = new System.Drawing.Size(54, 13);
458  this.lblSearchError.TabIndex = 11;
459  this.lblSearchError.Text = "Not found";
460  this.lblSearchError.Visible = false;
461  //
462  // btnSearch
463  //
464  this.btnSearch.Location = new System.Drawing.Point(672, 4);
465  this.btnSearch.Margin = new System.Windows.Forms.Padding(2);
466  this.btnSearch.Name = "btnSearch";
467  this.btnSearch.Size = new System.Drawing.Size(55, 23);
468  this.btnSearch.TabIndex = 10;
469  this.btnSearch.Text = "Find";
470  this.btnSearch.UseVisualStyleBackColor = true;
471  this.btnSearch.Click += new System.EventHandler(this.btnSearch_Click);
472  //
473  // txtSearch
474  //
475  this.txtSearch.AcceptsReturn = true;
476  this.txtSearch.DataBindings.Add(new System.Windows.Forms.Binding("Text", global::Irony.GrammarExplorer.Properties.Settings.Default, "SearchPattern", true, System.Windows.Forms.DataSourceUpdateMode.OnPropertyChanged));
477  this.txtSearch.Location = new System.Drawing.Point(545, 4);
478  this.txtSearch.Margin = new System.Windows.Forms.Padding(2);
479  this.txtSearch.Name = "txtSearch";
480  this.txtSearch.Size = new System.Drawing.Size(123, 20);
481  this.txtSearch.TabIndex = 8;
482  this.txtSearch.Text = global::Irony.GrammarExplorer.Properties.Settings.Default.SearchPattern;
483  this.txtSearch.KeyPress += new System.Windows.Forms.KeyPressEventHandler(this.txtSearch_KeyPress);
484  //
485  // label2
486  //
487  this.label2.AutoSize = true;
488  this.label2.Location = new System.Drawing.Point(24, 6);
489  this.label2.Name = "label2";
490  this.label2.Size = new System.Drawing.Size(52, 13);
491  this.label2.TabIndex = 4;
492  this.label2.Text = "Grammar:";
493  //
494  // cboGrammars
495  //
496  this.cboGrammars.ContextMenuStrip = this.menuGrammars;
497  this.cboGrammars.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList;
498  this.cboGrammars.FormattingEnabled = true;
499  this.cboGrammars.Location = new System.Drawing.Point(90, 3);
500  this.cboGrammars.Name = "cboGrammars";
501  this.cboGrammars.Size = new System.Drawing.Size(189, 21);
502  this.cboGrammars.TabIndex = 3;
503  this.cboGrammars.SelectedIndexChanged += new System.EventHandler(this.cboGrammars_SelectedIndexChanged);
504  //
505  // menuGrammars
506  //
507  this.menuGrammars.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
508  this.miAdd,
509  this.miRemove,
510  this.miRemoveAll});
511  this.menuGrammars.Name = "menuGrammars";
512  this.menuGrammars.Size = new System.Drawing.Size(164, 70);
513  this.menuGrammars.Opening += new System.ComponentModel.CancelEventHandler(this.menuGrammars_Opening);
514  //
515  // miAdd
516  //
517  this.miAdd.Name = "miAdd";
518  this.miAdd.Size = new System.Drawing.Size(163, 22);
519  this.miAdd.Text = "Add grammar...";
520  this.miAdd.Click += new System.EventHandler(this.miAdd_Click);
521  //
522  // miRemove
523  //
524  this.miRemove.Name = "miRemove";
525  this.miRemove.Size = new System.Drawing.Size(163, 22);
526  this.miRemove.Text = "Remove selected";
527  this.miRemove.Click += new System.EventHandler(this.miRemove_Click);
528  //
529  // miRemoveAll
530  //
531  this.miRemoveAll.Name = "miRemoveAll";
532  this.miRemoveAll.Size = new System.Drawing.Size(163, 22);
533  this.miRemoveAll.Text = "Remove all";
534  this.miRemoveAll.Click += new System.EventHandler(this.miRemoveAll_Click);
535  //
536  // dlgSelectAssembly
537  //
538  this.dlgSelectAssembly.DefaultExt = "dll";
539  this.dlgSelectAssembly.Filter = "DLL files|*.dll|Exe files|*.exe";
540  this.dlgSelectAssembly.Title = "Select Grammar Assembly ";
541  //
542  // splitBottom
543  //
544  this.splitBottom.BackColor = System.Drawing.SystemColors.Control;
545  this.splitBottom.BorderStyle = System.Windows.Forms.BorderStyle.Fixed3D;
546  this.splitBottom.Dock = System.Windows.Forms.DockStyle.Bottom;
547  this.splitBottom.Location = new System.Drawing.Point(0, 493);
548  this.splitBottom.Name = "splitBottom";
549  this.splitBottom.Size = new System.Drawing.Size(1104, 6);
550  this.splitBottom.TabIndex = 22;
551  this.splitBottom.TabStop = false;
552  //
553  // tabBottom
554  //
555  this.tabBottom.Controls.Add(this.pageLanguage);
556  this.tabBottom.Controls.Add(this.pageGrammarErrors);
557  this.tabBottom.Controls.Add(this.pageParserOutput);
558  this.tabBottom.Controls.Add(this.pageParserTrace);
559  this.tabBottom.Controls.Add(this.pageOutput);
560  this.tabBottom.Dock = System.Windows.Forms.DockStyle.Bottom;
561  this.tabBottom.Location = new System.Drawing.Point(0, 499);
562  this.tabBottom.Name = "tabBottom";
563  this.tabBottom.SelectedIndex = 0;
564  this.tabBottom.Size = new System.Drawing.Size(1104, 187);
565  this.tabBottom.TabIndex = 0;
566  //
567  // pageLanguage
568  //
569  this.pageLanguage.Controls.Add(this.grpLanguageInfo);
570  this.pageLanguage.Location = new System.Drawing.Point(4, 22);
571  this.pageLanguage.Name = "pageLanguage";
572  this.pageLanguage.Padding = new System.Windows.Forms.Padding(3);
573  this.pageLanguage.Size = new System.Drawing.Size(1096, 161);
574  this.pageLanguage.TabIndex = 1;
575  this.pageLanguage.Text = "Grammar Info";
576  this.pageLanguage.UseVisualStyleBackColor = true;
577  //
578  // grpLanguageInfo
579  //
580  this.grpLanguageInfo.Controls.Add(this.label8);
581  this.grpLanguageInfo.Controls.Add(this.lblParserStateCount);
582  this.grpLanguageInfo.Controls.Add(this.lblLanguageDescr);
583  this.grpLanguageInfo.Controls.Add(this.txtGrammarComments);
584  this.grpLanguageInfo.Controls.Add(this.label11);
585  this.grpLanguageInfo.Controls.Add(this.label9);
586  this.grpLanguageInfo.Controls.Add(this.lblLanguageVersion);
587  this.grpLanguageInfo.Controls.Add(this.label10);
588  this.grpLanguageInfo.Controls.Add(this.lblLanguage);
589  this.grpLanguageInfo.Controls.Add(this.label4);
590  this.grpLanguageInfo.Controls.Add(this.label6);
591  this.grpLanguageInfo.Controls.Add(this.lblParserConstrTime);
592  this.grpLanguageInfo.Dock = System.Windows.Forms.DockStyle.Fill;
593  this.grpLanguageInfo.Location = new System.Drawing.Point(3, 3);
594  this.grpLanguageInfo.Name = "grpLanguageInfo";
595  this.grpLanguageInfo.Size = new System.Drawing.Size(1090, 155);
596  this.grpLanguageInfo.TabIndex = 3;
597  this.grpLanguageInfo.TabStop = false;
598  //
599  // label8
600  //
601  this.label8.AutoSize = true;
602  this.label8.Location = new System.Drawing.Point(6, 113);
603  this.label8.Name = "label8";
604  this.label8.Size = new System.Drawing.Size(96, 13);
605  this.label8.TabIndex = 26;
606  this.label8.Text = "Parser state count:";
607  //
608  // lblParserStateCount
609  //
610  this.lblParserStateCount.AutoSize = true;
611  this.lblParserStateCount.Location = new System.Drawing.Point(167, 113);
612  this.lblParserStateCount.Name = "lblParserStateCount";
613  this.lblParserStateCount.Size = new System.Drawing.Size(13, 13);
614  this.lblParserStateCount.TabIndex = 25;
615  this.lblParserStateCount.Text = "0";
616  //
617  // lblLanguageDescr
618  //
619  this.lblLanguageDescr.Location = new System.Drawing.Point(107, 38);
620  this.lblLanguageDescr.Name = "lblLanguageDescr";
621  this.lblLanguageDescr.Size = new System.Drawing.Size(613, 22);
622  this.lblLanguageDescr.TabIndex = 24;
623  this.lblLanguageDescr.Text = "(description)";
624  //
625  // txtGrammarComments
626  //
627  this.txtGrammarComments.BackColor = System.Drawing.SystemColors.Window;
628  this.txtGrammarComments.BorderStyle = System.Windows.Forms.BorderStyle.None;
629  this.txtGrammarComments.Location = new System.Drawing.Point(111, 63);
630  this.txtGrammarComments.Multiline = true;
631  this.txtGrammarComments.Name = "txtGrammarComments";
632  this.txtGrammarComments.ReadOnly = true;
633  this.txtGrammarComments.Size = new System.Drawing.Size(609, 47);
634  this.txtGrammarComments.TabIndex = 23;
635  //
636  // label11
637  //
638  this.label11.AutoSize = true;
639  this.label11.Location = new System.Drawing.Point(6, 61);
640  this.label11.Name = "label11";
641  this.label11.Size = new System.Drawing.Size(99, 13);
642  this.label11.TabIndex = 22;
643  this.label11.Text = "Grammar Comment:";
644  //
645  // label9
646  //
647  this.label9.AutoSize = true;
648  this.label9.Location = new System.Drawing.Point(6, 38);
649  this.label9.Name = "label9";
650  this.label9.Size = new System.Drawing.Size(63, 13);
651  this.label9.TabIndex = 20;
652  this.label9.Text = "Description:";
653  //
654  // lblLanguageVersion
655  //
656  this.lblLanguageVersion.Location = new System.Drawing.Point(278, 16);
657  this.lblLanguageVersion.Name = "lblLanguageVersion";
658  this.lblLanguageVersion.Size = new System.Drawing.Size(80, 17);
659  this.lblLanguageVersion.TabIndex = 19;
660  this.lblLanguageVersion.Text = "(Version)";
661  //
662  // label10
663  //
664  this.label10.AutoSize = true;
665  this.label10.Location = new System.Drawing.Point(227, 16);
666  this.label10.Name = "label10";
667  this.label10.Size = new System.Drawing.Size(45, 13);
668  this.label10.TabIndex = 18;
669  this.label10.Text = "Version:";
670  //
671  // lblLanguage
672  //
673  this.lblLanguage.Location = new System.Drawing.Point(107, 16);
674  this.lblLanguage.Name = "lblLanguage";
675  this.lblLanguage.Size = new System.Drawing.Size(230, 17);
676  this.lblLanguage.TabIndex = 17;
677  this.lblLanguage.Text = "(Language name)";
678  //
679  // label4
680  //
681  this.label4.AutoSize = true;
682  this.label4.Location = new System.Drawing.Point(6, 16);
683  this.label4.Name = "label4";
684  this.label4.Size = new System.Drawing.Size(58, 13);
685  this.label4.TabIndex = 16;
686  this.label4.Text = "Language:";
687  //
688  // label6
689  //
690  this.label6.AutoSize = true;
691  this.label6.Location = new System.Drawing.Point(6, 132);
692  this.label6.Name = "label6";
693  this.label6.Size = new System.Drawing.Size(142, 13);
694  this.label6.TabIndex = 15;
695  this.label6.Text = "Parser construction time, ms:";
696  //
697  // lblParserConstrTime
698  //
699  this.lblParserConstrTime.AutoSize = true;
700  this.lblParserConstrTime.Location = new System.Drawing.Point(167, 132);
701  this.lblParserConstrTime.Name = "lblParserConstrTime";
702  this.lblParserConstrTime.Size = new System.Drawing.Size(13, 13);
703  this.lblParserConstrTime.TabIndex = 14;
704  this.lblParserConstrTime.Text = "0";
705  //
706  // pageGrammarErrors
707  //
708  this.pageGrammarErrors.Controls.Add(this.gridGrammarErrors);
709  this.pageGrammarErrors.Location = new System.Drawing.Point(4, 22);
710  this.pageGrammarErrors.Name = "pageGrammarErrors";
711  this.pageGrammarErrors.Padding = new System.Windows.Forms.Padding(3);
712  this.pageGrammarErrors.Size = new System.Drawing.Size(1096, 161);
713  this.pageGrammarErrors.TabIndex = 4;
714  this.pageGrammarErrors.Text = "Grammar Errors";
715  this.pageGrammarErrors.UseVisualStyleBackColor = true;
716  //
717  // gridGrammarErrors
718  //
719  this.gridGrammarErrors.AllowUserToAddRows = false;
720  this.gridGrammarErrors.AllowUserToDeleteRows = false;
721  this.gridGrammarErrors.ColumnHeadersHeight = 24;
722  this.gridGrammarErrors.ColumnHeadersHeightSizeMode = System.Windows.Forms.DataGridViewColumnHeadersHeightSizeMode.DisableResizing;
723  this.gridGrammarErrors.Columns.AddRange(new System.Windows.Forms.DataGridViewColumn[] {
724  this.dataGridViewTextBoxColumn2,
725  this.dataGridViewTextBoxColumn5,
726  this.dataGridViewTextBoxColumn6});
727  this.gridGrammarErrors.Dock = System.Windows.Forms.DockStyle.Fill;
728  this.gridGrammarErrors.Location = new System.Drawing.Point(3, 3);
729  this.gridGrammarErrors.MultiSelect = false;
730  this.gridGrammarErrors.Name = "gridGrammarErrors";
731  this.gridGrammarErrors.ReadOnly = true;
732  this.gridGrammarErrors.RowHeadersVisible = false;
733  this.gridGrammarErrors.SelectionMode = System.Windows.Forms.DataGridViewSelectionMode.CellSelect;
734  this.gridGrammarErrors.Size = new System.Drawing.Size(1090, 155);
735  this.gridGrammarErrors.TabIndex = 3;
736  this.gridGrammarErrors.CellDoubleClick += new System.Windows.Forms.DataGridViewCellEventHandler(this.gridGrammarErrors_CellDoubleClick);
737  //
738  // dataGridViewTextBoxColumn2
739  //
740  dataGridViewCellStyle1.Alignment = System.Windows.Forms.DataGridViewContentAlignment.MiddleLeft;
741  this.dataGridViewTextBoxColumn2.DefaultCellStyle = dataGridViewCellStyle1;
742  this.dataGridViewTextBoxColumn2.HeaderText = "Error Level";
743  this.dataGridViewTextBoxColumn2.Name = "dataGridViewTextBoxColumn2";
744  this.dataGridViewTextBoxColumn2.ReadOnly = true;
745  this.dataGridViewTextBoxColumn2.SortMode = System.Windows.Forms.DataGridViewColumnSortMode.NotSortable;
746  this.dataGridViewTextBoxColumn2.ToolTipText = "Double-click grid cell to locate in source code";
747  //
748  // dataGridViewTextBoxColumn5
749  //
750  dataGridViewCellStyle2.WrapMode = System.Windows.Forms.DataGridViewTriState.True;
751  this.dataGridViewTextBoxColumn5.DefaultCellStyle = dataGridViewCellStyle2;
752  this.dataGridViewTextBoxColumn5.HeaderText = "Description";
753  this.dataGridViewTextBoxColumn5.Name = "dataGridViewTextBoxColumn5";
754  this.dataGridViewTextBoxColumn5.ReadOnly = true;
755  this.dataGridViewTextBoxColumn5.SortMode = System.Windows.Forms.DataGridViewColumnSortMode.NotSortable;
756  this.dataGridViewTextBoxColumn5.Width = 800;
757  //
758  // dataGridViewTextBoxColumn6
759  //
760  this.dataGridViewTextBoxColumn6.AutoSizeMode = System.Windows.Forms.DataGridViewAutoSizeColumnMode.AllCells;
761  this.dataGridViewTextBoxColumn6.DataPropertyName = "State";
762  dataGridViewCellStyle3.Alignment = System.Windows.Forms.DataGridViewContentAlignment.MiddleLeft;
763  this.dataGridViewTextBoxColumn6.DefaultCellStyle = dataGridViewCellStyle3;
764  this.dataGridViewTextBoxColumn6.HeaderText = "Parser State";
765  this.dataGridViewTextBoxColumn6.Name = "dataGridViewTextBoxColumn6";
766  this.dataGridViewTextBoxColumn6.ReadOnly = true;
767  this.dataGridViewTextBoxColumn6.Resizable = System.Windows.Forms.DataGridViewTriState.True;
768  this.dataGridViewTextBoxColumn6.SortMode = System.Windows.Forms.DataGridViewColumnSortMode.NotSortable;
769  this.dataGridViewTextBoxColumn6.ToolTipText = "Double-click grid cell to navigate to state details";
770  this.dataGridViewTextBoxColumn6.Width = 71;
771  //
772  // pageParserOutput
773  //
774  this.pageParserOutput.Controls.Add(this.groupBox1);
775  this.pageParserOutput.Controls.Add(this.grpCompileInfo);
776  this.pageParserOutput.Location = new System.Drawing.Point(4, 22);
777  this.pageParserOutput.Name = "pageParserOutput";
778  this.pageParserOutput.Padding = new System.Windows.Forms.Padding(3);
779  this.pageParserOutput.Size = new System.Drawing.Size(1096, 161);
780  this.pageParserOutput.TabIndex = 2;
781  this.pageParserOutput.Text = "Parser Output";
782  this.pageParserOutput.UseVisualStyleBackColor = true;
783  //
784  // groupBox1
785  //
786  this.groupBox1.Controls.Add(this.gridCompileErrors);
787  this.groupBox1.Dock = System.Windows.Forms.DockStyle.Fill;
788  this.groupBox1.Location = new System.Drawing.Point(158, 3);
789  this.groupBox1.Name = "groupBox1";
790  this.groupBox1.Size = new System.Drawing.Size(935, 155);
791  this.groupBox1.TabIndex = 3;
792  this.groupBox1.TabStop = false;
793  this.groupBox1.Text = "Compile Errors";
794  //
795  // gridCompileErrors
796  //
797  this.gridCompileErrors.AllowUserToAddRows = false;
798  this.gridCompileErrors.AllowUserToDeleteRows = false;
799  this.gridCompileErrors.ColumnHeadersHeight = 24;
800  this.gridCompileErrors.ColumnHeadersHeightSizeMode = System.Windows.Forms.DataGridViewColumnHeadersHeightSizeMode.DisableResizing;
801  this.gridCompileErrors.Columns.AddRange(new System.Windows.Forms.DataGridViewColumn[] {
802  this.dataGridViewTextBoxColumn3,
803  this.dataGridViewTextBoxColumn4,
804  this.dataGridViewTextBoxColumn1});
805  this.gridCompileErrors.Dock = System.Windows.Forms.DockStyle.Fill;
806  this.gridCompileErrors.Location = new System.Drawing.Point(3, 16);
807  this.gridCompileErrors.MultiSelect = false;
808  this.gridCompileErrors.Name = "gridCompileErrors";
809  this.gridCompileErrors.ReadOnly = true;
810  this.gridCompileErrors.RowHeadersVisible = false;
811  this.gridCompileErrors.SelectionMode = System.Windows.Forms.DataGridViewSelectionMode.CellSelect;
812  this.gridCompileErrors.Size = new System.Drawing.Size(929, 136);
813  this.gridCompileErrors.TabIndex = 2;
814  this.gridCompileErrors.CellDoubleClick += new System.Windows.Forms.DataGridViewCellEventHandler(this.gridCompileErrors_CellDoubleClick);
815  //
816  // dataGridViewTextBoxColumn3
817  //
818  dataGridViewCellStyle4.Alignment = System.Windows.Forms.DataGridViewContentAlignment.MiddleLeft;
819  this.dataGridViewTextBoxColumn3.DefaultCellStyle = dataGridViewCellStyle4;
820  this.dataGridViewTextBoxColumn3.HeaderText = "L, C";
821  this.dataGridViewTextBoxColumn3.Name = "dataGridViewTextBoxColumn3";
822  this.dataGridViewTextBoxColumn3.ReadOnly = true;
823  this.dataGridViewTextBoxColumn3.SortMode = System.Windows.Forms.DataGridViewColumnSortMode.NotSortable;
824  this.dataGridViewTextBoxColumn3.ToolTipText = "Double-click grid cell to locate in source code";
825  this.dataGridViewTextBoxColumn3.Width = 50;
826  //
827  // dataGridViewTextBoxColumn4
828  //
829  dataGridViewCellStyle5.WrapMode = System.Windows.Forms.DataGridViewTriState.True;
830  this.dataGridViewTextBoxColumn4.DefaultCellStyle = dataGridViewCellStyle5;
831  this.dataGridViewTextBoxColumn4.HeaderText = "Error Message";
832  this.dataGridViewTextBoxColumn4.Name = "dataGridViewTextBoxColumn4";
833  this.dataGridViewTextBoxColumn4.ReadOnly = true;
834  this.dataGridViewTextBoxColumn4.SortMode = System.Windows.Forms.DataGridViewColumnSortMode.NotSortable;
835  this.dataGridViewTextBoxColumn4.Width = 600;
836  //
837  // dataGridViewTextBoxColumn1
838  //
839  this.dataGridViewTextBoxColumn1.AutoSizeMode = System.Windows.Forms.DataGridViewAutoSizeColumnMode.AllCells;
840  this.dataGridViewTextBoxColumn1.DataPropertyName = "State";
841  dataGridViewCellStyle6.Alignment = System.Windows.Forms.DataGridViewContentAlignment.MiddleLeft;
842  this.dataGridViewTextBoxColumn1.DefaultCellStyle = dataGridViewCellStyle6;
843  this.dataGridViewTextBoxColumn1.HeaderText = "Parser State";
844  this.dataGridViewTextBoxColumn1.Name = "dataGridViewTextBoxColumn1";
845  this.dataGridViewTextBoxColumn1.ReadOnly = true;
846  this.dataGridViewTextBoxColumn1.Resizable = System.Windows.Forms.DataGridViewTriState.True;
847  this.dataGridViewTextBoxColumn1.SortMode = System.Windows.Forms.DataGridViewColumnSortMode.NotSortable;
848  this.dataGridViewTextBoxColumn1.ToolTipText = "Double-click grid cell to navigate to state details";
849  this.dataGridViewTextBoxColumn1.Width = 71;
850  //
851  // grpCompileInfo
852  //
853  this.grpCompileInfo.Controls.Add(this.label12);
854  this.grpCompileInfo.Controls.Add(this.lblParseErrorCount);
855  this.grpCompileInfo.Controls.Add(this.label1);
856  this.grpCompileInfo.Controls.Add(this.lblParseTime);
857  this.grpCompileInfo.Controls.Add(this.label7);
858  this.grpCompileInfo.Controls.Add(this.lblSrcLineCount);
859  this.grpCompileInfo.Controls.Add(this.label3);
860  this.grpCompileInfo.Controls.Add(this.lblSrcTokenCount);
861  this.grpCompileInfo.Dock = System.Windows.Forms.DockStyle.Left;
862  this.grpCompileInfo.Location = new System.Drawing.Point(3, 3);
863  this.grpCompileInfo.Name = "grpCompileInfo";
864  this.grpCompileInfo.Size = new System.Drawing.Size(155, 155);
865  this.grpCompileInfo.TabIndex = 5;
866  this.grpCompileInfo.TabStop = false;
867  this.grpCompileInfo.Text = "Statistics";
868  //
869  // label12
870  //
871  this.label12.AutoSize = true;
872  this.label12.Location = new System.Drawing.Point(12, 81);
873  this.label12.Name = "label12";
874  this.label12.Size = new System.Drawing.Size(37, 13);
875  this.label12.TabIndex = 19;
876  this.label12.Text = "Errors:";
877  //
878  // lblParseErrorCount
879  //
880  this.lblParseErrorCount.AutoSize = true;
881  this.lblParseErrorCount.Location = new System.Drawing.Point(108, 81);
882  this.lblParseErrorCount.Name = "lblParseErrorCount";
883  this.lblParseErrorCount.Size = new System.Drawing.Size(13, 13);
884  this.lblParseErrorCount.TabIndex = 18;
885  this.lblParseErrorCount.Text = "0";
886  //
887  // label1
888  //
889  this.label1.AutoSize = true;
890  this.label1.Location = new System.Drawing.Point(12, 59);
891  this.label1.Name = "label1";
892  this.label1.Size = new System.Drawing.Size(82, 13);
893  this.label1.TabIndex = 17;
894  this.label1.Text = "Parse Time, ms:";
895  //
896  // lblParseTime
897  //
898  this.lblParseTime.AutoSize = true;
899  this.lblParseTime.Location = new System.Drawing.Point(108, 59);
900  this.lblParseTime.Name = "lblParseTime";
901  this.lblParseTime.Size = new System.Drawing.Size(13, 13);
902  this.lblParseTime.TabIndex = 16;
903  this.lblParseTime.Text = "0";
904  //
905  // label7
906  //
907  this.label7.AutoSize = true;
908  this.label7.Location = new System.Drawing.Point(12, 16);
909  this.label7.Name = "label7";
910  this.label7.Size = new System.Drawing.Size(35, 13);
911  this.label7.TabIndex = 15;
912  this.label7.Text = "Lines:";
913  //
914  // lblSrcLineCount
915  //
916  this.lblSrcLineCount.AutoSize = true;
917  this.lblSrcLineCount.Location = new System.Drawing.Point(108, 16);
918  this.lblSrcLineCount.Name = "lblSrcLineCount";
919  this.lblSrcLineCount.Size = new System.Drawing.Size(13, 13);
920  this.lblSrcLineCount.TabIndex = 14;
921  this.lblSrcLineCount.Text = "0";
922  //
923  // label3
924  //
925  this.label3.AutoSize = true;
926  this.label3.Location = new System.Drawing.Point(12, 37);
927  this.label3.Name = "label3";
928  this.label3.Size = new System.Drawing.Size(46, 13);
929  this.label3.TabIndex = 13;
930  this.label3.Text = "Tokens:";
931  //
932  // lblSrcTokenCount
933  //
934  this.lblSrcTokenCount.AutoSize = true;
935  this.lblSrcTokenCount.Location = new System.Drawing.Point(108, 37);
936  this.lblSrcTokenCount.Name = "lblSrcTokenCount";
937  this.lblSrcTokenCount.Size = new System.Drawing.Size(13, 13);
938  this.lblSrcTokenCount.TabIndex = 12;
939  this.lblSrcTokenCount.Text = "0";
940  //
941  // pageParserTrace
942  //
943  this.pageParserTrace.BorderStyle = System.Windows.Forms.BorderStyle.FixedSingle;
944  this.pageParserTrace.Controls.Add(this.grpParserActions);
945  this.pageParserTrace.Controls.Add(this.splitter1);
946  this.pageParserTrace.Controls.Add(this.grpTokens);
947  this.pageParserTrace.Controls.Add(this.pnlParserTraceTop);
948  this.pageParserTrace.Location = new System.Drawing.Point(4, 22);
949  this.pageParserTrace.Name = "pageParserTrace";
950  this.pageParserTrace.Padding = new System.Windows.Forms.Padding(3);
951  this.pageParserTrace.Size = new System.Drawing.Size(1096, 161);
952  this.pageParserTrace.TabIndex = 3;
953  this.pageParserTrace.Text = "Parser Trace";
954  this.pageParserTrace.UseVisualStyleBackColor = true;
955  //
956  // grpParserActions
957  //
958  this.grpParserActions.Controls.Add(this.gridParserTrace);
959  this.grpParserActions.Dock = System.Windows.Forms.DockStyle.Fill;
960  this.grpParserActions.Location = new System.Drawing.Point(3, 28);
961  this.grpParserActions.Name = "grpParserActions";
962  this.grpParserActions.Size = new System.Drawing.Size(804, 128);
963  this.grpParserActions.TabIndex = 4;
964  this.grpParserActions.TabStop = false;
965  //
966  // gridParserTrace
967  //
968  this.gridParserTrace.AllowUserToAddRows = false;
969  this.gridParserTrace.AllowUserToDeleteRows = false;
970  this.gridParserTrace.AllowUserToResizeRows = false;
971  this.gridParserTrace.ColumnHeadersHeight = 24;
972  this.gridParserTrace.ColumnHeadersHeightSizeMode = System.Windows.Forms.DataGridViewColumnHeadersHeightSizeMode.DisableResizing;
973  this.gridParserTrace.Columns.AddRange(new System.Windows.Forms.DataGridViewColumn[] {
974  this.State,
975  this.Stack,
976  this.Input,
977  this.Action});
978  this.gridParserTrace.Dock = System.Windows.Forms.DockStyle.Fill;
979  this.gridParserTrace.Location = new System.Drawing.Point(3, 16);
980  this.gridParserTrace.MultiSelect = false;
981  this.gridParserTrace.Name = "gridParserTrace";
982  this.gridParserTrace.ReadOnly = true;
983  this.gridParserTrace.RowHeadersVisible = false;
984  this.gridParserTrace.SelectionMode = System.Windows.Forms.DataGridViewSelectionMode.CellSelect;
985  this.gridParserTrace.Size = new System.Drawing.Size(798, 109);
986  this.gridParserTrace.TabIndex = 0;
987  this.gridParserTrace.CellDoubleClick += new System.Windows.Forms.DataGridViewCellEventHandler(this.gridParserTrace_CellDoubleClick);
988  //
989  // State
990  //
991  this.State.DataPropertyName = "State";
992  dataGridViewCellStyle7.Alignment = System.Windows.Forms.DataGridViewContentAlignment.MiddleLeft;
993  this.State.DefaultCellStyle = dataGridViewCellStyle7;
994  this.State.HeaderText = "State";
995  this.State.Name = "State";
996  this.State.ReadOnly = true;
997  this.State.Resizable = System.Windows.Forms.DataGridViewTriState.True;
998  this.State.SortMode = System.Windows.Forms.DataGridViewColumnSortMode.NotSortable;
999  this.State.ToolTipText = "Double-click grid cell to navigate to state details";
1000  this.State.Width = 60;
1001  //
1002  // Stack
1003  //
1004  this.Stack.DataPropertyName = "StackTop";
1005  dataGridViewCellStyle8.Alignment = System.Windows.Forms.DataGridViewContentAlignment.MiddleRight;
1006  this.Stack.DefaultCellStyle = dataGridViewCellStyle8;
1007  this.Stack.HeaderText = "Stack Top";
1008  this.Stack.Name = "Stack";
1009  this.Stack.ReadOnly = true;
1010  this.Stack.Resizable = System.Windows.Forms.DataGridViewTriState.True;
1011  this.Stack.SortMode = System.Windows.Forms.DataGridViewColumnSortMode.NotSortable;
1012  this.Stack.ToolTipText = "Double-click grid cell to locate node in source code";
1013  this.Stack.Width = 220;
1014  //
1015  // Input
1016  //
1017  this.Input.DataPropertyName = "Input";
1018  this.Input.HeaderText = "Input";
1019  this.Input.Name = "Input";
1020  this.Input.ReadOnly = true;
1021  this.Input.SortMode = System.Windows.Forms.DataGridViewColumnSortMode.NotSortable;
1022  this.Input.ToolTipText = "Double-click grid cell to locate in source code";
1023  this.Input.Width = 150;
1024  //
1025  // Action
1026  //
1027  this.Action.DataPropertyName = "Action";
1028  this.Action.HeaderText = "Action";
1029  this.Action.Name = "Action";
1030  this.Action.ReadOnly = true;
1031  this.Action.SortMode = System.Windows.Forms.DataGridViewColumnSortMode.NotSortable;
1032  this.Action.Width = 300;
1033  //
1034  // splitter1
1035  //
1036  this.splitter1.BackColor = System.Drawing.SystemColors.Control;
1037  this.splitter1.Dock = System.Windows.Forms.DockStyle.Right;
1038  this.splitter1.Location = new System.Drawing.Point(807, 28);
1039  this.splitter1.Name = "splitter1";
1040  this.splitter1.Size = new System.Drawing.Size(6, 128);
1041  this.splitter1.TabIndex = 15;
1042  this.splitter1.TabStop = false;
1043  //
1044  // grpTokens
1045  //
1046  this.grpTokens.Controls.Add(this.lstTokens);
1047  this.grpTokens.Dock = System.Windows.Forms.DockStyle.Right;
1048  this.grpTokens.Location = new System.Drawing.Point(813, 28);
1049  this.grpTokens.Name = "grpTokens";
1050  this.grpTokens.Size = new System.Drawing.Size(278, 128);
1051  this.grpTokens.TabIndex = 3;
1052  this.grpTokens.TabStop = false;
1053  this.grpTokens.Text = "Tokens";
1054  //
1055  // lstTokens
1056  //
1057  this.lstTokens.Dock = System.Windows.Forms.DockStyle.Fill;
1058  this.lstTokens.Font = new System.Drawing.Font("Courier New", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
1059  this.lstTokens.FormattingEnabled = true;
1060  this.lstTokens.ItemHeight = 14;
1061  this.lstTokens.Location = new System.Drawing.Point(3, 16);
1062  this.lstTokens.Name = "lstTokens";
1063  this.lstTokens.Size = new System.Drawing.Size(272, 109);
1064  this.lstTokens.TabIndex = 2;
1065  this.lstTokens.Click += new System.EventHandler(this.lstTokens_Click);
1066  //
1067  // pnlParserTraceTop
1068  //
1069  this.pnlParserTraceTop.BackColor = System.Drawing.SystemColors.Control;
1070  this.pnlParserTraceTop.BorderStyle = System.Windows.Forms.BorderStyle.FixedSingle;
1071  this.pnlParserTraceTop.Controls.Add(this.chkExcludeComments);
1072  this.pnlParserTraceTop.Controls.Add(this.lblTraceComment);
1073  this.pnlParserTraceTop.Controls.Add(this.chkParserTrace);
1074  this.pnlParserTraceTop.Dock = System.Windows.Forms.DockStyle.Top;
1075  this.pnlParserTraceTop.Location = new System.Drawing.Point(3, 3);
1076  this.pnlParserTraceTop.Name = "pnlParserTraceTop";
1077  this.pnlParserTraceTop.Size = new System.Drawing.Size(1088, 25);
1078  this.pnlParserTraceTop.TabIndex = 1;
1079  //
1080  // chkExcludeComments
1081  //
1082  this.chkExcludeComments.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
1083  this.chkExcludeComments.AutoSize = true;
1084  this.chkExcludeComments.Checked = true;
1085  this.chkExcludeComments.CheckState = System.Windows.Forms.CheckState.Checked;
1086  this.chkExcludeComments.Location = new System.Drawing.Point(929, 3);
1087  this.chkExcludeComments.Name = "chkExcludeComments";
1088  this.chkExcludeComments.Size = new System.Drawing.Size(145, 17);
1089  this.chkExcludeComments.TabIndex = 2;
1090  this.chkExcludeComments.Text = "Exclude comment tokens";
1091  this.chkExcludeComments.UseVisualStyleBackColor = true;
1092  //
1093  // lblTraceComment
1094  //
1095  this.lblTraceComment.AutoSize = true;
1096  this.lblTraceComment.Font = new System.Drawing.Font("Microsoft Sans Serif", 8.25F, System.Drawing.FontStyle.Italic, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
1097  this.lblTraceComment.ForeColor = System.Drawing.SystemColors.ControlDarkDark;
1098  this.lblTraceComment.Location = new System.Drawing.Point(128, 3);
1099  this.lblTraceComment.Name = "lblTraceComment";
1100  this.lblTraceComment.Size = new System.Drawing.Size(350, 13);
1101  this.lblTraceComment.TabIndex = 1;
1102  this.lblTraceComment.Text = "(Double-click grid cell to navigate to parser state or source code position)";
1103  //
1104  // pageOutput
1105  //
1106  this.pageOutput.Controls.Add(this.txtOutput);
1107  this.pageOutput.Controls.Add(this.pnlRuntimeInfo);
1108  this.pageOutput.Location = new System.Drawing.Point(4, 22);
1109  this.pageOutput.Name = "pageOutput";
1110  this.pageOutput.Padding = new System.Windows.Forms.Padding(3);
1111  this.pageOutput.Size = new System.Drawing.Size(1096, 161);
1112  this.pageOutput.TabIndex = 0;
1113  this.pageOutput.Text = "Runtime Output";
1114  this.pageOutput.UseVisualStyleBackColor = true;
1115  //
1116  // txtOutput
1117  //
1118  this.txtOutput.Dock = System.Windows.Forms.DockStyle.Fill;
1119  this.txtOutput.Font = new System.Drawing.Font("Courier New", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
1120  this.txtOutput.Location = new System.Drawing.Point(3, 3);
1121  this.txtOutput.Multiline = true;
1122  this.txtOutput.Name = "txtOutput";
1123  this.txtOutput.ReadOnly = true;
1124  this.txtOutput.ScrollBars = System.Windows.Forms.ScrollBars.Vertical;
1125  this.txtOutput.Size = new System.Drawing.Size(939, 155);
1126  this.txtOutput.TabIndex = 1;
1127  //
1128  // pnlRuntimeInfo
1129  //
1130  this.pnlRuntimeInfo.Controls.Add(this.label13);
1131  this.pnlRuntimeInfo.Controls.Add(this.lnkShowErrStack);
1132  this.pnlRuntimeInfo.Controls.Add(this.lnkShowErrLocation);
1133  this.pnlRuntimeInfo.Controls.Add(this.label5);
1134  this.pnlRuntimeInfo.Controls.Add(this.lblRunTime);
1135  this.pnlRuntimeInfo.Dock = System.Windows.Forms.DockStyle.Right;
1136  this.pnlRuntimeInfo.Location = new System.Drawing.Point(942, 3);
1137  this.pnlRuntimeInfo.Name = "pnlRuntimeInfo";
1138  this.pnlRuntimeInfo.Size = new System.Drawing.Size(151, 155);
1139  this.pnlRuntimeInfo.TabIndex = 2;
1140  //
1141  // label13
1142  //
1143  this.label13.AutoSize = true;
1144  this.label13.Location = new System.Drawing.Point(5, 24);
1145  this.label13.Name = "label13";
1146  this.label13.Size = new System.Drawing.Size(73, 13);
1147  this.label13.TabIndex = 22;
1148  this.label13.Text = "Runtime error:";
1149  //
1150  // lnkShowErrStack
1151  //
1152  this.lnkShowErrStack.AutoSize = true;
1153  this.lnkShowErrStack.Enabled = false;
1154  this.lnkShowErrStack.Location = new System.Drawing.Point(23, 69);
1155  this.lnkShowErrStack.Name = "lnkShowErrStack";
1156  this.lnkShowErrStack.Size = new System.Drawing.Size(79, 13);
1157  this.lnkShowErrStack.TabIndex = 21;
1158  this.lnkShowErrStack.TabStop = true;
1159  this.lnkShowErrStack.Text = "Show full stack";
1160  this.lnkShowErrStack.LinkClicked += new System.Windows.Forms.LinkLabelLinkClickedEventHandler(this.lnkShowErrStack_LinkClicked);
1161  //
1162  // lnkShowErrLocation
1163  //
1164  this.lnkShowErrLocation.AutoSize = true;
1165  this.lnkShowErrLocation.Enabled = false;
1166  this.lnkShowErrLocation.Location = new System.Drawing.Point(23, 45);
1167  this.lnkShowErrLocation.Name = "lnkShowErrLocation";
1168  this.lnkShowErrLocation.Size = new System.Drawing.Size(98, 13);
1169  this.lnkShowErrLocation.TabIndex = 20;
1170  this.lnkShowErrLocation.TabStop = true;
1171  this.lnkShowErrLocation.Text = "Show error location";
1172  this.lnkShowErrLocation.LinkClicked += new System.Windows.Forms.LinkLabelLinkClickedEventHandler(this.lnkShowErrLocation_LinkClicked);
1173  //
1174  // label5
1175  //
1176  this.label5.AutoSize = true;
1177  this.label5.Location = new System.Drawing.Point(5, 3);
1178  this.label5.Name = "label5";
1179  this.label5.Size = new System.Drawing.Size(98, 13);
1180  this.label5.TabIndex = 19;
1181  this.label5.Text = "Execution time, ms:";
1182  //
1183  // lblRunTime
1184  //
1185  this.lblRunTime.AutoSize = true;
1186  this.lblRunTime.Location = new System.Drawing.Point(123, 3);
1187  this.lblRunTime.Name = "lblRunTime";
1188  this.lblRunTime.Size = new System.Drawing.Size(13, 13);
1189  this.lblRunTime.TabIndex = 18;
1190  this.lblRunTime.Text = "0";
1191  //
1192  // fmGrammarExplorer
1193  //
1194  this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
1195  this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
1196  this.ClientSize = new System.Drawing.Size(1104, 686);
1197  this.Controls.Add(this.tabGrammar);
1198  this.Controls.Add(this.splitBottom);
1199  this.Controls.Add(this.pnlLang);
1200  this.Controls.Add(this.tabBottom);
1201  this.Name = "fmGrammarExplorer";
1202  this.StartPosition = System.Windows.Forms.FormStartPosition.CenterScreen;
1203  this.Text = "Irony Grammar Explorer";
1204  this.FormClosing += new System.Windows.Forms.FormClosingEventHandler(this.fmExploreGrammar_FormClosing);
1205  this.Load += new System.EventHandler(this.fmExploreGrammar_Load);
1206  this.tabGrammar.ResumeLayout(false);
1207  this.pageTerminals.ResumeLayout(false);
1208  this.pageTerminals.PerformLayout();
1209  this.pageNonTerms.ResumeLayout(false);
1210  this.pageNonTerms.PerformLayout();
1211  this.pageParserStates.ResumeLayout(false);
1212  this.pageParserStates.PerformLayout();
1213  this.pageTest.ResumeLayout(false);
1214  this.panel1.ResumeLayout(false);
1215  this.panel1.PerformLayout();
1216  this.tabOutput.ResumeLayout(false);
1217  this.pageSyntaxTree.ResumeLayout(false);
1218  this.pageAst.ResumeLayout(false);
1219  this.pnlLang.ResumeLayout(false);
1220  this.pnlLang.PerformLayout();
1221  this.menuGrammars.ResumeLayout(false);
1222  this.tabBottom.ResumeLayout(false);
1223  this.pageLanguage.ResumeLayout(false);
1224  this.grpLanguageInfo.ResumeLayout(false);
1225  this.grpLanguageInfo.PerformLayout();
1226  this.pageGrammarErrors.ResumeLayout(false);
1227  ((System.ComponentModel.ISupportInitialize)(this.gridGrammarErrors)).EndInit();
1228  this.pageParserOutput.ResumeLayout(false);
1229  this.groupBox1.ResumeLayout(false);
1230  ((System.ComponentModel.ISupportInitialize)(this.gridCompileErrors)).EndInit();
1231  this.grpCompileInfo.ResumeLayout(false);
1232  this.grpCompileInfo.PerformLayout();
1233  this.pageParserTrace.ResumeLayout(false);
1234  this.grpParserActions.ResumeLayout(false);
1235  ((System.ComponentModel.ISupportInitialize)(this.gridParserTrace)).EndInit();
1236  this.grpTokens.ResumeLayout(false);
1237  this.pnlParserTraceTop.ResumeLayout(false);
1238  this.pnlParserTraceTop.PerformLayout();
1239  this.pageOutput.ResumeLayout(false);
1240  this.pageOutput.PerformLayout();
1241  this.pnlRuntimeInfo.ResumeLayout(false);
1242  this.pnlRuntimeInfo.PerformLayout();
1243  this.ResumeLayout(false);
1244 
1245  }
1246 
1247  #endregion
1248 
1249  private System.Windows.Forms.TabControl tabGrammar;
1250  private System.Windows.Forms.TabPage pageNonTerms;
1251  private System.Windows.Forms.TabPage pageParserStates;
1252  private System.Windows.Forms.TextBox txtNonTerms;
1253  private System.Windows.Forms.TextBox txtParserStates;
1254  private System.Windows.Forms.Panel pnlLang;
1255  private System.Windows.Forms.ComboBox cboGrammars;
1256  private System.Windows.Forms.Label label2;
1257  private System.Windows.Forms.TabPage pageTest;
1258  private System.Windows.Forms.Splitter splitter3;
1259  private System.Windows.Forms.TabControl tabOutput;
1260  private System.Windows.Forms.TabPage pageAst;
1261  private System.Windows.Forms.TabPage pageSyntaxTree;
1262  private System.Windows.Forms.TreeView tvParseTree;
1263  private System.Windows.Forms.OpenFileDialog dlgOpenFile;
1264  private System.Windows.Forms.TabPage pageTerminals;
1265  private System.Windows.Forms.TextBox txtTerms;
1266  private System.Windows.Forms.Button btnSearch;
1267  private System.Windows.Forms.TextBox txtSearch;
1268  private System.Windows.Forms.Label lblSearchError;
1269  private System.Windows.Forms.Panel panel1;
1270  private System.Windows.Forms.Button btnRun;
1271  private System.Windows.Forms.CheckBox chkParserTrace;
1272  private System.Windows.Forms.Button btnFileOpen;
1273  private System.Windows.Forms.Button btnParse;
1274  private System.Windows.Forms.RichTextBox txtSource;
1275  private System.Windows.Forms.Button btnManageGrammars;
1276  private System.Windows.Forms.ContextMenuStrip menuGrammars;
1277  private System.Windows.Forms.ToolStripMenuItem miAdd;
1278  private System.Windows.Forms.ToolStripMenuItem miRemove;
1279  private System.Windows.Forms.OpenFileDialog dlgSelectAssembly;
1280  private System.Windows.Forms.ToolStripMenuItem miRemoveAll;
1281  private System.Windows.Forms.Button btnToXml;
1282  private System.Windows.Forms.TabControl tabBottom;
1283  private System.Windows.Forms.TabPage pageOutput;
1284  private System.Windows.Forms.TextBox txtOutput;
1285  private System.Windows.Forms.TabPage pageLanguage;
1286  private System.Windows.Forms.Splitter splitBottom;
1287  private System.Windows.Forms.GroupBox grpLanguageInfo;
1288  private System.Windows.Forms.Label label6;
1289  private System.Windows.Forms.Label lblParserConstrTime;
1290  private System.Windows.Forms.TabPage pageParserOutput;
1291  private System.Windows.Forms.TabPage pageParserTrace;
1292  private System.Windows.Forms.TreeView tvAst;
1293  private System.Windows.Forms.DataGridView gridParserTrace;
1294  private System.Windows.Forms.GroupBox grpTokens;
1295  private System.Windows.Forms.Panel pnlParserTraceTop;
1296  private System.Windows.Forms.GroupBox grpParserActions;
1297  private System.Windows.Forms.Splitter splitter1;
1298  private System.Windows.Forms.ListBox lstTokens;
1299  private System.Windows.Forms.Label lblTraceComment;
1300  private System.Windows.Forms.DataGridView gridCompileErrors;
1301  private System.Windows.Forms.CheckBox chkExcludeComments;
1302  private System.Windows.Forms.TabPage pageGrammarErrors;
1303  private System.Windows.Forms.DataGridView gridGrammarErrors;
1304  private System.Windows.Forms.GroupBox groupBox1;
1305  private System.Windows.Forms.Label label1;
1306  private System.Windows.Forms.Label lblParseTime;
1307  private System.Windows.Forms.Label label7;
1308  private System.Windows.Forms.Label lblSrcLineCount;
1309  private System.Windows.Forms.Label label3;
1310  private System.Windows.Forms.Label lblSrcTokenCount;
1311  private System.Windows.Forms.GroupBox grpCompileInfo;
1312  private System.Windows.Forms.Label lblLanguage;
1313  private System.Windows.Forms.Label label4;
1314  private System.Windows.Forms.Panel pnlRuntimeInfo;
1315  private System.Windows.Forms.Label label5;
1316  private System.Windows.Forms.Label lblRunTime;
1317  private System.Windows.Forms.TextBox txtGrammarComments;
1318  private System.Windows.Forms.Label label11;
1319  private System.Windows.Forms.Label label9;
1320  private System.Windows.Forms.Label lblLanguageVersion;
1321  private System.Windows.Forms.Label label10;
1322  private System.Windows.Forms.Label label12;
1323  private System.Windows.Forms.Label lblParseErrorCount;
1324  private System.Windows.Forms.Label lblLanguageDescr;
1325  private System.Windows.Forms.LinkLabel lnkShowErrLocation;
1326  private System.Windows.Forms.CheckBox chkDisableHili;
1327  private System.Windows.Forms.LinkLabel lnkShowErrStack;
1328  private System.Windows.Forms.Label label13;
1329  private System.Windows.Forms.DataGridViewTextBoxColumn State;
1330  private System.Windows.Forms.DataGridViewTextBoxColumn Stack;
1331  private System.Windows.Forms.DataGridViewTextBoxColumn Input;
1332  private System.Windows.Forms.DataGridViewTextBoxColumn Action;
1333  private System.Windows.Forms.Label label8;
1334  private System.Windows.Forms.Label lblParserStateCount;
1335  private System.Windows.Forms.DataGridViewTextBoxColumn dataGridViewTextBoxColumn2;
1336  private System.Windows.Forms.DataGridViewTextBoxColumn dataGridViewTextBoxColumn5;
1337  private System.Windows.Forms.DataGridViewTextBoxColumn dataGridViewTextBoxColumn6;
1338  private System.Windows.Forms.DataGridViewTextBoxColumn dataGridViewTextBoxColumn3;
1339  private System.Windows.Forms.DataGridViewTextBoxColumn dataGridViewTextBoxColumn4;
1340  private System.Windows.Forms.DataGridViewTextBoxColumn dataGridViewTextBoxColumn1;
1341  private System.Windows.Forms.CheckBox chkAutoRefresh;
1342 
1343  }
1344 }
1345 
SharpDX.DirectWrite.Font Font
override void Dispose(bool disposing)
Clean up any resources being used.
System.Windows.Point Point
Definition: ColorPicker.cs:15