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/VisualBasic/Code Contract Snippets/contractinvariantnonnull.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/VisualBasic/Code Contract Snippets/contractinvariantnonnull.snippet')
| -rw-r--r-- | tools/Contracts/Languages/VisualBasic/Code Contract Snippets/contractinvariantnonnull.snippet | 62 |
1 files changed, 31 insertions, 31 deletions
diff --git a/tools/Contracts/Languages/VisualBasic/Code Contract Snippets/contractinvariantnonnull.snippet b/tools/Contracts/Languages/VisualBasic/Code Contract Snippets/contractinvariantnonnull.snippet index 2bf7072..e449827 100644 --- a/tools/Contracts/Languages/VisualBasic/Code Contract Snippets/contractinvariantnonnull.snippet +++ b/tools/Contracts/Languages/VisualBasic/Code Contract Snippets/contractinvariantnonnull.snippet @@ -1,31 +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>cinvn</Shortcut> - <Description>Emits a 'Contract.Invariant' IsNot Nothing 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</ToolTip> - <Default>m_X</Default> - <Function> - </Function> - </Object> - </Declarations> - <Code Language="VB" Kind="method body"><![CDATA[Contract.Invariant($expression$ IsNot Nothing)]]></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.Invariant</Title>
+ <Shortcut>cinvn</Shortcut>
+ <Description>Emits a 'Contract.Invariant' IsNot Nothing 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</ToolTip>
+ <Default>m_X</Default>
+ <Function>
+ </Function>
+ </Object>
+ </Declarations>
+ <Code Language="VB" Kind="method body"><![CDATA[Contract.Invariant($expression$ IsNot Nothing)]]></Code>
+ </Snippet>
+ </CodeSnippet>
+</CodeSnippets>
|