diff options
author | rustanleino <unknown> | 2010-02-18 01:58:27 +0000 |
---|---|---|
committer | rustanleino <unknown> | 2010-02-18 01:58:27 +0000 |
commit | 36bda629c0083590c5e4d17f06e769f822617033 (patch) | |
tree | 1591f3b47a97f4bd3cc0333b0a0dc8eeb40c20de /Source/Basetypes/Set.ssc | |
parent | 0549304b5beaf553ba3e5fa6550a6b8e43e31553 (diff) |
* Added "deprecated" comment in help message about /interprocInfer switch. The functionality is currently broken.
* Adjust procedure summaries also after processing call returns (used only in interprocedural inference, which is currently not really supported, but this change would be needed if we ever decide to support it)
* Some other code clean-up, like removing unnecessary [Reads(...Owned)] attributes on [Pure] methods
Diffstat (limited to 'Source/Basetypes/Set.ssc')
-rw-r--r-- | Source/Basetypes/Set.ssc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Basetypes/Set.ssc b/Source/Basetypes/Set.ssc index 221a9ad4..9286d6f5 100644 --- a/Source/Basetypes/Set.ssc +++ b/Source/Basetypes/Set.ssc @@ -189,7 +189,7 @@ namespace Microsoft.Boogie public virtual int Count
{
- [Pure][Reads(ReadsAttribute.Reads.Owned)] get
+ get
{
return ht.Count;
}
@@ -201,7 +201,7 @@ namespace Microsoft.Boogie return ht.Keys.GetEnumerator();
}
- [Pure][Reads(ReadsAttribute.Reads.Owned)]
+ [Pure]
public override string! ToString()
{
string s = null;
|