From bd440f15b8392a85fefe4ff50fdf3a43d043d95c Mon Sep 17 00:00:00 2001
From: Justin Terry <juterry@microsoft.com>
Date: Fri, 7 Aug 2015 15:12:48 -0700
Subject: [PATCH] Issue #190: Impove string-contained code snippets

Fixes all String references to be string (lowercase).
---
 .../contractensuresnotisnullorempty.snippet                   | 4 ++--
 .../contractinvariantnotisnullorempty.snippet                 | 4 ++--
 .../contractrequiresalwaysnotisnullorempty.snippet            | 4 ++--
 .../contractrequiresnotisnullorempty.snippet                  | 4 ++--
 4 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/Microsoft.Research/ManagedContract.Setup/CSharpCodeSnippets/contractensuresnotisnullorempty.snippet b/Microsoft.Research/ManagedContract.Setup/CSharpCodeSnippets/contractensuresnotisnullorempty.snippet
index 65208763..167016d0 100644
--- a/Microsoft.Research/ManagedContract.Setup/CSharpCodeSnippets/contractensuresnotisnullorempty.snippet
+++ b/Microsoft.Research/ManagedContract.Setup/CSharpCodeSnippets/contractensuresnotisnullorempty.snippet
@@ -5,7 +5,7 @@
       <SnippetTypes>
         <SnippetType>Expansion</SnippetType>
       </SnippetTypes>
-      <Title>Contract.Ensures(!String.IsNullOrEmpty(Contract.Result()))</Title>
+      <Title>Contract.Ensures(!string.IsNullOrEmpty(Contract.Result()))</Title>
       <Shortcut>cesn</Shortcut>
       <Description>Emits an 'ensures' clause specifying result not null or empty</Description>
       <Author>Jonathan de Halleux</Author>
@@ -18,7 +18,7 @@
       </Imports>
       <Declarations>
       </Declarations>
-      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Ensures(!String.IsNullOrEmpty(Contract.Result<string>()));
+      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Ensures(!string.IsNullOrEmpty(Contract.Result<string>()));
 $end$]]></Code>
     </Snippet>
   </CodeSnippet>
diff --git a/Microsoft.Research/ManagedContract.Setup/CSharpCodeSnippets/contractinvariantnotisnullorempty.snippet b/Microsoft.Research/ManagedContract.Setup/CSharpCodeSnippets/contractinvariantnotisnullorempty.snippet
index d91b35ca..9bdc1476 100644
--- a/Microsoft.Research/ManagedContract.Setup/CSharpCodeSnippets/contractinvariantnotisnullorempty.snippet
+++ b/Microsoft.Research/ManagedContract.Setup/CSharpCodeSnippets/contractinvariantnotisnullorempty.snippet
@@ -7,7 +7,7 @@
       </SnippetTypes>
       <Title>Contract.Invariant</Title>
       <Shortcut>cisn</Shortcut>
-      <Description>Emits a 'Contract.Invariant' not String.IsNullOrEmpty clause</Description>
+      <Description>Emits a 'Contract.Invariant' not string.IsNullOrEmpty clause</Description>
       <Author>Jonathan de Halleux</Author>
     </Header>
     <Snippet>
@@ -25,7 +25,7 @@
           </Function>
         </Object>
       </Declarations>
-      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Invariant(!String.IsNullOrEmpty($expression$));$end$]]></Code>
+      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Invariant(!string.IsNullOrEmpty($expression$));$end$]]></Code>
     </Snippet>
   </CodeSnippet>
 </CodeSnippets>
diff --git a/Microsoft.Research/ManagedContract.Setup/CSharpCodeSnippets/contractrequiresalwaysnotisnullorempty.snippet b/Microsoft.Research/ManagedContract.Setup/CSharpCodeSnippets/contractrequiresalwaysnotisnullorempty.snippet
index 44f1bf66..bd25fc5c 100644
--- a/Microsoft.Research/ManagedContract.Setup/CSharpCodeSnippets/contractrequiresalwaysnotisnullorempty.snippet
+++ b/Microsoft.Research/ManagedContract.Setup/CSharpCodeSnippets/contractrequiresalwaysnotisnullorempty.snippet
@@ -5,7 +5,7 @@
       <SnippetTypes>
         <SnippetType>Expansion</SnippetType>
       </SnippetTypes>
-      <Title>Contract.Requires&lt;ArgumentException&gt;(!String.IsNullOrEmpty(..))</Title>
+      <Title>Contract.Requires&lt;ArgumentException&gt;(!string.IsNullOrEmpty(..))</Title>
       <Shortcut>cresn</Shortcut>
       <Description>Emits a 'requires with exception' not IsNullOrEmpty</Description>
       <Author>Jonathan de Halleux</Author>
@@ -25,7 +25,7 @@
           </Function>
         </Object>
       </Declarations>
-      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Requires<ArgumentException>(!String.IsNullOrEmpty($variable$));$end$]]></Code>
+      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Requires<ArgumentException>(!string.IsNullOrEmpty($variable$));$end$]]></Code>
     </Snippet>
   </CodeSnippet>
 </CodeSnippets>
diff --git a/Microsoft.Research/ManagedContract.Setup/CSharpCodeSnippets/contractrequiresnotisnullorempty.snippet b/Microsoft.Research/ManagedContract.Setup/CSharpCodeSnippets/contractrequiresnotisnullorempty.snippet
index d6df8389..b62e6c20 100644
--- a/Microsoft.Research/ManagedContract.Setup/CSharpCodeSnippets/contractrequiresnotisnullorempty.snippet
+++ b/Microsoft.Research/ManagedContract.Setup/CSharpCodeSnippets/contractrequiresnotisnullorempty.snippet
@@ -5,7 +5,7 @@
       <SnippetTypes>
         <SnippetType>Expansion</SnippetType>
       </SnippetTypes>
-      <Title>Contract.Requires(!String.IsNullOrEmpty(..))</Title>
+      <Title>Contract.Requires(!string.IsNullOrEmpty(..))</Title>
       <Shortcut>crsn</Shortcut>
       <Description>Emits a 'requires' not IsNullOrEmpty</Description>
       <Author>Jonathan de Halleux</Author>
@@ -25,7 +25,7 @@
           </Function>
         </Object>
       </Declarations>
-      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Requires(!String.IsNullOrEmpty($variable$));$end$]]></Code>
+      <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Requires(!string.IsNullOrEmpty($variable$));$end$]]></Code>
     </Snippet>
   </CodeSnippet>
 </CodeSnippets>