Exemplos de Microsoft.Dafny KremlinCompiler em C# (CSharp)

Exemplo n.º 1

Arquivo: Kremlin.cs Projeto: Chris-Hawblitzel/dafny

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

Exemplo n.º 2

Arquivo: Kremlin.cs Projeto: Chris-Hawblitzel/dafny

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