private void btnCheckAcceptance_Click(object sender, RoutedEventArgs e)
{
bool result;
if (mode != modes.Pda)
{
blackenAllTransitions();
}
if (txtStringToBeAccepted.Text == "")
{
txtStringToBeAccepted.Focus();
return;
}
if (mode == modes.Pda)
{
if (pda.isErroneous())
{
return;
}
result = pda.checkStringAcceptance(txtStringToBeAccepted.Text);
}
else
{
if (diagram.isErroneous())
{
return;
}
result = diagram.checkStringAcceptance(txtStringToBeAccepted.Text);
}
if (mode != modes.Pda)
{
highlightTraversedPath(result);
}
if (result == true)
{
lblAcceptanceResult.Foreground = Brushes.Green;
lblAcceptanceResult.Content = "Accepted";
}
else
{
lblAcceptanceResult.Foreground = Brushes.Red;
lblAcceptanceResult.Content = "Rejected";
}
}
