diff options
Diffstat (limited to 'tools/Contracts/Languages/VisualBasic/Code Contract Snippets/contractrequires.snippet')
-rw-r--r-- | tools/Contracts/Languages/VisualBasic/Code Contract Snippets/contractrequires.snippet | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/tools/Contracts/Languages/VisualBasic/Code Contract Snippets/contractrequires.snippet b/tools/Contracts/Languages/VisualBasic/Code Contract Snippets/contractrequires.snippet deleted file mode 100644 index 79aa5fd..0000000 --- a/tools/Contracts/Languages/VisualBasic/Code Contract Snippets/contractrequires.snippet +++ /dev/null @@ -1,31 +0,0 @@ -<?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>creq</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="VB" Kind="method body"><![CDATA[Contract.Requires($condition$)]]></Code> - </Snippet> - </CodeSnippet> -</CodeSnippets> |