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