diff options
author | Rustan Leino <unknown> | 2014-01-08 18:48:40 -0800 |
---|---|---|
committer | Rustan Leino <unknown> | 2014-01-08 18:48:40 -0800 |
commit | ecb53212d30f7e8ef6145bcca9f40517e1999956 (patch) | |
tree | 7312d15fd2974850a09a027efce2fbd8220f8e6d /Source/Dafny/Printer.cs | |
parent | 041a1a226a96ba55ff22251eb98666241a1d769a (diff) | |
parent | dd82ee5e33d25f6a5570da2ad6ab650ce6dc3164 (diff) |
Merge
Diffstat (limited to 'Source/Dafny/Printer.cs')
-rw-r--r-- | Source/Dafny/Printer.cs | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Source/Dafny/Printer.cs b/Source/Dafny/Printer.cs index d9b6abae..e4912efc 100644 --- a/Source/Dafny/Printer.cs +++ b/Source/Dafny/Printer.cs @@ -36,6 +36,16 @@ namespace Microsoft.Dafny { }
}
+
+ public static string ExtendedExprToString(Expression expr) {
+ Contract.Requires(expr != null);
+ using (var wr = new System.IO.StringWriter()) {
+ var pr = new Printer(wr);
+ pr.PrintExtendedExpr(expr, 0, true, false);
+ return wr.ToString();
+ }
+ }
+
public static string IteratorClassToString(IteratorDecl iter) {
Contract.Requires(iter != null);
using (var wr = new System.IO.StringWriter()) {
|