/// <summary>
/// Starts the P# static analysis process.
/// </summary>
public void Start()
{
if (!this.CompilationContext.Configuration.RunStaticAnalysis)
{
return;
}
foreach (var project in this.CompilationContext.GetSolution().Projects)
{
Output.PrintLine(". Analyzing " + project.Name);
this.AnalyzeProject(project);
}
// Prints error statistics and profiling results.
AnalysisErrorReporter.PrintStats();
}
/// <summary>
/// Starts the P# static analyser.
/// </summary>
public static void Run()
{
if (!Configuration.RunStaticAnalysis)
{
return;
}
foreach (var project in ProgramInfo.Solution.Projects)
{
Output.Print(". Analyzing " + project.Name);
StaticAnalyzer.AnalyseProgramUnit(project);
}
// Prints error statistics and profiling results.
AnalysisErrorReporter.PrintStats();
// Prints program statistics.
if (Configuration.ShowProgramStatistics)
{
AnalysisContext.PrintStatistics();
}
}
