/// <summary> /// Rewrites a P# or P program to C#. /// </summary> /// <param name="program">Program</param> /// <param name="tree">SyntaxTree</param> private void RewriteProgram(IPSharpProgram program, SyntaxTree tree) { program.Rewrite(); var project = ProgramInfo.GetProjectWithName(this.Name); ProgramInfo.ReplaceSyntaxTree(program.GetSyntaxTree(), project); }
/// <summary> /// Rewrites a P# or P program to C#. /// </summary> /// <param name="program">Program</param> /// <param name="tree">SyntaxTree</param> private void RewriteProgram(IPSharpProgram program, SyntaxTree tree) { program.Rewrite(); var project = this.CompilationContext.GetProjectWithName(this.Name); this.CompilationContext.ReplaceSyntaxTree(program.GetSyntaxTree(), project); }
/// <summary> /// Rewrites a P# or P program to C#. /// </summary> /// <param name="program">Program</param> /// <param name="tree">SyntaxTree</param> private void RewriteProgram(IPSharpProgram program, SyntaxTree tree) { program.Rewrite(); var project = this.Project; ProgramInfo.ReplaceSyntaxTree(program.GetSyntaxTree(), ref project); this.Project = project; }
/// <summary> /// Rewrites a P# or P program to C#. /// </summary> /// <param name="program">Program</param> /// <param name="tree">SyntaxTree</param> private void RewriteProgram(IPSharpProgram program, SyntaxTree tree) { program.Rewrite(); var project = this.Project; ProgramInfo.ReplaceSyntaxTree(program.GetSyntaxTree(), ref project); this.Project = project; }
/// <summary> /// Rewrites a P# or P program to C#. /// </summary> /// <param name="program">Program</param> /// <param name="tree">SyntaxTree</param> private void RewriteProgram(IPSharpProgram program, SyntaxTree tree) { program.Rewrite(); var project = this.CompilationContext.GetProjectWithName(this.Name); this.CompilationContext.ReplaceSyntaxTree(program.GetSyntaxTree(), project); }
/// <summary> /// Rewrites a P# or P program to C#. /// </summary> /// <param name="program">Program</param> /// <param name="tree">SyntaxTree</param> private void RewriteProgram(IPSharpProgram program, SyntaxTree tree) { program.Rewrite(); var project = ProgramInfo.GetProjectWithName(this.Name); ProgramInfo.ReplaceSyntaxTree(program.GetSyntaxTree(), project); }