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