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
});
}
}