diff options
| author | Andrew Arnott <andrewarnott@gmail.com> | 2010-08-01 18:36:11 -0700 |
|---|---|---|
| committer | Andrew Arnott <andrewarnott@gmail.com> | 2010-08-01 18:36:11 -0700 |
| commit | 7bd4a817847fc4e6d534a3977a99bae73c7adc76 (patch) | |
| tree | 36503372c666180be9b6b9666d47be2c991525bf /tools/Contracts/Languages/CSharp/Code Contract Snippets/contractensuresnotisnullorempty.snippet | |
| parent | 848eaa3af5f0c25185d074fef463bf97e2233438 (diff) | |
| download | DotNetOpenAuth-7bd4a817847fc4e6d534a3977a99bae73c7adc76.zip DotNetOpenAuth-7bd4a817847fc4e6d534a3977a99bae73c7adc76.tar.gz DotNetOpenAuth-7bd4a817847fc4e6d534a3977a99bae73c7adc76.tar.bz2 | |
Upgraded to Code Contracts 1.4.30707.2.
Diffstat (limited to 'tools/Contracts/Languages/CSharp/Code Contract Snippets/contractensuresnotisnullorempty.snippet')
| -rw-r--r-- | tools/Contracts/Languages/CSharp/Code Contract Snippets/contractensuresnotisnullorempty.snippet | 50 |
1 files changed, 25 insertions, 25 deletions
diff --git a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractensuresnotisnullorempty.snippet b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractensuresnotisnullorempty.snippet index 6520876..4847e14 100644 --- a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractensuresnotisnullorempty.snippet +++ b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractensuresnotisnullorempty.snippet @@ -1,25 +1,25 @@ -<?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(!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> - </Header> - <Snippet> - <Imports> - <Import> - <Namespace>System.Diagnostics.Contracts</Namespace> - </Import> - </Imports> - <Declarations> - </Declarations> - <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Ensures(!String.IsNullOrEmpty(Contract.Result<string>())); -$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.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>
+ </Header>
+ <Snippet>
+ <Imports>
+ <Import>
+ <Namespace>System.Diagnostics.Contracts</Namespace>
+ </Import>
+ </Imports>
+ <Declarations>
+ </Declarations>
+ <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Ensures(!String.IsNullOrEmpty(Contract.Result<string>()));
+$end$]]></Code>
+ </Snippet>
+ </CodeSnippet>
+</CodeSnippets>
|