private void InitGram() { g = new GrammarCompiler.Grammar(File.OpenText(grammar_name)); if (cbToQuantifiers.IsChecked.Value) { TransformStatistics stat = new ToQuantifiers().Transform(g); cbToQuantifiers.ToolTip = stat.ToString(); } }
private void useToQuantifiersTransformToolStripMenuItem_Click(object sender, EventArgs e) { useToQuantifiersTransformToolStripMenuItem.Checked ^= true; if (useToQuantifiersTransformToolStripMenuItem.Checked) { TransformStatistics stat = new ToQuantifiers().Transform(mGrammarDoc.mGrammar); MessageBox.Show(stat.ToString()); mGrammarDoc.RefreshGrammarTree(); } Settings.Default.Save(); }