Checked in Code Contracts 1.2.30312.0 so it needn't be installed on dev machines, and for reproducible builds.

1 files changed, 36 insertions, 0 deletions

diff --git a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinvariantmethod.snippet b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinvariantmethod.snippet
new file mode 100644
index 0000000..20eef7a
--- /dev/null
+++ b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinvariantmethod.snippet
@@ -0,0 +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>