private void Button_Verify_Click(object sender, EventArgs e) { try { if (Button_Verify.Text == STOP) { if (Assertion != null) { Button_Verify.Enabled = false; Assertion.Cancel(); } } else { if (ListView_Assertions.SelectedItems.Count == 0) { MessageBox.Show(Resources.Please_select_an_assertion_first, Common.Ultility.Ultility.APPLICATION_NAME, MessageBoxButtons.OK, MessageBoxIcon.Error); return; } VerificationIndex = 0; StartVerification(ListView_Assertions.SelectedItems[VerificationIndex]); } } catch (Exception ex) { Common.Ultility.Ultility.LogException(ex, Spec); } }
private void Button_Verify_Click(object sender, EventArgs e) { try { if (Button_Verify.Text == STOP) { if (Assertion != null) { FileIndex = ListView_Assertions.Items.Count; AssertionIndex = 0; Button_Verify.Enabled = false; Assertion.Cancel(); } } else { if (this.ListView_Assertions.Items.Count == 0) { MessageBox.Show(Resources.Please_select_some_input_files_, Common.Utility.Utilities.APPLICATION_NAME, MessageBoxButtons.OK, MessageBoxIcon.Error); return; } if (string.IsNullOrEmpty(this.TextBox_OutputFile.Text)) { MessageBox.Show(Resources.Please_input_a_valid_output_file_, Common.Utility.Utilities.APPLICATION_NAME, MessageBoxButtons.OK, MessageBoxIcon.Error); return; } if (Common.Classes.Ultility.Ultility.ShareDataLock != null) { MessageBox.Show(Resources.Please_stop_verification_or_simulation_before_parsing_the_model_, Common.Utility.Utilities.APPLICATION_NAME, MessageBoxButtons.OK, MessageBoxIcon.Exclamation); return; } OutputWriter = new StreamWriter(this.TextBox_OutputFile.Text, false, Encoding.UTF8); FileIndex = 0; AssertionIndex = 0; foreach (ListViewItem item in this.ListView_Assertions.Items) { item.ImageIndex = UNKNOWN_ICON; } DisableAllControls(); StartVerification(false, true); } } catch (Exception ex) { Common.Utility.Utilities.LogException(ex, Spec); } }
public void cancelAssertion() { if (mAssertion != null) { mAssertion.Cancel(); } }