Beispiel #1
0
        /// <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());
            }
        }