Esempio n. 1
0
        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!";
            }
        }