diff options
| author | Andrew Arnott <andrewarnott@gmail.com> | 2010-08-02 06:12:26 -0700 |
|---|---|---|
| committer | Andrew Arnott <andrewarnott@gmail.com> | 2010-08-02 06:12:26 -0700 |
| commit | 1eaa27d722efd9704949bc5e33304568a75fa776 (patch) | |
| tree | 529a7599b40b6e31d35a9b6d85e8caf7bb6c72d4 /tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinvariantmethod.snippet | |
| parent | e74e07e8b9f85816ec34b4e00b8b7925dcec5318 (diff) | |
| download | DotNetOpenAuth-1eaa27d722efd9704949bc5e33304568a75fa776.zip DotNetOpenAuth-1eaa27d722efd9704949bc5e33304568a75fa776.tar.gz DotNetOpenAuth-1eaa27d722efd9704949bc5e33304568a75fa776.tar.bz2 | |
Fixed more line-endings.
Diffstat (limited to 'tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinvariantmethod.snippet')
| -rw-r--r-- | tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinvariantmethod.snippet | 72 |
1 files changed, 36 insertions, 36 deletions
diff --git a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinvariantmethod.snippet b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinvariantmethod.snippet index b2153d8..20eef7a 100644 --- a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinvariantmethod.snippet +++ b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinvariantmethod.snippet @@ -1,36 +1,36 @@ -<?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>
- <Object Editable="true">
- <ID>condition</ID>
- <ToolTip>boolean precondition</ToolTip>
- <Default>false</Default>
- <Function>
- </Function>
- </Object>
- </Declarations>
- <Code Language="CSharp" Kind="method body"><![CDATA[[ContractInvariantMethod]
-void ObjectInvariant()
-{
- 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 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> + <Object Editable="true"> + <ID>condition</ID> + <ToolTip>boolean precondition</ToolTip> + <Default>false</Default> + <Function> + </Function> + </Object> + </Declarations> + <Code Language="CSharp" Kind="method body"><![CDATA[[ContractInvariantMethod] +void ObjectInvariant() +{ + Contract.Invariant($condition$);$end$ +} +]]></Code> + </Snippet> + </CodeSnippet> +</CodeSnippets> |