예제 #1
0
파일: Compiler.cs 프로젝트: ggrov/tacny 
 public CheckHasNoAssumes_Visitor(Compiler c, TextWriter wr) {
   Contract.Requires(c != null);
   compiler = c;
   this.wr = wr;
 }
예제 #2
0
파일: Compiler.cs 프로젝트: dbremner/dafny 
 public CheckHasNoAssumes_Visitor(Compiler c)
 {
     Contract.Requires(c != null);
     compiler = c;
 }