C# (CSharp) Microsoft.Dafny KremlinCompilerの例

コード例 #1

ファイル: Kremlin.cs プロジェクト: Chris-Hawblitzel/dafny

 public CheckHasNoAssumes_VisitorJ(KremlinCompiler c, JsonTextWriter j)
 {
     Contract.Requires(c != null);
     compiler = c;
     this.j = j;
 }

コード例 #2

ファイル: Kremlin.cs プロジェクト: Chris-Hawblitzel/dafny

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