C# (CSharp) Microsoft.Dafny Printer.PrintFrameExpressionList Examples

Example #1

File: Printer.cs Project: ggrov/tacny

 public static string FrameExprListToString(List<FrameExpression> fexprs) {
   Contract.Requires(fexprs != null);
   using (var wr = new System.IO.StringWriter()) {
     var pr = new Printer(wr);
     pr.PrintFrameExpressionList(fexprs);
     return wr.ToString();
   }
 }