public static Program CloneProgram(Program program)
{
var cloner = new Cloner();
var moduleDecl = new LiteralModuleDecl(cloner.CloneModuleDefinition(program.DefaultModuleDef, program.Name), null);
return(new Program(program.FullName, moduleDecl, program.BuiltIns, new InvisibleErrorReporter()));
}
/// <summary>
/// Create new instance of the working Dafny.Program
/// </summary>
/// <returns>Instance of dafny.Program</returns>
public Microsoft.Dafny.Program ParseProgram()
{
//Dafny.Program prog;
//ParseCheck(fileNames, programId, out prog);
Cloner cl = new Cloner();
ModuleDecl module = new LiteralModuleDecl(cl.CloneModuleDefinition(_original.DefaultModuleDef, _original.Name), null);
DafnyProgram = new Microsoft.Dafny.Program(_original.Name, module, _original.BuiltIns, new ConsoleErrorReporter());
return(DafnyProgram);
}
