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/contractinvariant.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/contractinvariant.snippet')
| -rw-r--r-- | tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinvariant.snippet | 62 |
1 files changed, 31 insertions, 31 deletions
diff --git a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinvariant.snippet b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinvariant.snippet index 218a468..b999b4b 100644 --- a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinvariant.snippet +++ b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinvariant.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>ci</Shortcut> - <Description>Emits a 'Contract.Invariant' clause</Description> - <Author>Jonathan de Halleux</Author> - </Header> - <Snippet> - <Imports> - <Import> - <Namespace>System.Diagnostics.Contracts</Namespace> - </Import> - </Imports> - <Declarations> - <Object Editable="true"> - <ID>condition</ID> - <ToolTip>boolean invariant condition</ToolTip> - <Default>false</Default> - <Function> - </Function> - </Object> - </Declarations> - <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Invariant($condition$);$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.Invariant</Title>
+ <Shortcut>ci</Shortcut>
+ <Description>Emits a 'Contract.Invariant' clause</Description>
+ <Author>Jonathan de Halleux</Author>
+ </Header>
+ <Snippet>
+ <Imports>
+ <Import>
+ <Namespace>System.Diagnostics.Contracts</Namespace>
+ </Import>
+ </Imports>
+ <Declarations>
+ <Object Editable="true">
+ <ID>condition</ID>
+ <ToolTip>boolean invariant condition</ToolTip>
+ <Default>false</Default>
+ <Function>
+ </Function>
+ </Object>
+ </Declarations>
+ <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Invariant($condition$);$end$]]></Code>
+ </Snippet>
+ </CodeSnippet>
+</CodeSnippets>
|