private void buttonTrajectory_Click(object sender, EventArgs e)
{
if (MyBMC.isLabelValid(labelsComboBox.Text))
{
BooleanModelChecker.ControlFlowGraph.formattedCodeView formattedCode = MyBMC.getFormattedCode();
TrajectoryViewForm.codeView.Clear();
TrajectoryViewForm.codeView.AppendText(formattedCode.getProgramTextNumbered());
Trajectory labelTrajectory = MyBMC.BuildTrajectory(MyBMC.GetLabeledCFGNode(labelsComboBox.Text));
TrajectoryViewForm.trajectorDescription.Clear();
TrajectoryViewForm.trajectorDescription.AppendText("Trajectory printed with matching line numbers:\n\n");
TrajectoryViewForm.trajectorDescription.
AppendText(Trajectory.getTrajectoryPrintout(labelTrajectory, formattedCode.nodeToLine, MyBMC.BddToName));
TrajectoryViewForm.Show();
TrajectoryViewForm.WindowState = FormWindowState.Normal;
}
else
{
labelsComboBox.Text = "Invalid Label Selected!";
}
}
