private void Button_BAGraph_Click(object sender, EventArgs e)
{
if (this.ListView_Assertions.SelectedItems.Count == 0)
{
MessageBox.Show(Resources.Please_select_an_assertion_first, Common.Ultility.Ultility.APPLICATION_NAME, MessageBoxButtons.OK, MessageBoxIcon.Error);
return;
}
try
{
if (this.ListView_Assertions.SelectedItems.Count == 1)
{
this.Cursor = Cursors.WaitCursor;
Graph g = Spec.GenerateBAGraph(this.ListView_Assertions.SelectedItems[0].SubItems[2].Text);
this.Cursor = Cursors.Default;
if (g != null)
{
LTL2AutoamataConverter v = new LTL2AutoamataConverter(g.UserData.ToString(), "");
//v.gViewer.Graph = g;
//v.TextBox_Prop.Text = g.UserData.ToString();
//v.gViewer.AutoSize = true;
v.Show();
}
}
}
catch (Exception ex)
{
this.Cursor = Cursors.Default;
Common.Ultility.Ultility.LogException(ex, Spec);
//MessageBox.Show("Exception happened: " + ex.Message + "\r\n" + ex.StackTrace, "PAT", MessageBoxButtons.OK, MessageBoxIcon.Error);
}
}
private void MenuButton_LTL2BA_Click(object sender, EventArgs e)
{
try
{
LTL2AutoamataConverter oForm = new LTL2AutoamataConverter("", GetOption());
oForm.Show();
}
catch (Exception ex) { Utilities.LogException(ex, null); }
}
