From 768ee8abb31d912cfdc8eeaf41d7f44f1691ce0c Mon Sep 17 00:00:00 2001
From: mikebarnett <unknown>
Date: Thu, 10 Mar 2011 17:37:58 +0000
Subject: Renamed NonNullElements to NonNullDictionaryAndValues because the
 keys to dictionaries are non-null, which is enforced by the implementation of
 Dictionary. Added class constraints to all of the generic NonNull and
 NonNullElements methods so only non-value types will be checked.

---
 Source/AIFramework/Lattice.cs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Source/AIFramework')

diff --git a/Source/AIFramework/Lattice.cs b/Source/AIFramework/Lattice.cs
index 8d7f6c45..005c9b17 100644
--- a/Source/AIFramework/Lattice.cs
+++ b/Source/AIFramework/Lattice.cs
@@ -489,8 +489,8 @@ namespace Microsoft.AbstractInterpretationFramework {
       [ContractInvariantMethod]
       void ObjectInvariant() {
         Contract.Invariant(Map != null);
-        Contract.Invariant(cce.NonNullElements(emptyDictionary1) && Contract.ForAll(emptyDictionary1.Values, set =>/*cce.NonNullElements(set)*/set != null));
-        Contract.Invariant(cce.NonNullElements(emptyDictionary2));
+        Contract.Invariant(cce.NonNullDictionaryAndValues(emptyDictionary1) && Contract.ForAll(emptyDictionary1.Values, set =>/*cce.NonNullElements(set)*/set != null));
+        Contract.Invariant(cce.NonNullDictionaryAndValues(emptyDictionary2));
         Contract.Invariant(indexMap != null);
         Contract.Invariant(reverseIndexMap != null);
 
-- 
cgit v1.2.3