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