Made invariant of class 'IfThenElse' robust by changing the design

(replaced public field by private field + getter/setter)

1 files changed, 6 insertions, 0 deletions

diff --git a/Source/Core/Util.cs b/Source/Core/Util.cs
index b28ac042..73008742 100644
--- a/Source/Core/Util.cs
+++ b/Source/Core/Util.cs
@@ -229,6 +229,12 @@ namespace Microsoft.Boogie {
       this.SetToken(t => absy.tok = t);

     }

 

+    public void SetToken(IfThenElse expr)

+    {

+      Contract.Requires(expr != null);

+      this.SetToken(t => expr.tok = t);

+    }

+

     public void SetToken(Action<IToken> setter) {

       Contract.Requires(setter != null);

       if (this.setTokens) {