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/contractensures.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/contractensures.snippet')
| -rw-r--r-- | tools/Contracts/Languages/CSharp/Code Contract Snippets/contractensures.snippet | 44 |
1 files changed, 22 insertions, 22 deletions
diff --git a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractensures.snippet b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractensures.snippet index ecff2bf..82554ff 100644 --- a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractensures.snippet +++ b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractensures.snippet @@ -1,22 +1,22 @@ -<?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</Title> - <Shortcut>ce</Shortcut> - <Description>Emits a 'ensures' clause</Description> - <Author>Jonathan de Halleux</Author> - </Header> - <Snippet> - <Imports> - <Import> - <Namespace>System.Diagnostics.Contracts</Namespace> - </Import> - </Imports> - <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Ensures($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</Title>
+ <Shortcut>ce</Shortcut>
+ <Description>Emits a 'ensures' clause</Description>
+ <Author>Jonathan de Halleux</Author>
+ </Header>
+ <Snippet>
+ <Imports>
+ <Import>
+ <Namespace>System.Diagnostics.Contracts</Namespace>
+ </Import>
+ </Imports>
+ <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Ensures($end$);]]></Code>
+ </Snippet>
+ </CodeSnippet>
+</CodeSnippets>
|