/// <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; }