private void Init()
{
ProductionView.Clear();
FirstView.Clear();
VnBox.Text = "";
VtBox.Text = "";
ItemSetView.Clear();
TableView.Clear();
InBox.Text = "";
ProcessView.Clear();
}
private void BindProductionView()
{
ProductionView.GridLines = true;
ProductionView.View = View.Details;
ProductionView.Clear();
ProductionView.Columns.Add("Id", 40);
ProductionView.Columns.Add("产生式", 200);
int c = Analysis.CFG.Productions.Count, i = 0;
ListViewItem[] p = new ListViewItem[c];
foreach (Production pro in Analysis.CFG.Productions)
{
string[] a = new string[2];
a[0] = (i + 1).ToString();
a[1] = pro.ToString();
p[i] = new ListViewItem(a);
++i;
}
ProductionView.Items.AddRange(p);
}
