summaryrefslogtreecommitdiffstats
path: root/tools/Contracts/Languages/VisualBasic/Code Contract Snippets/contractinvariantmethod.snippet
diff options
context:
space:
mode:
Diffstat (limited to 'tools/Contracts/Languages/VisualBasic/Code Contract Snippets/contractinvariantmethod.snippet')
-rw-r--r--tools/Contracts/Languages/VisualBasic/Code Contract Snippets/contractinvariantmethod.snippet70
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>