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