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); } }