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.Show();
}
}
}
catch (Exception ex)
{
this.Cursor = Cursors.Default;
Common.Ultility.Ultility.LogException(ex, Spec);
}
}
private void Button_BAGraph_Click(object sender, EventArgs e)
{
do
{
if (ListView_Assertions.SelectedItems.Count == 0)
{
MessageBox.Show(Resources.Please_select_an_assertion_first, Common.Utility.Utilities.APPLICATION_NAME, MessageBoxButtons.OK, MessageBoxIcon.Error);
break;
}
try
{
if (this.ListView_Assertions.SelectedItems.Count == 1)
{
this.Cursor = Cursors.WaitCursor;
Graph g = mSpecWorker.mSpec.GenerateBAGraph(this.ListView_Assertions.SelectedItems[0].SubItems[2].Text);
this.Cursor = Cursors.Default;
if (g != null)
{
LTL2AutoamataConverter v = new LTL2AutoamataConverter(g.UserData.ToString(), "");
v.Show();
}
}
}
catch (Exception ex)
{
this.Cursor = Cursors.Default;
Common.Utility.Utilities.LogException(ex, mSpecWorker.mSpec);
}
} while (false);
}
