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/contractinvariantmethod.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/contractinvariantmethod.snippet')
| -rw-r--r-- | tools/Contracts/Languages/VisualBasic/Code Contract Snippets/contractinvariantmethod.snippet | 70 |
1 files changed, 35 insertions, 35 deletions
diff --git a/tools/Contracts/Languages/VisualBasic/Code Contract Snippets/contractinvariantmethod.snippet b/tools/Contracts/Languages/VisualBasic/Code Contract Snippets/contractinvariantmethod.snippet index 750fc80..76696bf 100644 --- a/tools/Contracts/Languages/VisualBasic/Code Contract Snippets/contractinvariantmethod.snippet +++ b/tools/Contracts/Languages/VisualBasic/Code Contract Snippets/contractinvariantmethod.snippet @@ -1,35 +1,35 @@ -<?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 Method</Title> - <Shortcut>cim</Shortcut> - <Description>Boiler plate invariant method</Description> - <Author>Jonathan de Halleux</Author> - </Header> - <Snippet> - <Imports> - <Import> - <Namespace>System.Diagnostics.Contracts</Namespace> - </Import> - </Imports> - <Declarations> - <Literal> - <ID>condition</ID> - <ToolTip>boolean precondition</ToolTip> - <Default>False</Default> - <Function> - </Function> - </Literal> - </Declarations> - <Code Language="VB" Kind="method decl"><![CDATA[<ContractInvariantMethod()> _ -Private Sub ObjectInvariant() - Contract.Invariant($condition$) -End Sub -]]></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 Method</Title>
+ <Shortcut>cim</Shortcut>
+ <Description>Boiler plate invariant method</Description>
+ <Author>Jonathan de Halleux</Author>
+ </Header>
+ <Snippet>
+ <Imports>
+ <Import>
+ <Namespace>System.Diagnostics.Contracts</Namespace>
+ </Import>
+ </Imports>
+ <Declarations>
+ <Literal>
+ <ID>condition</ID>
+ <ToolTip>boolean precondition</ToolTip>
+ <Default>False</Default>
+ <Function>
+ </Function>
+ </Literal>
+ </Declarations>
+ <Code Language="VB" Kind="method decl"><![CDATA[<ContractInvariantMethod()> _
+Private Sub ObjectInvariant()
+ Contract.Invariant($condition$)
+End Sub
+]]></Code>
+ </Snippet>
+ </CodeSnippet>
+</CodeSnippets>
|