7 files changed, 214 insertions, 214 deletions
diff --git a/Util/Code Snippets/contractassertnonnull.snippet b/Util/Code Snippets/contractassertnonnull.snippet
index 4979600a..298cb164 100644
--- a/Util/Code Snippets/contractassertnonnull.snippet
+++ b/Util/Code Snippets/contractassertnonnull.snippet
@@ -1,31 +1,31 @@
-<?xml version="1.0" encoding="utf-8"?>
-<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">
-  <CodeSnippet Format="1.0.0">
-    <Header>
-      <SnippetTypes>
-        <SnippetType>Expansion</SnippetType>
-      </SnippetTypes>
-      <Title>Contract.Assert(...!=null)</Title>
-      <Shortcut>can</Shortcut>
-      <Description>Emits a 'Contract.Assert' non-null clause</Description>
-      <Author>tabarbe</Author>
-    </Header>
-    <Snippet>
-      <Imports>
-        <Import>
-          <Namespace>System.Diagnostics.Contracts</Namespace>
-        </Import>
-      </Imports>
-      <Declarations>
-        <Object Editable="true">
-          <ID>condition</ID>
-          <ToolTip>condition that must not be null</ToolTip>
-          <Default>arg</Default>
-          <Function>
-          </Function>
-        </Object>
-      </Declarations>
-      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Assert($condition$ != null);$end$]]></Code>
-    </Snippet>
-  </CodeSnippet>
-</CodeSnippets>
+<?xml version="1.0" encoding="utf-8"?>
+<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">
+  <CodeSnippet Format="1.0.0">
+    <Header>
+      <SnippetTypes>
+        <SnippetType>Expansion</SnippetType>
+      </SnippetTypes>
+      <Title>Contract.Assert(...!=null)</Title>
+      <Shortcut>can</Shortcut>
+      <Description>Emits a 'Contract.Assert' non-null clause</Description>
+      <Author>tabarbe</Author>
+    </Header>
+    <Snippet>
+      <Imports>
+        <Import>
+          <Namespace>System.Diagnostics.Contracts</Namespace>
+        </Import>
+      </Imports>
+      <Declarations>
+        <Object Editable="true">
+          <ID>condition</ID>
+          <ToolTip>condition that must not be null</ToolTip>
+          <Default>arg</Default>
+          <Function>
+          </Function>
+        </Object>
+      </Declarations>
+      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Assert($condition$ != null);$end$]]></Code>
+    </Snippet>
+  </CodeSnippet>
+</CodeSnippets>
diff --git a/Util/Code Snippets/contractassertnonnullelem.snippet b/Util/Code Snippets/contractassertnonnullelem.snippet
index 86273d71..34c20a00 100644
--- a/Util/Code Snippets/contractassertnonnullelem.snippet
+++ b/Util/Code Snippets/contractassertnonnullelem.snippet
@@ -1,31 +1,31 @@
-<?xml version="1.0" encoding="utf-8"?>
-<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">
-  <CodeSnippet Format="1.0.0">
-    <Header>
-      <SnippetTypes>
-        <SnippetType>Expansion</SnippetType>
-      </SnippetTypes>
-      <Title>Contract.Assert(cce.NonNullElements(...))</Title>
-      <Shortcut>cann</Shortcut>
-      <Description>Emits a 'Contract.Assert' non-null elements clause</Description>
-      <Author>tabarbe</Author>
-    </Header>
-    <Snippet>
-      <Imports>
-        <Import>
-          <Namespace>System.Diagnostics.Contracts</Namespace>
-        </Import>
-      </Imports>
-      <Declarations>
-        <Object Editable="true">
-          <ID>collection</ID>
-          <ToolTip>collection whose elements must not be null</ToolTip>
-          <Default>arg</Default>
-          <Function>
-          </Function>
-        </Object>
-      </Declarations>
-      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Assert(cce.NonNullElements($collection$));$end$]]></Code>
-    </Snippet>
-  </CodeSnippet>
-</CodeSnippets>
+<?xml version="1.0" encoding="utf-8"?>
+<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">
+  <CodeSnippet Format="1.0.0">
+    <Header>
+      <SnippetTypes>
+        <SnippetType>Expansion</SnippetType>
+      </SnippetTypes>
+      <Title>Contract.Assert(cce.NonNullElements(...))</Title>
+      <Shortcut>cann</Shortcut>
+      <Description>Emits a 'Contract.Assert' non-null elements clause</Description>
+      <Author>tabarbe</Author>
+    </Header>
+    <Snippet>
+      <Imports>
+        <Import>
+          <Namespace>System.Diagnostics.Contracts</Namespace>
+        </Import>
+      </Imports>
+      <Declarations>
+        <Object Editable="true">
+          <ID>collection</ID>
+          <ToolTip>collection whose elements must not be null</ToolTip>
+          <Default>arg</Default>
+          <Function>
+          </Function>
+        </Object>
+      </Declarations>
+      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Assert(cce.NonNullElements($collection$));$end$]]></Code>
+    </Snippet>
+  </CodeSnippet>
+</CodeSnippets>
diff --git a/Util/Code Snippets/contractensuresnonnullelem.snippet b/Util/Code Snippets/contractensuresnonnullelem.snippet
index fabd9d1a..9d462275 100644
--- a/Util/Code Snippets/contractensuresnonnullelem.snippet
+++ b/Util/Code Snippets/contractensuresnonnullelem.snippet
@@ -1,31 +1,31 @@
-<?xml version="1.0" encoding="utf-8"?>
-<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">
-  <CodeSnippet Format="1.0.0">
-    <Header>
-      <SnippetTypes>
-        <SnippetType>Expansion</SnippetType>
-      </SnippetTypes>
-      <Title>Contract.Ensures(cce.NonNullElements(Contract.Result&lt;...&gt;()))</Title>
-      <Shortcut>cenn</Shortcut>
-      <Description>Emits a 'Contract.Ensures' non-null elements clause</Description>
-      <Author>tabarbe</Author>
-    </Header>
-    <Snippet>
-      <Imports>
-        <Import>
-          <Namespace>System.Diagnostics.Contracts</Namespace>
-        </Import>
-      </Imports>
-      <Declarations>
-        <Object Editable="true">
-          <ID>collection</ID>
-          <ToolTip>Collection whose elements must not be null</ToolTip>
-          <Default>List&lt;string&gt;</Default>
-          <Function>
-          </Function>
-        </Object>
-      </Declarations>
-      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Ensures(cce.NonNullElements(Contract.Result<$collection$>()));$end$]]></Code>
-    </Snippet>
-  </CodeSnippet>
+<?xml version="1.0" encoding="utf-8"?>
+<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">
+  <CodeSnippet Format="1.0.0">
+    <Header>
+      <SnippetTypes>
+        <SnippetType>Expansion</SnippetType>
+      </SnippetTypes>
+      <Title>Contract.Ensures(cce.NonNullElements(Contract.Result&lt;...&gt;()))</Title>
+      <Shortcut>cenn</Shortcut>
+      <Description>Emits a 'Contract.Ensures' non-null elements clause</Description>
+      <Author>tabarbe</Author>
+    </Header>
+    <Snippet>
+      <Imports>
+        <Import>
+          <Namespace>System.Diagnostics.Contracts</Namespace>
+        </Import>
+      </Imports>
+      <Declarations>
+        <Object Editable="true">
+          <ID>collection</ID>
+          <ToolTip>Collection whose elements must not be null</ToolTip>
+          <Default>List&lt;string&gt;</Default>
+          <Function>
+          </Function>
+        </Object>
+      </Declarations>
+      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Ensures(cce.NonNullElements(Contract.Result<$collection$>()));$end$]]></Code>
+    </Snippet>
+  </CodeSnippet>
 </CodeSnippets>
 \ No newline at end of file
diff --git a/Util/Code Snippets/contractensuresvalret.snippet b/Util/Code Snippets/contractensuresvalret.snippet
index b46be4fc..0be87286 100644
--- a/Util/Code Snippets/contractensuresvalret.snippet
+++ b/Util/Code Snippets/contractensuresvalret.snippet
@@ -1,31 +1,31 @@
-<?xml version="1.0" encoding="utf-8"?>
-<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">
-  <CodeSnippet Format="1.0.0">
-    <Header>
-      <SnippetTypes>
-        <SnippetType>Expansion</SnippetType>
-      </SnippetTypes>
-      <Title>Contract.Ensures(Contract.ValueAtReturn(...)!=null)</Title>
-      <Shortcut>cern</Shortcut>
-      <Description>Emits a 'Contract.Ensures' non-null out or ref parameter clause</Description>
-      <Author>tabarbe</Author>
-    </Header>
-    <Snippet>
-      <Imports>
-        <Import>
-          <Namespace>System.Diagnostics.Contracts</Namespace>
-        </Import>
-      </Imports>
-      <Declarations>
-        <Object Editable="true">
-          <ID>value</ID>
-          <ToolTip>Value that must not be null</ToolTip>
-          <Default>arg</Default>
-          <Function>
-          </Function>
-        </Object>
-      </Declarations>
-      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Ensures(Contract.ValueAtReturn(out $value$)!=null);$end$]]></Code>
-    </Snippet>
-  </CodeSnippet>
+<?xml version="1.0" encoding="utf-8"?>
+<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">
+  <CodeSnippet Format="1.0.0">
+    <Header>
+      <SnippetTypes>
+        <SnippetType>Expansion</SnippetType>
+      </SnippetTypes>
+      <Title>Contract.Ensures(Contract.ValueAtReturn(...)!=null)</Title>
+      <Shortcut>cern</Shortcut>
+      <Description>Emits a 'Contract.Ensures' non-null out or ref parameter clause</Description>
+      <Author>tabarbe</Author>
+    </Header>
+    <Snippet>
+      <Imports>
+        <Import>
+          <Namespace>System.Diagnostics.Contracts</Namespace>
+        </Import>
+      </Imports>
+      <Declarations>
+        <Object Editable="true">
+          <ID>value</ID>
+          <ToolTip>Value that must not be null</ToolTip>
+          <Default>arg</Default>
+          <Function>
+          </Function>
+        </Object>
+      </Declarations>
+      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Ensures(Contract.ValueAtReturn(out $value$)!=null);$end$]]></Code>
+    </Snippet>
+  </CodeSnippet>
 </CodeSnippets>
 \ No newline at end of file
diff --git a/Util/Code Snippets/contractensuresvalretNonNullElem.snippet b/Util/Code Snippets/contractensuresvalretNonNullElem.snippet
index c5915f44..195e9b68 100644
--- a/Util/Code Snippets/contractensuresvalretNonNullElem.snippet
+++ b/Util/Code Snippets/contractensuresvalretNonNullElem.snippet
@@ -1,31 +1,31 @@
-<?xml version="1.0" encoding="utf-8"?>
-<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">
-  <CodeSnippet Format="1.0.0">
-    <Header>
-      <SnippetTypes>
-        <SnippetType>Expansion</SnippetType>
-      </SnippetTypes>
-      <Title>Contract.Ensures(cce.NonNullElements(Contract.ValueAtReturn(...)))</Title>
-      <Shortcut>cernn</Shortcut>
-      <Description>Emits a 'Contract.Ensures' cce.non-nullelements out parameter clause</Description>
-      <Author>tabarbe</Author>
-    </Header>
-    <Snippet>
-      <Imports>
-        <Import>
-          <Namespace>System.Diagnostics.Contracts</Namespace>
-        </Import>
-      </Imports>
-      <Declarations>
-        <Object Editable="true">
-          <ID>value</ID>
-          <ToolTip>Value that must not be null</ToolTip>
-          <Default>arg</Default>
-          <Function>
-          </Function>
-        </Object>
-      </Declarations>
-      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Ensures(cce.NonNullElements(Contract.ValueAtReturn(out $value$)));$end$]]></Code>
-    </Snippet>
-  </CodeSnippet>
+<?xml version="1.0" encoding="utf-8"?>
+<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">
+  <CodeSnippet Format="1.0.0">
+    <Header>
+      <SnippetTypes>
+        <SnippetType>Expansion</SnippetType>
+      </SnippetTypes>
+      <Title>Contract.Ensures(cce.NonNullElements(Contract.ValueAtReturn(...)))</Title>
+      <Shortcut>cernn</Shortcut>
+      <Description>Emits a 'Contract.Ensures' cce.non-nullelements out parameter clause</Description>
+      <Author>tabarbe</Author>
+    </Header>
+    <Snippet>
+      <Imports>
+        <Import>
+          <Namespace>System.Diagnostics.Contracts</Namespace>
+        </Import>
+      </Imports>
+      <Declarations>
+        <Object Editable="true">
+          <ID>value</ID>
+          <ToolTip>Value that must not be null</ToolTip>
+          <Default>arg</Default>
+          <Function>
+          </Function>
+        </Object>
+      </Declarations>
+      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Ensures(cce.NonNullElements(Contract.ValueAtReturn(out $value$)));$end$]]></Code>
+    </Snippet>
+  </CodeSnippet>
 </CodeSnippets>
 \ No newline at end of file
diff --git a/Util/Code Snippets/contractinvnonnullelem.snippet b/Util/Code Snippets/contractinvnonnullelem.snippet
index cd0ff1c6..e665411c 100644
--- a/Util/Code Snippets/contractinvnonnullelem.snippet
+++ b/Util/Code Snippets/contractinvnonnullelem.snippet
@@ -1,31 +1,31 @@
-<?xml version="1.0" encoding="utf-8"?>
-<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">
-  <CodeSnippet Format="1.0.0">
-    <Header>
-      <SnippetTypes>
-        <SnippetType>Expansion</SnippetType>
-      </SnippetTypes>
-      <Title>Contract.Invariant(cce.NonNullElements(...))</Title>
-      <Shortcut>cinn</Shortcut>
-      <Description>Emits a 'Contract.Invariant' non-null elements clause</Description>
-      <Author>tabarbe</Author>
-    </Header>
-    <Snippet>
-      <Imports>
-        <Import>
-          <Namespace>System.Diagnostics.Contracts</Namespace>
-        </Import>
-      </Imports>
-      <Declarations>
-        <Object Editable="true">
-          <ID>collection</ID>
-          <ToolTip>collection whose elements must not be null</ToolTip>
-          <Default>arg</Default>
-          <Function>
-          </Function>
-        </Object>
-      </Declarations>
-      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Invariant(cce.NonNullElements($collection$));$end$]]></Code>
-    </Snippet>
-  </CodeSnippet>
-</CodeSnippets>
+<?xml version="1.0" encoding="utf-8"?>
+<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">
+  <CodeSnippet Format="1.0.0">
+    <Header>
+      <SnippetTypes>
+        <SnippetType>Expansion</SnippetType>
+      </SnippetTypes>
+      <Title>Contract.Invariant(cce.NonNullElements(...))</Title>
+      <Shortcut>cinn</Shortcut>
+      <Description>Emits a 'Contract.Invariant' non-null elements clause</Description>
+      <Author>tabarbe</Author>
+    </Header>
+    <Snippet>
+      <Imports>
+        <Import>
+          <Namespace>System.Diagnostics.Contracts</Namespace>
+        </Import>
+      </Imports>
+      <Declarations>
+        <Object Editable="true">
+          <ID>collection</ID>
+          <ToolTip>collection whose elements must not be null</ToolTip>
+          <Default>arg</Default>
+          <Function>
+          </Function>
+        </Object>
+      </Declarations>
+      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Invariant(cce.NonNullElements($collection$));$end$]]></Code>
+    </Snippet>
+  </CodeSnippet>
+</CodeSnippets>
diff --git a/Util/Code Snippets/contractrequiresnonnullelem.snippet b/Util/Code Snippets/contractrequiresnonnullelem.snippet
index eb07bc66..bd550cae 100644
--- a/Util/Code Snippets/contractrequiresnonnullelem.snippet
+++ b/Util/Code Snippets/contractrequiresnonnullelem.snippet
@@ -1,31 +1,31 @@
-<?xml version="1.0" encoding="utf-8"?>
-<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">
-  <CodeSnippet Format="1.0.0">
-    <Header>
-      <SnippetTypes>
-        <SnippetType>Expansion</SnippetType>
-      </SnippetTypes>
-      <Title>Contract.Requires(cce.NonNullElements(...))</Title>
-      <Shortcut>crnn</Shortcut>
-      <Description>Emits a 'Contract.Requires' non-null elements clause</Description>
-      <Author>tabarbe</Author>
-    </Header>
-    <Snippet>
-      <Imports>
-        <Import>
-          <Namespace>System.Diagnostics.Contracts</Namespace>
-        </Import>
-      </Imports>
-      <Declarations>
-        <Object Editable="true">
-          <ID>collection</ID>
-          <ToolTip>collection whose elements must not be null</ToolTip>
-          <Default>arg</Default>
-          <Function>
-          </Function>
-        </Object>
-      </Declarations>
-      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Requires(cce.NonNullElements($collection$));$end$]]></Code>
-    </Snippet>
-  </CodeSnippet>
-</CodeSnippets>
+<?xml version="1.0" encoding="utf-8"?>
+<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">
+  <CodeSnippet Format="1.0.0">
+    <Header>
+      <SnippetTypes>
+        <SnippetType>Expansion</SnippetType>
+      </SnippetTypes>
+      <Title>Contract.Requires(cce.NonNullElements(...))</Title>
+      <Shortcut>crnn</Shortcut>
+      <Description>Emits a 'Contract.Requires' non-null elements clause</Description>
+      <Author>tabarbe</Author>
+    </Header>
+    <Snippet>
+      <Imports>
+        <Import>
+          <Namespace>System.Diagnostics.Contracts</Namespace>
+        </Import>
+      </Imports>
+      <Declarations>
+        <Object Editable="true">
+          <ID>collection</ID>
+          <ToolTip>collection whose elements must not be null</ToolTip>
+          <Default>arg</Default>
+          <Function>
+          </Function>
+        </Object>
+      </Declarations>
+      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Requires(cce.NonNullElements($collection$));$end$]]></Code>
+    </Snippet>
+  </CodeSnippet>
+</CodeSnippets>