Implement ToString() override for TransferCmds. It is overriden for

Cmd classes but for some reason it wasn't implemented for TransferCmds
which seems a little inconsistent.

1 files changed, 10 insertions, 0 deletions

diff --git a/Source/Core/AbsyCmd.cs b/Source/Core/AbsyCmd.cs
index c7edbc68..95e71b90 100644
--- a/Source/Core/AbsyCmd.cs
+++ b/Source/Core/AbsyCmd.cs
@@ -2988,6 +2988,16 @@ namespace Microsoft.Boogie {
       //Contract.Requires(tc != null);

       // nothing to typecheck

     }

+

+    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, /*setTokens=*/ false , /*pretty=*/ false)) {

+            this.Emit(stream, 0);

+        }

+        return buffer.ToString();

+    }

   }

   [ContractClassFor(typeof(TransferCmd))]

   public abstract class TransferCmdContracts : TransferCmd {