Replaced all dictionaries that mapped to bool (i.e., were being used to implement a set) with HashSet. Added a new NonNull method to the cce class that checks to make sure a set is non-null and does not contain null.

1 files changed, 4 insertions, 0 deletions

diff --git a/Source/CodeContractsExtender/cce.cs b/Source/CodeContractsExtender/cce.cs
index 71462c07..31de9a70 100644
--- a/Source/CodeContractsExtender/cce.cs
+++ b/Source/CodeContractsExtender/cce.cs
@@ -57,6 +57,10 @@ public static class cce {
   public static bool NonNullElements<T>(IEnumerator<T> iEnumerator) where T : class {

     return iEnumerator != null;

   }

+  [Pure]

+  public static bool NonNull<T>(HashSet<T> set) where T : class {

+    return set != null && !set.Contains(null);

+  }

   //[Pure]

   //public static bool NonNullElements<T>(Graphing.Graph<T> graph) {

   //  return cce.NonNullElements(graph.TopologicalSort());