diff options
| author | Andrew Arnott <andrewarnott@gmail.com> | 2012-12-26 16:25:10 -0800 |
|---|---|---|
| committer | Andrew Arnott <andrewarnott@gmail.com> | 2012-12-26 16:25:10 -0800 |
| commit | 4bf6dfa05ab5ba2d7ebff157dc4a1a85dae42125 (patch) | |
| tree | d13e1c27bdc20077e50059646d2823ab044e4d1e /tools/Contracts/Languages/CSharp/Code Contract Snippets/contractensuresnonnull.snippet | |
| parent | 8f48e3f1daedb77e451f9fe8ac497741c6bb06f9 (diff) | |
| download | DotNetOpenAuth-4bf6dfa05ab5ba2d7ebff157dc4a1a85dae42125.zip DotNetOpenAuth-4bf6dfa05ab5ba2d7ebff157dc4a1a85dae42125.tar.gz DotNetOpenAuth-4bf6dfa05ab5ba2d7ebff157dc4a1a85dae42125.tar.bz2 | |
Removes all traces of MS Code Contracts.
Diffstat (limited to 'tools/Contracts/Languages/CSharp/Code Contract Snippets/contractensuresnonnull.snippet')
| -rw-r--r-- | tools/Contracts/Languages/CSharp/Code Contract Snippets/contractensuresnonnull.snippet | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractensuresnonnull.snippet b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractensuresnonnull.snippet deleted file mode 100644 index 3e4f24b..0000000 --- a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractensuresnonnull.snippet +++ /dev/null @@ -1,32 +0,0 @@ -<?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.Result() != null)</Title> - <Shortcut>cen</Shortcut> - <Description>Emits an 'ensures' clause specifying result not null</Description> - <Author>Jonathan de Halleux</Author> - </Header> - <Snippet> - <Imports> - <Import> - <Namespace>System.Diagnostics.Contracts</Namespace> - </Import> - </Imports> - <Declarations> - <Object Editable="true"> - <ID>type</ID> - <ToolTip>the method return type</ToolTip> - <Default>string</Default> - <Function> - </Function> - </Object> - </Declarations> - <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Ensures(Contract.Result<$type$>() != null); -$end$]]></Code> - </Snippet> - </CodeSnippet> -</CodeSnippets> |