C# (CSharp) Microsoft.Dafny Printer.PrintTopLevelDecls Examples

Example #1

File: Printer.cs Project: ggrov/tacny

        new public void PrintProgram(Program prog)
        {
            Contract.Requires(prog != null);
            wr = new StreamWriter(prog.FullName + ".dfy");
            var printer = new Microsoft.Dafny.Printer(wr, DafnyOptions.PrintModes.Everything);

            printer.PrintTopLevelDecls(prog.DefaultModuleDef.TopLevelDecls, 0, prog.FullName);
            //printer.PrintProgram(prog);// PrintTopLevelDecls(prog.DefaultModuleDef.TopLevelDecls, 0, Path.GetFullPath(prog.FullName));
            wr.Flush();
        }

Example #2

File: Printer.cs Project: ggrov/tacny

 new public void PrintProgram(Program prog) {
     Contract.Requires(prog != null);
     wr = new StreamWriter(prog.FullName + ".dfy");
     var printer = new Microsoft.Dafny.Printer(wr, DafnyOptions.PrintModes.Everything);
     printer.PrintTopLevelDecls(prog.DefaultModuleDef.TopLevelDecls, 0, prog.FullName);
     //printer.PrintProgram(prog);// PrintTopLevelDecls(prog.DefaultModuleDef.TopLevelDecls, 0, Path.GetFullPath(prog.FullName));
     wr.Flush();
 }