/// <summary>
/// Constructor.
/// </summary>
/// <param name="configuration">Configuration</param>
private CompilationContext(LanguageServicesConfiguration configuration)
{
this.Configuration = configuration;
this.ActiveCompilationTarget = configuration.CompilationTargets.First();
this.SolutionMap = new Dictionary <CompilationTarget, Solution>();
this.PSharpProjectMap = new Dictionary <CompilationTarget, List <PSharpProject> >();
}
/// <summary>
/// Constructor.
/// </summary>
/// <param name="configuration">Configuration</param>
/// <param name="project">Project</param>
private AnalysisContext(LanguageServicesConfiguration configuration, Project project)
{
this.Configuration = configuration;
this.Solution = project.Solution;
this.Compilation = project.GetCompilationAsync().Result;
this.Machines = new List <ClassDeclarationSyntax>();
this.MachineInheritance = new Dictionary <ClassDeclarationSyntax, ClassDeclarationSyntax>();
this.MachineActions = new Dictionary <ClassDeclarationSyntax, List <string> >();
this.Summaries = new Dictionary <BaseMethodDeclarationSyntax, MethodSummary>();
this.StateTransitionGraphs = new Dictionary <ClassDeclarationSyntax, StateTransitionGraphNode>();
// Finds all the machines in the project.
this.FindAllMachines();
// Finds machine inheritance information.
this.FindMachineInheritanceInformation();
// Find all machine actions in the project.
this.FindAllMachineActions();
}
/// <summary>
/// Create a new P# static analysis context from the given project.
/// </summary>
/// <param name="configuration">Configuration</param>
/// <param name="project">Project</param>
/// <returns>AnalysisContext</returns>
public static AnalysisContext Create(LanguageServicesConfiguration configuration, Project project)
{
return(new AnalysisContext(configuration, project));
}
/// <summary>
/// Create a new P# compilation context.
/// </summary>
/// <param name="configuration">Configuration</param>
/// <returns>CompilationContext</returns>
public static CompilationContext Create(LanguageServicesConfiguration configuration)
{
return(new CompilationContext(configuration));
}
/// <summary>
/// Create a new P# compilation context using the default
/// configuration.
/// </summary>
/// <returns>CompilationContext</returns>
public static CompilationContext Create()
{
var configuration = new LanguageServicesConfiguration();
return(new CompilationContext(configuration));
}
