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/Graph/Graph.cs | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'Source/Graph')

diff --git a/Source/Graph/Graph.cs b/Source/Graph/Graph.cs
index bc256cd5..8c01d8db 100644
--- a/Source/Graph/Graph.cs
+++ b/Source/Graph/Graph.cs
@@ -33,7 +33,8 @@ namespace Graphing {
       foreach (KeyValuePair<Node, List<Node>> de in d) {
         if (!first)
           sb.Append(", ");
-        sb.Append(cce.NonNull(de.Key).ToString());
+        Contract.Assert(!object.Equals(de.Key,default(Node)));
+        sb.Append(de.Key.ToString());
         sb.Append("~>");
         sb.Append(ListToString(de.Value));
         first = false;
@@ -131,7 +132,8 @@ namespace Graphing {
       foreach (KeyValuePair<Node, List<Node>> de in domMap) {
         if (!first)
           sb.Append(", ");
-        sb.Append(cce.NonNull(de.Key).ToString());
+        Contract.Assert(!object.Equals(de.Key, default(Node)));
+        sb.Append(de.Key.ToString());
         sb.Append("~>");
         sb.Append(ListToString(de.Value));
         first = false;
-- 
cgit v1.2.3