diff options
| author |  tabarbe <unknown> | 2010-08-02 22:59:03 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-08-02 22:59:03 +0000 |
| commit | 09d97a79fe70f1c9b67ee5fac5afc41855ab208a (patch) | |
| tree | 7bffdf4a0fd85ab8f51b5da15913067741a81bda /Util/Code Snippets/contractensuresvalretNonNullElem.snippet | |
| parent | 06556b41398af34e04c9fcbec14e19973895ca30 (diff) | |
Boogie: Added a new code snippet for IEnumerable out parameters
Diffstat (limited to 'Util/Code Snippets/contractensuresvalretNonNullElem.snippet')
| -rw-r--r-- | Util/Code Snippets/contractensuresvalretNonNullElem.snippet | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/Util/Code Snippets/contractensuresvalretNonNullElem.snippet b/Util/Code Snippets/contractensuresvalretNonNullElem.snippet new file mode 100644 index 00000000..c5915f44 --- /dev/null +++ b/Util/Code Snippets/contractensuresvalretNonNullElem.snippet @@ -0,0 +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.Ensures(cce.NonNullElements(Contract.ValueAtReturn(...)))</Title>
+ <Shortcut>cernn</Shortcut>
+ <Description>Emits a 'Contract.Ensures' cce.non-nullelements out parameter clause</Description>
+ <Author>tabarbe</Author>
+ </Header>
+ <Snippet>
+ <Imports>
+ <Import>
+ <Namespace>System.Diagnostics.Contracts</Namespace>
+ </Import>
+ </Imports>
+ <Declarations>
+ <Object Editable="true">
+ <ID>value</ID>
+ <ToolTip>Value that must not be null</ToolTip>
+ <Default>arg</Default>
+ <Function>
+ </Function>
+ </Object>
+ </Declarations>
+ <Code Language="CSharp" Kind="method body"><![CDATA[Contract.Ensures(cce.NonNullElements(Contract.ValueAtReturn(out $value$)));$end$]]></Code>
+ </Snippet>
+ </CodeSnippet>
+</CodeSnippets>
\ No newline at end of file |