/// <summary>
/// Returns a new P# program.
/// </summary>
/// <returns>P# program</returns>
protected override IPSharpProgram CreateNewProgram()
{
var program = new PSharpProgram(base.Project, base.SyntaxTree);
base.TokenStream.Program = program;
return(program);
}
/// <summary>
/// Returns a new P# program.
/// </summary>
protected override IPSharpProgram CreateNewProgram()
{
var program = new PSharpProgram(this.Project, this.SyntaxTree);
this.TokenStream.Program = program;
return(program);
}
/// <summary>
/// Returns a new P# program.
/// </summary>
/// <returns>P# program</returns>
protected override IPSharpProgram CreateNewProgram()
{
var program = new PSharpProgram(base.Project, base.SyntaxTree);
base.TokenStream.Program = program;
return program;
}
