Add ToString() overrides to help in debugging

2 files changed, 29 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

diff --git a/Source/Model/Model.cs b/Source/Model/Model.cs
index c04be448..9aeb5440 100644
--- a/Source/Model/Model.cs
+++ b/Source/Model/Model.cs
@@ -7,6 +7,7 @@
 using System;

 using System.Linq;

 using System.Collections.Generic;

+using System.Text;

 

 namespace Microsoft.Boogie

 {

@@ -93,6 +94,11 @@ namespace Microsoft.Boogie
 

       internal Func(Model p, string n, int a) { Model = p;  Name = n; Arity = a; }

 

+      public override string ToString()

+      {

+        return string.Format("{0}/{1}", Name, Arity);

+      }

+

       public void SetConstant(Element res)

       {

         if (Arity != 0 || apps.Count > 0)

@@ -204,6 +210,18 @@ namespace Microsoft.Boogie
         Func = func;

         Result = res;

       }

+

+      public override string ToString()

+      {

+        var res = new StringBuilder();

+        res.Append(Func.Name).Append("(");

+        for (int i = 0; i < Args.Length; ++i) {

+          if (i != 0) res.Append(", ");

+          res.Append(Args[i]);

+        }

+        res.Append(" -> ").Append(Result);

+        return res.ToString();

+      }

     }

     #endregion