Add ToString() overrides to help in debugging

1 files changed, 11 insertions, 0 deletions

diff --git a/Source/Core/AbsyCmd.cs b/Source/Core/AbsyCmd.cs
index 125e33f6..363578e5 100644
--- a/Source/Core/AbsyCmd.cs
+++ b/Source/Core/AbsyCmd.cs
@@ -1018,6 +1018,17 @@ namespace Microsoft.Boogie {
         kv.Typecheck(tc);

       }

     }

+

+    [Pure]

+    public override string ToString()

+    {

+      Contract.Ensures(Contract.Result<string>() != null);

+      System.IO.StringWriter buffer = new System.IO.StringWriter();

+      using (TokenTextWriter stream = new TokenTextWriter("<buffer>", buffer, false)) {

+        this.Emit(stream, 0);

+      }

+      return buffer.ToString();

+    }

   }

 

   public class CommentCmd : Cmd // just a convenience for debugging