private void noLambdaProductionsButton_Click(object sender, EventArgs e) { Grammar g = GrammarAlgorithms.EliminateLambdaProductions(GrammarProvider.GetGrammar()); grammarInfoWebBrowser.DocumentText = g.GrammarInfoAsHTML(); if (grammarSaveFileDialog.ShowDialog() == DialogResult.OK) { g.SaveToJson(grammarSaveFileDialog.FileName); } }
private void saveButton_Click(object sender, EventArgs e) { g.SaveToJson(Properties.Resources.DefaultGrammarLocation); }