1 namespace Irony.GrammarExplorer {
2 partial class fmGrammarExplorer {
6 private System.ComponentModel.IContainer components = null;
12 protected override void Dispose(
bool disposing) {
13 if (disposing && (components != null))
17 base.Dispose(disposing);
20 #region Windows Form Designer generated code
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();
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;
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;
184 this.txtTerms.Dock = System.Windows.Forms.DockStyle.Fill;
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;
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;
208 this.txtNonTerms.Dock = System.Windows.Forms.DockStyle.Fill;
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;
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;
232 this.txtParserStates.Dock = System.Windows.Forms.DockStyle.Fill;
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;
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;
259 this.txtSource.Dock = System.Windows.Forms.DockStyle.Fill;
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);
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;
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);
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);
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);
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);
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);
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;
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;
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;
371 this.tvParseTree.Dock = System.Windows.Forms.DockStyle.Fill;
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);
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;
393 this.tvAst.Dock = System.Windows.Forms.DockStyle.Fill;
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);
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;
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;
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;
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);
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;
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);
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);
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:";
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);
507 this.menuGrammars.Items.AddRange(
new System.Windows.Forms.ToolStripItem[] {
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);
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);
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);
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);
538 this.dlgSelectAssembly.DefaultExt =
"dll";
539 this.dlgSelectAssembly.Filter =
"DLL files|*.dll|Exe files|*.exe";
540 this.dlgSelectAssembly.Title =
"Select Grammar Assembly ";
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;
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;
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;
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;
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:";
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";
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)";
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;
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:";
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:";
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)";
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:";
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)";
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:";
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:";
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";
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;
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);
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";
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;
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;
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;
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";
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);
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;
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;
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;
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";
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:";
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";
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:";
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";
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:";
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";
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:";
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";
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;
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;
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[] {
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);
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;
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;
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;
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;
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;
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";
1057 this.lstTokens.Dock = System.Windows.Forms.DockStyle.Fill;
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);
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;
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;
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)";
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;
1118 this.txtOutput.Dock = System.Windows.Forms.DockStyle.Fill;
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;
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;
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:";
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);
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);
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:";
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";
1194 this.AutoScaleDimensions =
new System.Drawing.SizeF(6
F, 13F);
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);
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;
SharpDX.DirectWrite.Font Font
override void Dispose(bool disposing)
Clean up any resources being used.
System.Windows.Point Point