summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat
-rw-r--r--tools/Contracts/Languages/CSharp/Code Contract Snippets/contractassert.snippet62
-rw-r--r--tools/Contracts/Languages/CSharp/Code Contract Snippets/contractassume.snippet62
-rw-r--r--tools/Contracts/Languages/CSharp/Code Contract Snippets/contractensures.snippet44
-rw-r--r--tools/Contracts/Languages/CSharp/Code Contract Snippets/contractensuresnonnull.snippet64
-rw-r--r--tools/Contracts/Languages/CSharp/Code Contract Snippets/contractensuresnotisnullorempty.snippet50
-rw-r--r--tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinterface.snippet82
-rw-r--r--tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinvariant.snippet62
-rw-r--r--tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinvariantmethod.snippet72
8 files changed, 249 insertions, 249 deletions
diff --git a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractassert.snippet b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractassert.snippet
index dd7db9b..7a47503 100644
--- a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractassert.snippet
+++ b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractassert.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.Assert</Title>
- <Shortcut>cca</Shortcut>
- <Description>Emits a 'Contract.Assert' clause</Description>
- <Author>MaF</Author>
- </Header>
- <Snippet>
- <Imports>
- <Import>
- <Namespace>System.Diagnostics.Contracts</Namespace>
- </Import>
- </Imports>
- <Declarations>
- <Object Editable="true">
- <ID>condition</ID>
- <ToolTip>condition that must be true</ToolTip>
- <Default>false</Default>
- <Function>
- </Function>
- </Object>
- </Declarations>
- <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Assert($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.Assert</Title>
+ <Shortcut>cca</Shortcut>
+ <Description>Emits a 'Contract.Assert' clause</Description>
+ <Author>MaF</Author>
+ </Header>
+ <Snippet>
+ <Imports>
+ <Import>
+ <Namespace>System.Diagnostics.Contracts</Namespace>
+ </Import>
+ </Imports>
+ <Declarations>
+ <Object Editable="true">
+ <ID>condition</ID>
+ <ToolTip>condition that must be true</ToolTip>
+ <Default>false</Default>
+ <Function>
+ </Function>
+ </Object>
+ </Declarations>
+ <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Assert($condition$);$end$]]></Code>
+ </Snippet>
+ </CodeSnippet>
+</CodeSnippets>
diff --git a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractassume.snippet b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractassume.snippet
index 86039e3..4f78ef9 100644
--- a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractassume.snippet
+++ b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractassume.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.Assume</Title>
- <Shortcut>cam</Shortcut>
- <Description>Emits a 'Contract.Assume' clause</Description>
- <Author>MaF</Author>
- </Header>
- <Snippet>
- <Imports>
- <Import>
- <Namespace>System.Diagnostics.Contracts</Namespace>
- </Import>
- </Imports>
- <Declarations>
- <Object Editable="true">
- <ID>condition</ID>
- <ToolTip>condition that must be true</ToolTip>
- <Default>false</Default>
- <Function>
- </Function>
- </Object>
- </Declarations>
- <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Assume($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.Assume</Title>
+ <Shortcut>cam</Shortcut>
+ <Description>Emits a 'Contract.Assume' clause</Description>
+ <Author>MaF</Author>
+ </Header>
+ <Snippet>
+ <Imports>
+ <Import>
+ <Namespace>System.Diagnostics.Contracts</Namespace>
+ </Import>
+ </Imports>
+ <Declarations>
+ <Object Editable="true">
+ <ID>condition</ID>
+ <ToolTip>condition that must be true</ToolTip>
+ <Default>false</Default>
+ <Function>
+ </Function>
+ </Object>
+ </Declarations>
+ <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Assume($condition$);$end$]]></Code>
+ </Snippet>
+ </CodeSnippet>
+</CodeSnippets>
diff --git a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractensures.snippet b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractensures.snippet
index 82554ff..ecff2bf 100644
--- a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractensures.snippet
+++ b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractensures.snippet
@@ -1,22 +1,22 @@
-<?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.Ensures</Title>
- <Shortcut>ce</Shortcut>
- <Description>Emits a 'ensures' clause</Description>
- <Author>Jonathan de Halleux</Author>
- </Header>
- <Snippet>
- <Imports>
- <Import>
- <Namespace>System.Diagnostics.Contracts</Namespace>
- </Import>
- </Imports>
- <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Ensures($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.Ensures</Title>
+ <Shortcut>ce</Shortcut>
+ <Description>Emits a 'ensures' clause</Description>
+ <Author>Jonathan de Halleux</Author>
+ </Header>
+ <Snippet>
+ <Imports>
+ <Import>
+ <Namespace>System.Diagnostics.Contracts</Namespace>
+ </Import>
+ </Imports>
+ <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Ensures($end$);]]></Code>
+ </Snippet>
+ </CodeSnippet>
+</CodeSnippets>
diff --git a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractensuresnonnull.snippet b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractensuresnonnull.snippet
index 0cdc9bc..3e4f24b 100644
--- a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractensuresnonnull.snippet
+++ b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractensuresnonnull.snippet
@@ -1,32 +1,32 @@
-<?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.Ensures(Contract.Result() != null)</Title>
- <Shortcut>cen</Shortcut>
- <Description>Emits an 'ensures' clause specifying result not null</Description>
- <Author>Jonathan de Halleux</Author>
- </Header>
- <Snippet>
- <Imports>
- <Import>
- <Namespace>System.Diagnostics.Contracts</Namespace>
- </Import>
- </Imports>
- <Declarations>
- <Object Editable="true">
- <ID>type</ID>
- <ToolTip>the method return type</ToolTip>
- <Default>string</Default>
- <Function>
- </Function>
- </Object>
- </Declarations>
- <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Ensures(Contract.Result<$type$>() != null);
-$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.Ensures(Contract.Result() != null)</Title>
+ <Shortcut>cen</Shortcut>
+ <Description>Emits an 'ensures' clause specifying result not null</Description>
+ <Author>Jonathan de Halleux</Author>
+ </Header>
+ <Snippet>
+ <Imports>
+ <Import>
+ <Namespace>System.Diagnostics.Contracts</Namespace>
+ </Import>
+ </Imports>
+ <Declarations>
+ <Object Editable="true">
+ <ID>type</ID>
+ <ToolTip>the method return type</ToolTip>
+ <Default>string</Default>
+ <Function>
+ </Function>
+ </Object>
+ </Declarations>
+ <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Ensures(Contract.Result<$type$>() != null);
+$end$]]></Code>
+ </Snippet>
+ </CodeSnippet>
+</CodeSnippets>
diff --git a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractensuresnotisnullorempty.snippet b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractensuresnotisnullorempty.snippet
index 4847e14..6520876 100644
--- a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractensuresnotisnullorempty.snippet
+++ b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractensuresnotisnullorempty.snippet
@@ -1,25 +1,25 @@
-<?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.Ensures(!String.IsNullOrEmpty(Contract.Result()))</Title>
- <Shortcut>cesn</Shortcut>
- <Description>Emits an 'ensures' clause specifying result not null or empty</Description>
- <Author>Jonathan de Halleux</Author>
- </Header>
- <Snippet>
- <Imports>
- <Import>
- <Namespace>System.Diagnostics.Contracts</Namespace>
- </Import>
- </Imports>
- <Declarations>
- </Declarations>
- <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Ensures(!String.IsNullOrEmpty(Contract.Result<string>()));
-$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.Ensures(!String.IsNullOrEmpty(Contract.Result()))</Title>
+ <Shortcut>cesn</Shortcut>
+ <Description>Emits an 'ensures' clause specifying result not null or empty</Description>
+ <Author>Jonathan de Halleux</Author>
+ </Header>
+ <Snippet>
+ <Imports>
+ <Import>
+ <Namespace>System.Diagnostics.Contracts</Namespace>
+ </Import>
+ </Imports>
+ <Declarations>
+ </Declarations>
+ <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Ensures(!String.IsNullOrEmpty(Contract.Result<string>()));
+$end$]]></Code>
+ </Snippet>
+ </CodeSnippet>
+</CodeSnippets>
diff --git a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinterface.snippet b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinterface.snippet
index bc68663..6d90b95 100644
--- a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinterface.snippet
+++ b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinterface.snippet
@@ -1,41 +1,41 @@
-<?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>Contracted Interface</Title>
- <Shortcut>cintf</Shortcut>
- <Description>Boiler plate interface and contract</Description>
- <Author>Maf</Author>
- </Header>
- <Snippet>
- <Imports>
- <Import>
- <Namespace>System.Diagnostics.Contracts</Namespace>
- </Import>
- </Imports>
- <Declarations>
- <Object Editable="true">
- <ID>interface</ID>
- <ToolTip>Interface name</ToolTip>
- <Default>IFoo</Default>
- <Function>
- </Function>
- </Object>
- </Declarations>
- <Code Language="CSharp" Kind="type decl"><![CDATA[#region $interface$ contract binding
-[ContractClass(typeof($interface$Contract))]
-public partial interface $interface$ {
- $end$
-}
-
-[ContractClassFor(typeof($interface$))]
-abstract class $interface$Contract : $interface$ {
-}
-#endregion
-]]></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>Contracted Interface</Title>
+ <Shortcut>cintf</Shortcut>
+ <Description>Boiler plate interface and contract</Description>
+ <Author>Maf</Author>
+ </Header>
+ <Snippet>
+ <Imports>
+ <Import>
+ <Namespace>System.Diagnostics.Contracts</Namespace>
+ </Import>
+ </Imports>
+ <Declarations>
+ <Object Editable="true">
+ <ID>interface</ID>
+ <ToolTip>Interface name</ToolTip>
+ <Default>IFoo</Default>
+ <Function>
+ </Function>
+ </Object>
+ </Declarations>
+ <Code Language="CSharp" Kind="type decl"><![CDATA[#region $interface$ contract binding
+[ContractClass(typeof($interface$Contract))]
+public partial interface $interface$ {
+ $end$
+}
+
+[ContractClassFor(typeof($interface$))]
+abstract class $interface$Contract : $interface$ {
+}
+#endregion
+]]></Code>
+ </Snippet>
+ </CodeSnippet>
+</CodeSnippets>
diff --git a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinvariant.snippet b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinvariant.snippet
index b999b4b..218a468 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>
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>
generated by cgit v1.1 at 2025-05-17 15:27:28 +0000