/// <summary>
/// Starts the P# static analysis process.
/// </summary>
public void Start()
{
IO.PrintLine(". Analyzing");
// Creates and runs a P# static analysis engine.
StaticAnalysisEngine.Create(this.CompilationContext).Run();
if (AnalysisErrorReporter.GetErrorCount() > 0 ||
(this.CompilationContext.Configuration.ShowWarnings &&
AnalysisErrorReporter.GetWarningCount() > 0))
{
IO.Error.ReportAndExit(AnalysisErrorReporter.GetStats());
}
}