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