diff options
Diffstat (limited to 'tools/Contracts/Languages/CSharp')
12 files changed, 373 insertions, 373 deletions
diff --git a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinvariantnonnull.snippet b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinvariantnonnull.snippet index ab85b71..f061cea 100644 --- a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinvariantnonnull.snippet +++ b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinvariantnonnull.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>cin</Shortcut>
- <Description>Emits a 'Contract.Invariant' non-null clause</Description>
- <Author>Jonathan de Halleux</Author>
- </Header>
- <Snippet>
- <Imports>
- <Import>
- <Namespace>System.Diagnostics.Contracts</Namespace>
- </Import>
- </Imports>
- <Declarations>
- <Object Editable="true">
- <ID>expression</ID>
- <ToolTip>the non-null expression</ToolTip>
- <Default>m_X</Default>
- <Function>
- </Function>
- </Object>
- </Declarations>
- <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Invariant($expression$ != 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.Invariant</Title> + <Shortcut>cin</Shortcut> + <Description>Emits a 'Contract.Invariant' non-null clause</Description> + <Author>Jonathan de Halleux</Author> + </Header> + <Snippet> + <Imports> + <Import> + <Namespace>System.Diagnostics.Contracts</Namespace> + </Import> + </Imports> + <Declarations> + <Object Editable="true"> + <ID>expression</ID> + <ToolTip>the non-null expression</ToolTip> + <Default>m_X</Default> + <Function> + </Function> + </Object> + </Declarations> + <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Invariant($expression$ != null);$end$]]></Code> + </Snippet> + </CodeSnippet> +</CodeSnippets> diff --git a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinvariantnotisnullorempty.snippet b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinvariantnotisnullorempty.snippet index 69fadd8..d91b35c 100644 --- a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinvariantnotisnullorempty.snippet +++ b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractinvariantnotisnullorempty.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>cisn</Shortcut>
- <Description>Emits a 'Contract.Invariant' not String.IsNullOrEmpty clause</Description>
- <Author>Jonathan de Halleux</Author>
- </Header>
- <Snippet>
- <Imports>
- <Import>
- <Namespace>System.Diagnostics.Contracts</Namespace>
- </Import>
- </Imports>
- <Declarations>
- <Object Editable="true">
- <ID>expression</ID>
- <ToolTip>expression that is not null or empty</ToolTip>
- <Default>m_X</Default>
- <Function>
- </Function>
- </Object>
- </Declarations>
- <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Invariant(!String.IsNullOrEmpty($expression$));$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>cisn</Shortcut> + <Description>Emits a 'Contract.Invariant' not String.IsNullOrEmpty clause</Description> + <Author>Jonathan de Halleux</Author> + </Header> + <Snippet> + <Imports> + <Import> + <Namespace>System.Diagnostics.Contracts</Namespace> + </Import> + </Imports> + <Declarations> + <Object Editable="true"> + <ID>expression</ID> + <ToolTip>expression that is not null or empty</ToolTip> + <Default>m_X</Default> + <Function> + </Function> + </Object> + </Declarations> + <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Invariant(!String.IsNullOrEmpty($expression$));$end$]]></Code> + </Snippet> + </CodeSnippet> +</CodeSnippets> diff --git a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractold.snippet b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractold.snippet index ce84564..7cbbfb4 100644 --- a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractold.snippet +++ b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractold.snippet @@ -1,28 +1,28 @@ -<?xml version="1.0" encoding="utf-8"?>
-<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">
- <CodeSnippet Format="1.0.0">
- <Header>
- <Title>Contract.OldValue</Title>
- <Shortcut>co</Shortcut>
- <Description>Emits a 'Contract.OldValue' expression</Description>
- <Author>Manuel Fahndrich</Author>
- </Header>
- <Snippet>
- <Imports>
- <Import>
- <Namespace>System.Diagnostics.Contracts</Namespace>
- </Import>
- </Imports>
- <Declarations>
- <Object Editable="true">
- <ID>expression</ID>
- <ToolTip>old expression</ToolTip>
- <Default>x</Default>
- <Function>
- </Function>
- </Object>
- </Declarations>
- <Code Language="CSharp" Kind="any"><![CDATA[Contract.OldValue($expression$)$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> + <Title>Contract.OldValue</Title> + <Shortcut>co</Shortcut> + <Description>Emits a 'Contract.OldValue' expression</Description> + <Author>Manuel Fahndrich</Author> + </Header> + <Snippet> + <Imports> + <Import> + <Namespace>System.Diagnostics.Contracts</Namespace> + </Import> + </Imports> + <Declarations> + <Object Editable="true"> + <ID>expression</ID> + <ToolTip>old expression</ToolTip> + <Default>x</Default> + <Function> + </Function> + </Object> + </Declarations> + <Code Language="CSharp" Kind="any"><![CDATA[Contract.OldValue($expression$)$end$]]></Code> + </Snippet> + </CodeSnippet> +</CodeSnippets> diff --git a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequires.snippet b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequires.snippet index 774810f..770fbc7 100644 --- a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequires.snippet +++ b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequires.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.Requires</Title>
- <Shortcut>cr</Shortcut>
- <Description>Emits a 'Contract.Requires' 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>precondition expression</ToolTip>
- <Default>false</Default>
- <Function>
- </Function>
- </Object>
- </Declarations>
- <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Requires($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.Requires</Title> + <Shortcut>cr</Shortcut> + <Description>Emits a 'Contract.Requires' 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>precondition expression</ToolTip> + <Default>false</Default> + <Function> + </Function> + </Object> + </Declarations> + <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Requires($condition$);$end$]]></Code> + </Snippet> + </CodeSnippet> +</CodeSnippets> diff --git a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresalways.snippet b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresalways.snippet index b97916c..eb082d1 100644 --- a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresalways.snippet +++ b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresalways.snippet @@ -1,38 +1,38 @@ -<?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.Requires<E></Title>
- <Shortcut>cre</Shortcut>
- <Description>Emits a 'Contract.Requires<Exc>' clause</Description>
- <Author>Jonathan de Halleux</Author>
- </Header>
- <Snippet>
- <Imports>
- <Import>
- <Namespace>System.Diagnostics.Contracts</Namespace>
- </Import>
- </Imports>
- <Declarations>
- <Object Editable="true">
- <ID>exception</ID>
- <ToolTip>Exception type</ToolTip>
- <Default>ArgumentException</Default>
- <Function>
- </Function>
- </Object>
- <Object Editable="true">
- <ID>condition</ID>
- <ToolTip>precondition expression</ToolTip>
- <Default>false</Default>
- <Function>
- </Function>
- </Object>
- </Declarations>
- <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Requires<$exception$>($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.Requires<E></Title> + <Shortcut>cre</Shortcut> + <Description>Emits a 'Contract.Requires<Exc>' clause</Description> + <Author>Jonathan de Halleux</Author> + </Header> + <Snippet> + <Imports> + <Import> + <Namespace>System.Diagnostics.Contracts</Namespace> + </Import> + </Imports> + <Declarations> + <Object Editable="true"> + <ID>exception</ID> + <ToolTip>Exception type</ToolTip> + <Default>ArgumentException</Default> + <Function> + </Function> + </Object> + <Object Editable="true"> + <ID>condition</ID> + <ToolTip>precondition expression</ToolTip> + <Default>false</Default> + <Function> + </Function> + </Object> + </Declarations> + <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Requires<$exception$>($condition$);$end$]]></Code> + </Snippet> + </CodeSnippet> +</CodeSnippets> diff --git a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresalwaysnotisnullorempty.snippet b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresalwaysnotisnullorempty.snippet index d8e72e8..44f1bf6 100644 --- a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresalwaysnotisnullorempty.snippet +++ b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresalwaysnotisnullorempty.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.Requires<ArgumentException>(!String.IsNullOrEmpty(..))</Title>
- <Shortcut>cresn</Shortcut>
- <Description>Emits a 'requires with exception' not IsNullOrEmpty</Description>
- <Author>Jonathan de Halleux</Author>
- </Header>
- <Snippet>
- <Imports>
- <Import>
- <Namespace>System.Diagnostics.Contracts</Namespace>
- </Import>
- </Imports>
- <Declarations>
- <Object Editable="true">
- <ID>variable</ID>
- <ToolTip>argument name</ToolTip>
- <Default>arg</Default>
- <Function>
- </Function>
- </Object>
- </Declarations>
- <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Requires<ArgumentException>(!String.IsNullOrEmpty($variable$));$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.Requires<ArgumentException>(!String.IsNullOrEmpty(..))</Title> + <Shortcut>cresn</Shortcut> + <Description>Emits a 'requires with exception' not IsNullOrEmpty</Description> + <Author>Jonathan de Halleux</Author> + </Header> + <Snippet> + <Imports> + <Import> + <Namespace>System.Diagnostics.Contracts</Namespace> + </Import> + </Imports> + <Declarations> + <Object Editable="true"> + <ID>variable</ID> + <ToolTip>argument name</ToolTip> + <Default>arg</Default> + <Function> + </Function> + </Object> + </Declarations> + <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Requires<ArgumentException>(!String.IsNullOrEmpty($variable$));$end$]]></Code> + </Snippet> + </CodeSnippet> +</CodeSnippets> diff --git a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresalwaysnotnull.snippet b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresalwaysnotnull.snippet index 4d56d1f..2f1ca2a 100644 --- a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresalwaysnotnull.snippet +++ b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresalwaysnotnull.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.Requires<ArgumentNullException>(.. != null)</Title>
- <Shortcut>cren</Shortcut>
- <Description>Emits a 'requires with exception' not null clause</Description>
- <Author>Jonathan de Halleux</Author>
- </Header>
- <Snippet>
- <Imports>
- <Import>
- <Namespace>System.Diagnostics.Contracts</Namespace>
- </Import>
- </Imports>
- <Declarations>
- <Object Editable="true">
- <ID>variable</ID>
- <ToolTip>variable name</ToolTip>
- <Default>arg</Default>
- <Function>
- </Function>
- </Object>
- </Declarations>
- <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Requires<ArgumentNullException>($variable$ != null, "$variable$");$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.Requires<ArgumentNullException>(.. != null)</Title> + <Shortcut>cren</Shortcut> + <Description>Emits a 'requires with exception' not null clause</Description> + <Author>Jonathan de Halleux</Author> + </Header> + <Snippet> + <Imports> + <Import> + <Namespace>System.Diagnostics.Contracts</Namespace> + </Import> + </Imports> + <Declarations> + <Object Editable="true"> + <ID>variable</ID> + <ToolTip>variable name</ToolTip> + <Default>arg</Default> + <Function> + </Function> + </Object> + </Declarations> + <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Requires<ArgumentNullException>($variable$ != null, "$variable$");$end$]]></Code> + </Snippet> + </CodeSnippet> +</CodeSnippets> diff --git a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresnotisnullorempty.snippet b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresnotisnullorempty.snippet index 56bb8a8..d6df838 100644 --- a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresnotisnullorempty.snippet +++ b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresnotisnullorempty.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.Requires(!String.IsNullOrEmpty(..))</Title>
- <Shortcut>crsn</Shortcut>
- <Description>Emits a 'requires' not IsNullOrEmpty</Description>
- <Author>Jonathan de Halleux</Author>
- </Header>
- <Snippet>
- <Imports>
- <Import>
- <Namespace>System.Diagnostics.Contracts</Namespace>
- </Import>
- </Imports>
- <Declarations>
- <Object Editable="true">
- <ID>variable</ID>
- <ToolTip>argument name</ToolTip>
- <Default>arg</Default>
- <Function>
- </Function>
- </Object>
- </Declarations>
- <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Requires(!String.IsNullOrEmpty($variable$));$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.Requires(!String.IsNullOrEmpty(..))</Title> + <Shortcut>crsn</Shortcut> + <Description>Emits a 'requires' not IsNullOrEmpty</Description> + <Author>Jonathan de Halleux</Author> + </Header> + <Snippet> + <Imports> + <Import> + <Namespace>System.Diagnostics.Contracts</Namespace> + </Import> + </Imports> + <Declarations> + <Object Editable="true"> + <ID>variable</ID> + <ToolTip>argument name</ToolTip> + <Default>arg</Default> + <Function> + </Function> + </Object> + </Declarations> + <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Requires(!String.IsNullOrEmpty($variable$));$end$]]></Code> + </Snippet> + </CodeSnippet> +</CodeSnippets> diff --git a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresnotnull.snippet b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresnotnull.snippet index 69d696e..e0607cc 100644 --- a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresnotnull.snippet +++ b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractrequiresnotnull.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.Requires(.. != null)</Title>
- <Shortcut>crn</Shortcut>
- <Description>Emits a 'requires' not null clause</Description>
- <Author>Jonathan de Halleux</Author>
- </Header>
- <Snippet>
- <Imports>
- <Import>
- <Namespace>System.Diagnostics.Contracts</Namespace>
- </Import>
- </Imports>
- <Declarations>
- <Object Editable="true">
- <ID>variable</ID>
- <ToolTip>variable name</ToolTip>
- <Default>arg</Default>
- <Function>
- </Function>
- </Object>
- </Declarations>
- <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Requires($variable$ != 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.Requires(.. != null)</Title> + <Shortcut>crn</Shortcut> + <Description>Emits a 'requires' not null clause</Description> + <Author>Jonathan de Halleux</Author> + </Header> + <Snippet> + <Imports> + <Import> + <Namespace>System.Diagnostics.Contracts</Namespace> + </Import> + </Imports> + <Declarations> + <Object Editable="true"> + <ID>variable</ID> + <ToolTip>variable name</ToolTip> + <Default>arg</Default> + <Function> + </Function> + </Object> + </Declarations> + <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Requires($variable$ != null);$end$]]></Code> + </Snippet> + </CodeSnippet> +</CodeSnippets> diff --git a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractresult.snippet b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractresult.snippet index 1ad483b..3e3f4f2 100644 --- a/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractresult.snippet +++ b/tools/Contracts/Languages/CSharp/Code Contract Snippets/contractresult.snippet @@ -1,28 +1,28 @@ -<?xml version="1.0" encoding="utf-8"?>
-<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">
- <CodeSnippet Format="1.0.0">
- <Header>
- <Title>Contract.Result</Title>
- <Shortcut>crr</Shortcut>
- <Description>Emits a 'Contract.Result' expression</Description>
- <Author>Manuel Fahndrich</Author>
- </Header>
- <Snippet>
- <Imports>
- <Import>
- <Namespace>System.Diagnostics.Contracts</Namespace>
- </Import>
- </Imports>
- <Declarations>
- <Object Editable="true">
- <ID>type</ID>
- <ToolTip>method return type</ToolTip>
- <Default>int</Default>
- <Function>
- </Function>
- </Object>
- </Declarations>
- <Code Language="CSharp" Kind="any"><![CDATA[Contract.Result<$type$>()$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> + <Title>Contract.Result</Title> + <Shortcut>crr</Shortcut> + <Description>Emits a 'Contract.Result' expression</Description> + <Author>Manuel Fahndrich</Author> + </Header> + <Snippet> + <Imports> + <Import> + <Namespace>System.Diagnostics.Contracts</Namespace> + </Import> + </Imports> + <Declarations> + <Object Editable="true"> + <ID>type</ID> + <ToolTip>method return type</ToolTip> + <Default>int</Default> + <Function> + </Function> + </Object> + </Declarations> + <Code Language="CSharp" Kind="any"><![CDATA[Contract.Result<$type$>()$end$]]></Code> + </Snippet> + </CodeSnippet> +</CodeSnippets> diff --git a/tools/Contracts/Languages/CSharp/ContractDeclarativeAssemblyAttribute.cs b/tools/Contracts/Languages/CSharp/ContractDeclarativeAssemblyAttribute.cs index 8fdc990..ab2a247 100644 --- a/tools/Contracts/Languages/CSharp/ContractDeclarativeAssemblyAttribute.cs +++ b/tools/Contracts/Languages/CSharp/ContractDeclarativeAssemblyAttribute.cs @@ -1,17 +1,17 @@ -//
-// This file is included when building a contract declarative assembly
-// in order to mark it as such for recognition by the tools
-//
-using System;
-using System.Collections.Generic;
-using System.Text;
-
-[assembly: global::System.Diagnostics.Contracts.ContractDeclarativeAssembly]
-
-namespace System.Diagnostics.Contracts
-{
- [AttributeUsage(AttributeTargets.Assembly)]
- internal class ContractDeclarativeAssemblyAttribute : global::System.Attribute
- {
- }
-}
+// +// This file is included when building a contract declarative assembly +// in order to mark it as such for recognition by the tools +// +using System; +using System.Collections.Generic; +using System.Text; + +[assembly: global::System.Diagnostics.Contracts.ContractDeclarativeAssembly] + +namespace System.Diagnostics.Contracts +{ + [AttributeUsage(AttributeTargets.Assembly)] + internal class ContractDeclarativeAssemblyAttribute : global::System.Attribute + { + } +} diff --git a/tools/Contracts/Languages/CSharp/ContractExtensions.cs b/tools/Contracts/Languages/CSharp/ContractExtensions.cs index 6f0cec1..4074ffa 100644 --- a/tools/Contracts/Languages/CSharp/ContractExtensions.cs +++ b/tools/Contracts/Languages/CSharp/ContractExtensions.cs @@ -1,45 +1,45 @@ -//
-// Include this file in your project if your project uses
-// ContractArgumentValidator or ContractAbbreviator methods
-//
-using System;
-
-namespace System.Diagnostics.Contracts
-{
- /// <summary>
- /// Enables factoring legacy if-then-throw into separate methods for reuse and full control over
- /// thrown exception and arguments
- /// </summary>
- [AttributeUsage(AttributeTargets.Method, AllowMultiple=false)]
- [Conditional("CONTRACTS_FULL")]
- internal sealed class ContractArgumentValidatorAttribute : global::System.Attribute
- {
- }
-
- /// <summary>
- /// Enables writing abbreviations for contracts that get copied to other methods
- /// </summary>
- [AttributeUsage(AttributeTargets.Method, AllowMultiple=false)]
- [Conditional("CONTRACTS_FULL")]
- internal sealed class ContractAbbreviatorAttribute : global::System.Attribute
- {
- }
-
- /// <summary>
- /// Allows setting contract and tool options at assembly, type, or method granularity.
- /// </summary>
- [AttributeUsage(AttributeTargets.All, AllowMultiple=true, Inherited=false)]
- [Conditional("CONTRACTS_FULL")]
- internal sealed class ContractOptionAttribute : global::System.Attribute
- {
- [System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Usage", "CA1801:ReviewUnusedParameters", MessageId = "category", Justification = "Build-time only attribute")]
- [System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Usage", "CA1801:ReviewUnusedParameters", MessageId = "setting", Justification = "Build-time only attribute")]
- [System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Usage", "CA1801:ReviewUnusedParameters", MessageId = "toggle", Justification = "Build-time only attribute")]
- public ContractOptionAttribute(string category, string setting, bool toggle) { }
- [System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Usage", "CA1801:ReviewUnusedParameters", MessageId = "category", Justification = "Build-time only attribute")]
- [System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Usage", "CA1801:ReviewUnusedParameters", MessageId = "setting", Justification = "Build-time only attribute")]
- [System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Usage", "CA1801:ReviewUnusedParameters", MessageId = "value", Justification = "Build-time only attribute")]
- public ContractOptionAttribute(string category, string setting, string value) { }
- }
-}
-
+// +// Include this file in your project if your project uses +// ContractArgumentValidator or ContractAbbreviator methods +// +using System; + +namespace System.Diagnostics.Contracts +{ + /// <summary> + /// Enables factoring legacy if-then-throw into separate methods for reuse and full control over + /// thrown exception and arguments + /// </summary> + [AttributeUsage(AttributeTargets.Method, AllowMultiple=false)] + [Conditional("CONTRACTS_FULL")] + internal sealed class ContractArgumentValidatorAttribute : global::System.Attribute + { + } + + /// <summary> + /// Enables writing abbreviations for contracts that get copied to other methods + /// </summary> + [AttributeUsage(AttributeTargets.Method, AllowMultiple=false)] + [Conditional("CONTRACTS_FULL")] + internal sealed class ContractAbbreviatorAttribute : global::System.Attribute + { + } + + /// <summary> + /// Allows setting contract and tool options at assembly, type, or method granularity. + /// </summary> + [AttributeUsage(AttributeTargets.All, AllowMultiple=true, Inherited=false)] + [Conditional("CONTRACTS_FULL")] + internal sealed class ContractOptionAttribute : global::System.Attribute + { + [System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Usage", "CA1801:ReviewUnusedParameters", MessageId = "category", Justification = "Build-time only attribute")] + [System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Usage", "CA1801:ReviewUnusedParameters", MessageId = "setting", Justification = "Build-time only attribute")] + [System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Usage", "CA1801:ReviewUnusedParameters", MessageId = "toggle", Justification = "Build-time only attribute")] + public ContractOptionAttribute(string category, string setting, bool toggle) { } + [System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Usage", "CA1801:ReviewUnusedParameters", MessageId = "category", Justification = "Build-time only attribute")] + [System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Usage", "CA1801:ReviewUnusedParameters", MessageId = "setting", Justification = "Build-time only attribute")] + [System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Usage", "CA1801:ReviewUnusedParameters", MessageId = "value", Justification = "Build-time only attribute")] + public ContractOptionAttribute(string category, string setting, string value) { } + } +} + |