C# (CSharp) Dafny.BuiltInsの例

コード例 #1

ファイル: DafnyHelper.cs プロジェクト: mnsamad/dafny-1

        private bool Parse()
        {
            Dafny.ModuleDecl module   = new Dafny.LiteralModuleDecl(new Dafny.DefaultModuleDecl(), null);
            Dafny.BuiltIns   builtIns = new Dafny.BuiltIns();
            var success = (Dafny.Parser.Parse(source, fname, fname, null, module, builtIns, new Dafny.Errors(reporter)) == 0 &&
                           Dafny.Main.ParseIncludes(module, builtIns, new List <string>(), new Dafny.Errors(reporter)) == null);

            if (success)
            {
                dafnyProgram = new Dafny.Program(fname, module, builtIns, reporter);
            }
            return(success);
        }

コード例 #2

ファイル: DafnyHelper.cs プロジェクト: dbremner/dafny

 private bool Parse()
 {
     Dafny.ModuleDecl module = new Dafny.LiteralModuleDecl(new Dafny.DefaultModuleDecl(), null);
       Dafny.BuiltIns builtIns = new Dafny.BuiltIns();
       var success = (Dafny.Parser.Parse(source, fname, fname, module, builtIns, new Dafny.Errors(reporter)) == 0 &&
              Dafny.Main.ParseIncludes(module, builtIns, new List<string>(), new Dafny.Errors(reporter)) == null);
       if (success) {
     dafnyProgram = new Dafny.Program(fname, module, builtIns, reporter);
       }
       return success;
 }