/// <summary> /// Cancels the running VCC Process, if it exists /// </summary> internal static void Cancel() { if (VCCRunning) { int vccProcess_Id = vccProcess.Id; try { vccProcess.Kill(); }//try catch { VSIntegration.WriteToPane("Canceling VCC failed."); }//catch foreach (Process subProcess in Process.GetProcesses()) { if (GetParentProcess(subProcess.Id) == vccProcess_Id) { try { subProcess.Kill(); } catch { VSIntegration.WriteToPane("Canceling a subprocess of VCC failed."); } } //if } //foreach } //if } //method
private static void vccProcess_OutputDataReceived(object sender, DataReceivedEventArgs e) { //// Write Output from VCC to Verification Outputpane if (e != null && e.Data != null) { VSIntegration.WriteToPane(e.Data); Match match; if ((match = VCCErrorRegEx.Match(e.Data)).Success) { //// Add error to error list VSIntegration.AddErrorToErrorList( match.Groups["path"].Value, match.Groups["errormessage"].Value, Int32.Parse(match.Groups["line"].Value), Microsoft.VisualStudio.Shell.TaskErrorCategory.Error); } else if ((match = VCCWarningRegEx.Match(e.Data)).Success) { //// Add warning to error list VSIntegration.AddErrorToErrorList( match.Groups["path"].Value, match.Groups["errormessage"].Value, Int32.Parse(match.Groups["line"].Value), Microsoft.VisualStudio.Shell.TaskErrorCategory.Warning); } } }
internal static void LaunchVCC(string arguments) { var vccPath = VccPath; arguments += " "; arguments += VSIntegration.CurrentCompilerSettings.ToVccOptions(); var clPath = GetCLPath(VSIntegration.CurrentPlatform); if (clPath != null) { arguments += String.Format(" /clpath:\"{0}\"", clPath); } VSIntegration.ClearErrorsAndMarkers(); VSIntegration.UpdateStatus("Verifying...", true); //// Prepare VCC-Process, execute it and read its Output ProcessStartInfo psi = new ProcessStartInfo(string.Format("\"{0}\"", vccPath), arguments) { UseShellExecute = false, RedirectStandardOutput = true, RedirectStandardError = true, CreateNoWindow = true }; vccProcess = new Process { StartInfo = psi }; //// Clear Verification Outputpane VSIntegration.ClearAndShowPane(); VSIntegration.WriteToPane("=== VCC started. ==="); //// Write Commandline-Command to Verification Outputpane VSIntegration.WriteToPane(string.Format("Command Line: \"{0}\" {1}\n", vccPath, arguments)); //// Get notified when VCC sends Output or Error Data vccProcess.OutputDataReceived += vccProcess_OutputDataReceived; vccProcess.ErrorDataReceived += vccProcess_OutputDataReceived; //// Get notified when VCC-Process finishes. vccProcess.EnableRaisingEvents = true; vccProcess.Exited += vccProcess_Exited; //// Finally start the process try { vccProcess.Start(); vccProcess.BeginOutputReadLine(); vccProcess.BeginErrorReadLine(); //// When the process was started, remember the cmdlinearguments VSPackagePackage.LastAction = arguments; } catch (Exception) { vccProcess = null; VSIntegration.WriteToPane("Executing\n" + vccPath + "\nfailed.\n" + "You can specify the folder in which the VCC executable is located in Tools/Options/Vcc."); VSIntegration.WriteToPane("=== Verification failed. ==="); VSIntegration.UpdateStatus("Verification failed.", false); } }
private static void vccProcess_Exited(object sender, EventArgs e) { if (vccProcess != null) { if (VSPackagePackage.Instance.OptionPage.ShowNotifications && new IntPtr(VSIntegration.DTE.MainWindow.HWnd) != GetForegroundWindow()) { if (vccProcess.ExitCode == 0) { notifyIcon.Value.ShowBalloonTip(4000, "Verification succeeded!", "Verification run completed successfully.", ToolTipIcon.Info); } else { notifyIcon.Value.ShowBalloonTip(4000, "Verification failed!", "Verification run completed with errors.", ToolTipIcon.Error); } } switch (vccProcess.ExitCode) { case -1: vccProcess.CancelOutputRead(); vccProcess.CancelErrorRead(); vccProcess = null; VSIntegration.WriteToPane("\n=== VCC was canceled. ==="); VSIntegration.UpdateStatus("Verification canceled.", false); break; case 0: Thread.Sleep(1000); VSIntegration.WriteToPane("\n=== Verification succeeded. ==="); VSIntegration.UpdateStatus("Verification succeeded.", false); break; case 2: Thread.Sleep(1000); VSIntegration.WriteToPane("Incorrect commandline arguments were used."); VSIntegration.WriteToPane("\n=== Verification failed. ===\n"); VSIntegration.UpdateStatus("Verification failed.", false); break; case 1: case 3: Thread.Sleep(1000); VSIntegration.WriteToPane("\n=== Verification failed. ==="); VSIntegration.UpdateStatus("Verification failed.", false); break; default: Thread.Sleep(1000); VSIntegration.WriteToPane("\n=== VCC finished with unknown exitcode. ==="); VSIntegration.WriteToPane(vccProcess.ExitCode.ToString()); break; } } }
private void CustomVerify(object sender, EventArgs e) { if (OptionPage != null) { if (!VSIntegration.DocumentsSavedCheck(OptionPage)) { return; } VCCLauncher.CustomVerify(VSIntegration.StartFileName, OptionPage); } }
private void VerifyThis(object sender, EventArgs e) { if (OptionPage != null) { if (!VSIntegration.DocumentsSavedCheck(OptionPage)) { return; } VCCLauncher.VerifyThis(VSIntegration.StartFileName, VSIntegration.ActiveFileFullName, VSIntegration.CurrentLine, OptionPage); } }
private void ReVerify(object sender, EventArgs e) { if (OptionPage != null) { if (!VSIntegration.DocumentsSavedCheck(OptionPage)) { return; } VCCLauncher.LaunchVCC(LastAction); } }
private void InsertUnion(object sender, EventArgs e) { VSIntegration.InsertIntoCurrentDocument("∪"); }
private void InsertLambda(object sender, EventArgs e) { VSIntegration.InsertIntoCurrentDocument("λ"); }
private void InsertExists(object sender, EventArgs e) { VSIntegration.InsertIntoCurrentDocument("∃"); }
private void InsertForall(object sender, EventArgs e) { VSIntegration.InsertIntoCurrentDocument("∀"); }