/// <summary>
/// Constructor.
/// </summary>
/// <param name="context">CompilationContext</param>
public PSharpProject(CompilationContext context)
{
this.CompilationContext = context;
this.PSharpPrograms = new List<PSharpProgram>();
this.CSharpPrograms = new List<CSharpProgram>();
this.ProgramMap = new Dictionary<IPSharpProgram, SyntaxTree>();
}
/// <summary>
/// Constructor.
/// </summary>
/// <param name="context">CompilationContext</param>
private CompilationEngine(CompilationContext context)
{
this.CompilationContext = context;
}
/// <summary>
/// Creates a P# rewriting engine.
/// </summary>
/// <param name="context">CompilationContext</param>
/// <returns>RewritingEngine</returns>
public static RewritingEngine Create(CompilationContext context)
{
return new RewritingEngine(context);
}
/// <summary>
/// Constructor.
/// </summary>
/// <param name="context">CompilationContext</param>
private RewritingEngine(CompilationContext context)
{
this.CompilationContext = context;
}
/// <summary>
/// Creates a P# static analysis process.
/// </summary>
/// <param name="context">CompilationContext</param>
/// <returns>StaticAnalysisProcess</returns>
public static StaticAnalysisProcess Create(CompilationContext context)
{
return new StaticAnalysisProcess(context);
}
/// <summary>
/// Constructor.
/// </summary>
/// <param name="context">CompilationContext</param>
private StaticAnalysisProcess(CompilationContext context)
{
this.CompilationContext = context;
}
/// <summary>
/// Creates a P# compilation process.
/// </summary>
/// <param name="context">CompilationContext</param>
/// <returns>CompilationProcess</returns>
public static CompilationProcess Create(CompilationContext context)
{
return new CompilationProcess(context);
}
/// <summary>
/// Creates a P# parsing process.
/// </summary>
/// <param name="context">CompilationContext</param>
/// <returns>ParsingProcess</returns>
public static ParsingProcess Create(CompilationContext context)
{
return new ParsingProcess(context);
}
/// <summary>
/// Constructor.
/// </summary>
/// <param name="context">CompilationContext</param>
/// <param name="options">ParsingOptions</param>
private ParsingEngine(CompilationContext context, ParsingOptions options)
{
this.CompilationContext = context;
this.Options = options;
}
/// <summary>
/// Creates a P# static analysis engine.
/// </summary>
/// <param name="context">CompilationContext</param>
/// <returns>StaticAnalysisEngine</returns>
public static StaticAnalysisEngine Create(CompilationContext context)
{
return new StaticAnalysisEngine(context);
}
/// <summary>
/// Constructor.
/// </summary>
/// <param name="context">CompilationContext</param>
private StaticAnalysisEngine(CompilationContext context)
{
this.Profiler = new Profiler();
this.CompilationContext = context;
}
/// <summary>
/// Creates a P# rewriting process.
/// </summary>
/// <param name="context">CompilationContext</param>
/// <returns>RewritingProcess</returns>
public static RewritingProcess Create(CompilationContext context)
{
return new RewritingProcess(context);
}
/// <summary>
/// Constructor.
/// </summary>
/// <param name="context">CompilationContext</param>
private RewritingProcess(CompilationContext context)
{
this.CompilationContext = context;
}
/// <summary>
/// Constructor.
/// </summary>
/// <param name="context">CompilationContext</param>
private ParsingEngine(CompilationContext context)
{
this.CompilationContext = context;
}
/// <summary>
/// Creates a P# parsing engine.
/// </summary>
/// <param name="context">CompilationContext</param>
/// <returns>ParsingEngine</returns>
public static ParsingEngine Create(CompilationContext context)
{
return new ParsingEngine(context);
}
/// <summary>
/// Creates a P# compilation engine.
/// </summary>
/// <param name="context">CompilationContext</param>
/// <returns></returns>
public static CompilationEngine Create(CompilationContext context)
{
return new CompilationEngine(context);
}
/// <summary>
/// Constructor.
/// </summary>
/// <param name="context">CompilationContext</param>
private ParsingProcess(CompilationContext context)
{
this.CompilationContext = context;
}
/// <summary>
/// Creates a P# parsing engine for the specified compilation
/// context and using the default parsing options.
/// </summary>
/// <param name="context">CompilationContext</param>
/// <returns>ParsingEngine</returns>
public static ParsingEngine Create(CompilationContext context)
{
return new ParsingEngine(context, ParsingOptions.CreateDefault());
}
/// <summary>
/// Creates a P# parsing engine for the specified compilation
/// context and using the specified parsing options.
/// </summary>
/// <param name="context">CompilationContext</param>
/// <param name="options">ParsingOptions</param>
/// <returns>ParsingEngine</returns>
public static ParsingEngine Create(CompilationContext context, ParsingOptions options)
{
return new ParsingEngine(context, options);
}
/// <summary>
/// Constructor.
/// </summary>
/// <param name="context">CompilationContext</param>
private CompilationProcess(CompilationContext context)
{
this.CompilationContext = context;
}
