Lets have a setter for TopLevelDeclarations as well

1 files changed, 18 insertions, 4 deletions

diff --git a/Source/Core/Absy.cs b/Source/Core/Absy.cs
index 30333259..d5abda9b 100644
--- a/Source/Core/Absy.cs
+++ b/Source/Core/Absy.cs
@@ -446,10 +446,16 @@ namespace Microsoft.Boogie {
 

     public IEnumerable<Declaration> TopLevelDeclarations

     {

-      get

-      {

-        return topLevelDeclarations;

-      }

+        get

+        {

+            return topLevelDeclarations;

+        }

+

+        set

+        {

+            ClearTopLevelDeclarations();

+            AddTopLevelDeclarations(value);

+        }

     }

 

     public void AddTopLevelDeclaration(Declaration decl)

@@ -468,6 +474,14 @@ namespace Microsoft.Boogie {
       this.globalVariablesCache = null;

     }

 

+    public void RemoveTopLevelDeclaration(Declaration decl)

+    {

+        Contract.Requires(!TopLevelDeclarationsAreFrozen);

+

+        topLevelDeclarations.Remove(decl);

+        this.globalVariablesCache = null;

+    }

+

     public void RemoveTopLevelDeclarations(Predicate<Declaration> match)

     {

       Contract.Requires(!TopLevelDeclarationsAreFrozen);