Made invariant of class 'QKeyValue' robust by:

- making field private
- exposing read-only list
- copying incoming list
- adding methods 'AddParam', 'AddParams', and 'ClearParams'
(with help from David Rohr)

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/Core/Absy.cs b/Source/Core/Absy.cs
index 7622cbdf..6b07eb7e 100644
--- a/Source/Core/Absy.cs
+++ b/Source/Core/Absy.cs
@@ -1421,7 +1421,7 @@ namespace Microsoft.Boogie {
       QKeyValue kv;

       for (kv = this.Attributes; kv != null; kv = kv.Next) {

         if (kv.Key == name) {

-          kv.Params.AddRange(vals);

+          kv.AddParams(vals);

           break;

         }

       }