diff options
| author | Andrew Arnott <andrewarnott@gmail.com> | 2010-04-25 08:06:01 -0700 |
|---|---|---|
| committer | Andrew Arnott <andrewarnott@gmail.com> | 2010-04-25 08:15:18 -0700 |
| commit | 12ccef0642d68c0ffe8668e2df45cbe190ba1b9a (patch) | |
| tree | 5f51e47f4d46d9e567bda59b9722b348457e4a92 /tools/Contracts/Languages/VisualBasic/Code Contract Snippets/contractinvariantnotisnullorempty.snippet | |
| parent | 49767f0fdec02ef466dfce9f9157478fcdef7d0b (diff) | |
| download | DotNetOpenAuth-12ccef0642d68c0ffe8668e2df45cbe190ba1b9a.zip DotNetOpenAuth-12ccef0642d68c0ffe8668e2df45cbe190ba1b9a.tar.gz DotNetOpenAuth-12ccef0642d68c0ffe8668e2df45cbe190ba1b9a.tar.bz2 | |
Checked in Code Contracts 1.2.30312.0 so it needn't be installed on dev machines, and for reproducible builds.
Diffstat (limited to 'tools/Contracts/Languages/VisualBasic/Code Contract Snippets/contractinvariantnotisnullorempty.snippet')
| -rw-r--r-- | tools/Contracts/Languages/VisualBasic/Code Contract Snippets/contractinvariantnotisnullorempty.snippet | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/tools/Contracts/Languages/VisualBasic/Code Contract Snippets/contractinvariantnotisnullorempty.snippet b/tools/Contracts/Languages/VisualBasic/Code Contract Snippets/contractinvariantnotisnullorempty.snippet new file mode 100644 index 0000000..6277172 --- /dev/null +++ b/tools/Contracts/Languages/VisualBasic/Code Contract Snippets/contractinvariantnotisnullorempty.snippet @@ -0,0 +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</Title> + <Shortcut>cinvsn</Shortcut> + <Description>Emits a 'Contract.Invariant' Not String.IsNullOrEmpty clause</Description> + <Author>MaF</Author> + </Header> + <Snippet> + <Imports> + <Import> + <Namespace>System.Diagnostics.Contracts</Namespace> + </Import> + </Imports> + <Declarations> + <Object Editable="true"> + <ID>expression</ID> + <ToolTip>expression that is not nothing or empty</ToolTip> + <Default>m_X</Default> + <Function> + </Function> + </Object> + </Declarations> + <Code Language="VB" Kind="method body"><![CDATA[Contract.Invariant(Not String.IsNullOrEmpty($expression$))]]></Code> + </Snippet> + </CodeSnippet> +</CodeSnippets> |