private void updateGUI() { var sol = CoverageEnvironment.hasSolution(); var locked = CoverageEnvironment.runner != null && CoverageEnvironment.runner.isRunning(); this.CleanCoverage.IsEnabled = sol && !locked; this.StopCoverage.IsEnabled = sol && locked; this.UpdateCoverage.IsEnabled = sol && !locked; }
private void readCoverageFile() { if (!CoverageEnvironment.hasSolution()) { return; } var files = System.IO.Directory.GetFiles(CoverageEnvironment.workingCoverageDir, "*.*", System.IO.SearchOption.AllDirectories) .Where(s => s.EndsWith(".cov")); coverageFiles.Items.Clear(); foreach (var file in files) { this.coverageFiles.Items.Add(new CoverageItem { Name = System.IO.Path.GetFileNameWithoutExtension(file), RealPath = file }); } }