C# (CSharp) Microsoft.Dafny Compiler示例

示例#1

文件： Compiler.cs 项目： ggrov/tacny

 public CheckHasNoAssumes_Visitor(Compiler c, TextWriter wr) {
   Contract.Requires(c != null);
   compiler = c;
   this.wr = wr;
 }

示例#2

文件： Compiler.cs 项目： dbremner/dafny

 public CheckHasNoAssumes_Visitor(Compiler c)
 {
     Contract.Requires(c != null);
     compiler = c;
 }