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