Last active
August 29, 2015 13:56
-
-
Save NameOfTheDragon/9162585 to your computer and use it in GitHub Desktop.
ReSharper 8 LiveTemplates for Microsoft RiSE Code Contracts
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <wpf:ResourceDictionary xml:space="preserve" xmlns:x="http://schemas.microsoft.com/winfx/2006/xaml" xmlns:s="clr-namespace:System;assembly=mscorlib" xmlns:ss="urn:shemas-jetbrains-com:settings-storage-xaml" xmlns:wpf="http://schemas.microsoft.com/winfx/2006/xaml/presentation"> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=043D87E97243F74F986876C4F6810065/@KeyIndexDefined">True</s:Boolean> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=043D87E97243F74F986876C4F6810065/Applicability/=Live/@EntryIndexedValue">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=043D87E97243F74F986876C4F6810065/Categories/=Contracts/@EntryIndexedValue">Contracts</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=043D87E97243F74F986876C4F6810065/Description/@EntryValue">Contract.Ensures</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=043D87E97243F74F986876C4F6810065/Reformat/@EntryValue">True</s:Boolean> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=043D87E97243F74F986876C4F6810065/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/@KeyIndexDefined">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=043D87E97243F74F986876C4F6810065/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/CustomProperties/=minimumLanguageVersion/@EntryIndexedValue">2.0</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=043D87E97243F74F986876C4F6810065/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/Type/@EntryValue">InCSharpStatement</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=043D87E97243F74F986876C4F6810065/Shortcut/@EntryValue">ce</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=043D87E97243F74F986876C4F6810065/ShortenQualifiedReferences/@EntryValue">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=043D87E97243F74F986876C4F6810065/Text/@EntryValue">Contract.Ensures($END$);</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=2436B7F1FB4997409252B03D3E21CC64/@KeyIndexDefined">True</s:Boolean> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=2436B7F1FB4997409252B03D3E21CC64/Applicability/=Live/@EntryIndexedValue">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=2436B7F1FB4997409252B03D3E21CC64/Categories/=Contracts/@EntryIndexedValue">Contracts</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=2436B7F1FB4997409252B03D3E21CC64/Description/@EntryValue">Contract.Assert</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=2436B7F1FB4997409252B03D3E21CC64/Reformat/@EntryValue">True</s:Boolean> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=2436B7F1FB4997409252B03D3E21CC64/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/@KeyIndexDefined">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=2436B7F1FB4997409252B03D3E21CC64/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/CustomProperties/=minimumLanguageVersion/@EntryIndexedValue">2.0</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=2436B7F1FB4997409252B03D3E21CC64/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/Type/@EntryValue">InCSharpStatement</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=2436B7F1FB4997409252B03D3E21CC64/Shortcut/@EntryValue">cca</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=2436B7F1FB4997409252B03D3E21CC64/ShortenQualifiedReferences/@EntryValue">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=2436B7F1FB4997409252B03D3E21CC64/Text/@EntryValue">Contract.Assert($END$);</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=3CE1F522FAD8714A8BDC0AA14D84BF35/@KeyIndexDefined">True</s:Boolean> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=3CE1F522FAD8714A8BDC0AA14D84BF35/Applicability/=Live/@EntryIndexedValue">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=3CE1F522FAD8714A8BDC0AA14D84BF35/Categories/=Contracts/@EntryIndexedValue">Contracts</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=3CE1F522FAD8714A8BDC0AA14D84BF35/Description/@EntryValue">Contraint Invariant Method</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=3CE1F522FAD8714A8BDC0AA14D84BF35/Reformat/@EntryValue">True</s:Boolean> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=3CE1F522FAD8714A8BDC0AA14D84BF35/Scope/=B68999B9D6B43E47A02B22C12A54C3CC/@KeyIndexDefined">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=3CE1F522FAD8714A8BDC0AA14D84BF35/Scope/=B68999B9D6B43E47A02B22C12A54C3CC/CustomProperties/=minimumLanguageVersion/@EntryIndexedValue">2.0</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=3CE1F522FAD8714A8BDC0AA14D84BF35/Scope/=B68999B9D6B43E47A02B22C12A54C3CC/Type/@EntryValue">InCSharpTypeMember</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=3CE1F522FAD8714A8BDC0AA14D84BF35/Shortcut/@EntryValue">cim</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=3CE1F522FAD8714A8BDC0AA14D84BF35/ShortenQualifiedReferences/@EntryValue">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=3CE1F522FAD8714A8BDC0AA14D84BF35/Text/@EntryValue">[ContractInvariantMethod]
 | |
| private ObjectInvariant()
 | |
| {
 | |
| Contract.Invariant($END$);
 | |
| }</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=43A9BFB553401B4A808F6CD2FCD9B017/@KeyIndexDefined">True</s:Boolean> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=43A9BFB553401B4A808F6CD2FCD9B017/Applicability/=Live/@EntryIndexedValue">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=43A9BFB553401B4A808F6CD2FCD9B017/Categories/=Contracts/@EntryIndexedValue">Contracts</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=43A9BFB553401B4A808F6CD2FCD9B017/Description/@EntryValue">Contract.OldValue</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=43A9BFB553401B4A808F6CD2FCD9B017/Reformat/@EntryValue">True</s:Boolean> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=43A9BFB553401B4A808F6CD2FCD9B017/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/@KeyIndexDefined">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=43A9BFB553401B4A808F6CD2FCD9B017/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/CustomProperties/=minimumLanguageVersion/@EntryIndexedValue">2.0</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=43A9BFB553401B4A808F6CD2FCD9B017/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/Type/@EntryValue">InCSharpStatement</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=43A9BFB553401B4A808F6CD2FCD9B017/Shortcut/@EntryValue">co</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=43A9BFB553401B4A808F6CD2FCD9B017/ShortenQualifiedReferences/@EntryValue">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=43A9BFB553401B4A808F6CD2FCD9B017/Text/@EntryValue">Contract.OldValue($END$);</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=48A3DDBDD47091468FD274520D2E58EA/@KeyIndexDefined">True</s:Boolean> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=48A3DDBDD47091468FD274520D2E58EA/Applicability/=Live/@EntryIndexedValue">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=48A3DDBDD47091468FD274520D2E58EA/Categories/=Contracts/@EntryIndexedValue">Contracts</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=48A3DDBDD47091468FD274520D2E58EA/Description/@EntryValue">Contract.Requires</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=48A3DDBDD47091468FD274520D2E58EA/Reformat/@EntryValue">True</s:Boolean> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=48A3DDBDD47091468FD274520D2E58EA/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/@KeyIndexDefined">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=48A3DDBDD47091468FD274520D2E58EA/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/CustomProperties/=minimumLanguageVersion/@EntryIndexedValue">2.0</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=48A3DDBDD47091468FD274520D2E58EA/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/Type/@EntryValue">InCSharpStatement</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=48A3DDBDD47091468FD274520D2E58EA/Shortcut/@EntryValue">cr</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=48A3DDBDD47091468FD274520D2E58EA/ShortenQualifiedReferences/@EntryValue">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=48A3DDBDD47091468FD274520D2E58EA/Text/@EntryValue">Contract.Requires($END$);</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=5F56F90F3D80574ABEB42413B88A274E/@KeyIndexDefined">True</s:Boolean> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=5F56F90F3D80574ABEB42413B88A274E/Applicability/=Live/@EntryIndexedValue">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=5F56F90F3D80574ABEB42413B88A274E/Categories/=Contracts/@EntryIndexedValue">Contracts</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=5F56F90F3D80574ABEB42413B88A274E/Description/@EntryValue">Contract.Result<T></s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=5F56F90F3D80574ABEB42413B88A274E/Field/=T/@KeyIndexDefined">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=5F56F90F3D80574ABEB42413B88A274E/Field/=T/Expression/@EntryValue">guessExpectedType("")</s:String> | |
| <s:Int64 x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=5F56F90F3D80574ABEB42413B88A274E/Field/=T/Order/@EntryValue">0</s:Int64> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=5F56F90F3D80574ABEB42413B88A274E/Reformat/@EntryValue">True</s:Boolean> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=5F56F90F3D80574ABEB42413B88A274E/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/@KeyIndexDefined">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=5F56F90F3D80574ABEB42413B88A274E/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/CustomProperties/=minimumLanguageVersion/@EntryIndexedValue">2.0</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=5F56F90F3D80574ABEB42413B88A274E/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/Type/@EntryValue">InCSharpStatement</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=5F56F90F3D80574ABEB42413B88A274E/Shortcut/@EntryValue">crr</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=5F56F90F3D80574ABEB42413B88A274E/ShortenQualifiedReferences/@EntryValue">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=5F56F90F3D80574ABEB42413B88A274E/Text/@EntryValue">Contract.Result<$T$>($END$);</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=67D218C69A06834E93F246C405199917/@KeyIndexDefined">True</s:Boolean> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=67D218C69A06834E93F246C405199917/Applicability/=Live/@EntryIndexedValue">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=67D218C69A06834E93F246C405199917/Categories/=Contracts/@EntryIndexedValue">Contracts</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=67D218C69A06834E93F246C405199917/Description/@EntryValue">Contract.Ensures(string result not null or empty)</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=67D218C69A06834E93F246C405199917/Reformat/@EntryValue">True</s:Boolean> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=67D218C69A06834E93F246C405199917/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/@KeyIndexDefined">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=67D218C69A06834E93F246C405199917/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/CustomProperties/=minimumLanguageVersion/@EntryIndexedValue">2.0</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=67D218C69A06834E93F246C405199917/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/Type/@EntryValue">InCSharpStatement</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=67D218C69A06834E93F246C405199917/Shortcut/@EntryValue">cesn</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=67D218C69A06834E93F246C405199917/ShortenQualifiedReferences/@EntryValue">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=67D218C69A06834E93F246C405199917/Text/@EntryValue">Contract.Ensures( !String.IsNullOrEmpty(Contracts.Result<string>()) );$END$</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=6E4FEE84644CC74BAFF56159AACC9676/@KeyIndexDefined">True</s:Boolean> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=6E4FEE84644CC74BAFF56159AACC9676/Applicability/=Live/@EntryIndexedValue">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=6E4FEE84644CC74BAFF56159AACC9676/Categories/=Contracts/@EntryIndexedValue">Contracts</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=6E4FEE84644CC74BAFF56159AACC9676/Description/@EntryValue">Contract.Requires<exception></s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=6E4FEE84644CC74BAFF56159AACC9676/Field/=exception/@KeyIndexDefined">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=6E4FEE84644CC74BAFF56159AACC9676/Field/=exception/Expression/@EntryValue">guessExpectedType("")</s:String> | |
| <s:Int64 x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=6E4FEE84644CC74BAFF56159AACC9676/Field/=exception/Order/@EntryValue">0</s:Int64> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=6E4FEE84644CC74BAFF56159AACC9676/Reformat/@EntryValue">True</s:Boolean> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=6E4FEE84644CC74BAFF56159AACC9676/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/@KeyIndexDefined">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=6E4FEE84644CC74BAFF56159AACC9676/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/CustomProperties/=minimumLanguageVersion/@EntryIndexedValue">2.0</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=6E4FEE84644CC74BAFF56159AACC9676/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/Type/@EntryValue">InCSharpStatement</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=6E4FEE84644CC74BAFF56159AACC9676/Shortcut/@EntryValue">cre</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=6E4FEE84644CC74BAFF56159AACC9676/ShortenQualifiedReferences/@EntryValue">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=6E4FEE84644CC74BAFF56159AACC9676/Text/@EntryValue">Contract.Requires<$exception$>($END$);</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=841F0264E033474AB03C0048FF15C465/@KeyIndexDefined">True</s:Boolean> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=841F0264E033474AB03C0048FF15C465/Applicability/=Live/@EntryIndexedValue">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=841F0264E033474AB03C0048FF15C465/Categories/=Contracts/@EntryIndexedValue">Contracts</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=841F0264E033474AB03C0048FF15C465/Description/@EntryValue">Contract.Ensures(result Not Null)</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=841F0264E033474AB03C0048FF15C465/Field/=Type/@KeyIndexDefined">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=841F0264E033474AB03C0048FF15C465/Field/=Type/Expression/@EntryValue">guessExpectedType("")</s:String> | |
| <s:Int64 x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=841F0264E033474AB03C0048FF15C465/Field/=Type/Order/@EntryValue">0</s:Int64> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=841F0264E033474AB03C0048FF15C465/Reformat/@EntryValue">True</s:Boolean> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=841F0264E033474AB03C0048FF15C465/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/@KeyIndexDefined">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=841F0264E033474AB03C0048FF15C465/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/CustomProperties/=minimumLanguageVersion/@EntryIndexedValue">2.0</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=841F0264E033474AB03C0048FF15C465/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/Type/@EntryValue">InCSharpStatement</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=841F0264E033474AB03C0048FF15C465/Shortcut/@EntryValue">cen</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=841F0264E033474AB03C0048FF15C465/ShortenQualifiedReferences/@EntryValue">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=841F0264E033474AB03C0048FF15C465/Text/@EntryValue">Contract.Ensures(Contract.Result<$Type$>() != null);$END$</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=862469B40F1EA747A6B0578D9EE9EFFF/@KeyIndexDefined">True</s:Boolean> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=862469B40F1EA747A6B0578D9EE9EFFF/Applicability/=Live/@EntryIndexedValue">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=862469B40F1EA747A6B0578D9EE9EFFF/Categories/=Contracts/@EntryIndexedValue">Contracts</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=862469B40F1EA747A6B0578D9EE9EFFF/Description/@EntryValue">Contract.Requires<ArgumentNullException>(...!=null)</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=862469B40F1EA747A6B0578D9EE9EFFF/Field/=Arg/@KeyIndexDefined">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=862469B40F1EA747A6B0578D9EE9EFFF/Field/=Arg/Expression/@EntryValue">parameterOfType("")</s:String> | |
| <s:Int64 x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=862469B40F1EA747A6B0578D9EE9EFFF/Field/=Arg/Order/@EntryValue">0</s:Int64> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=862469B40F1EA747A6B0578D9EE9EFFF/Reformat/@EntryValue">True</s:Boolean> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=862469B40F1EA747A6B0578D9EE9EFFF/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/@KeyIndexDefined">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=862469B40F1EA747A6B0578D9EE9EFFF/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/CustomProperties/=minimumLanguageVersion/@EntryIndexedValue">2.0</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=862469B40F1EA747A6B0578D9EE9EFFF/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/Type/@EntryValue">InCSharpStatement</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=862469B40F1EA747A6B0578D9EE9EFFF/Shortcut/@EntryValue">cren</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=862469B40F1EA747A6B0578D9EE9EFFF/ShortenQualifiedReferences/@EntryValue">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=862469B40F1EA747A6B0578D9EE9EFFF/Text/@EntryValue">Contract.Requires<ArgumentNullException>($Arg$ != null);$END$</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=9369893CE9F1334BBC1313933682753D/@KeyIndexDefined">True</s:Boolean> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=9369893CE9F1334BBC1313933682753D/Applicability/=Live/@EntryIndexedValue">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=9369893CE9F1334BBC1313933682753D/Categories/=Contracts/@EntryIndexedValue">Contracts</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=9369893CE9F1334BBC1313933682753D/Description/@EntryValue">Contract.Requires(string not null or empty)</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=9369893CE9F1334BBC1313933682753D/Field/=StringArgument/@KeyIndexDefined">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=9369893CE9F1334BBC1313933682753D/Field/=StringArgument/Expression/@EntryValue">parameterOfType("System.String")</s:String> | |
| <s:Int64 x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=9369893CE9F1334BBC1313933682753D/Field/=StringArgument/Order/@EntryValue">0</s:Int64> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=9369893CE9F1334BBC1313933682753D/Reformat/@EntryValue">True</s:Boolean> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=9369893CE9F1334BBC1313933682753D/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/@KeyIndexDefined">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=9369893CE9F1334BBC1313933682753D/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/CustomProperties/=minimumLanguageVersion/@EntryIndexedValue">2.0</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=9369893CE9F1334BBC1313933682753D/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/Type/@EntryValue">InCSharpStatement</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=9369893CE9F1334BBC1313933682753D/Shortcut/@EntryValue">crsn</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=9369893CE9F1334BBC1313933682753D/ShortenQualifiedReferences/@EntryValue">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=9369893CE9F1334BBC1313933682753D/Text/@EntryValue">Contract.Requires( !String.IsNullOrEmpty($StringArgument$) );$END$</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=E2E183F869ECA040A449803729D9B497/@KeyIndexDefined">True</s:Boolean> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=E2E183F869ECA040A449803729D9B497/Applicability/=Live/@EntryIndexedValue">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=E2E183F869ECA040A449803729D9B497/Categories/=Contracts/@EntryIndexedValue">Contracts</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=E2E183F869ECA040A449803729D9B497/Description/@EntryValue">Contract.Invariant</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=E2E183F869ECA040A449803729D9B497/Reformat/@EntryValue">True</s:Boolean> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=E2E183F869ECA040A449803729D9B497/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/@KeyIndexDefined">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=E2E183F869ECA040A449803729D9B497/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/CustomProperties/=minimumLanguageVersion/@EntryIndexedValue">2.0</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=E2E183F869ECA040A449803729D9B497/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/Type/@EntryValue">InCSharpStatement</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=E2E183F869ECA040A449803729D9B497/Shortcut/@EntryValue">ci</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=E2E183F869ECA040A449803729D9B497/ShortenQualifiedReferences/@EntryValue">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=E2E183F869ECA040A449803729D9B497/Text/@EntryValue">Contract.Invariant($END$);</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=E69035E73C3865428D95B3D87D204542/@KeyIndexDefined">True</s:Boolean> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=E69035E73C3865428D95B3D87D204542/Applicability/=Live/@EntryIndexedValue">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=E69035E73C3865428D95B3D87D204542/Categories/=Contracts/@EntryIndexedValue">Contracts</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=E69035E73C3865428D95B3D87D204542/Description/@EntryValue">Contract.Assume</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=E69035E73C3865428D95B3D87D204542/Reformat/@EntryValue">True</s:Boolean> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=E69035E73C3865428D95B3D87D204542/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/@KeyIndexDefined">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=E69035E73C3865428D95B3D87D204542/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/CustomProperties/=minimumLanguageVersion/@EntryIndexedValue">2.0</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=E69035E73C3865428D95B3D87D204542/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/Type/@EntryValue">InCSharpStatement</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=E69035E73C3865428D95B3D87D204542/Shortcut/@EntryValue">cam</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=E69035E73C3865428D95B3D87D204542/ShortenQualifiedReferences/@EntryValue">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=E69035E73C3865428D95B3D87D204542/Text/@EntryValue">Contract.Assume($END$);</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=E85481F9AFE9F6459429EB0D6A0841F8/@KeyIndexDefined">True</s:Boolean> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=E85481F9AFE9F6459429EB0D6A0841F8/Applicability/=Live/@EntryIndexedValue">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=E85481F9AFE9F6459429EB0D6A0841F8/Categories/=Contracts/@EntryIndexedValue">Contracts</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=E85481F9AFE9F6459429EB0D6A0841F8/Description/@EntryValue">Contract.Requires(Not Null)</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=E85481F9AFE9F6459429EB0D6A0841F8/Field/=Arg/@KeyIndexDefined">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=E85481F9AFE9F6459429EB0D6A0841F8/Field/=Arg/Expression/@EntryValue">parameterOfType("")</s:String> | |
| <s:Int64 x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=E85481F9AFE9F6459429EB0D6A0841F8/Field/=Arg/Order/@EntryValue">0</s:Int64> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=E85481F9AFE9F6459429EB0D6A0841F8/Reformat/@EntryValue">True</s:Boolean> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=E85481F9AFE9F6459429EB0D6A0841F8/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/@KeyIndexDefined">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=E85481F9AFE9F6459429EB0D6A0841F8/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/CustomProperties/=minimumLanguageVersion/@EntryIndexedValue">2.0</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=E85481F9AFE9F6459429EB0D6A0841F8/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/Type/@EntryValue">InCSharpStatement</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=E85481F9AFE9F6459429EB0D6A0841F8/Shortcut/@EntryValue">crn</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=E85481F9AFE9F6459429EB0D6A0841F8/ShortenQualifiedReferences/@EntryValue">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=E85481F9AFE9F6459429EB0D6A0841F8/Text/@EntryValue">Contract.Requires($Arg$ != null);$END$</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=EE887E375D144B4B8AF67C39EEDE22DB/@KeyIndexDefined">True</s:Boolean> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=EE887E375D144B4B8AF67C39EEDE22DB/Applicability/=Live/@EntryIndexedValue">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=EE887E375D144B4B8AF67C39EEDE22DB/Categories/=Contracts/@EntryIndexedValue">Contracts</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=EE887E375D144B4B8AF67C39EEDE22DB/Description/@EntryValue">Contract.Requires<ArgumentException>(string not null or empty)</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=EE887E375D144B4B8AF67C39EEDE22DB/Field/=StringArg/@KeyIndexDefined">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=EE887E375D144B4B8AF67C39EEDE22DB/Field/=StringArg/Expression/@EntryValue">parameterOfType("System.String")</s:String> | |
| <s:Int64 x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=EE887E375D144B4B8AF67C39EEDE22DB/Field/=StringArg/Order/@EntryValue">0</s:Int64> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=EE887E375D144B4B8AF67C39EEDE22DB/Reformat/@EntryValue">True</s:Boolean> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=EE887E375D144B4B8AF67C39EEDE22DB/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/@KeyIndexDefined">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=EE887E375D144B4B8AF67C39EEDE22DB/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/CustomProperties/=minimumLanguageVersion/@EntryIndexedValue">2.0</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=EE887E375D144B4B8AF67C39EEDE22DB/Scope/=2C285F182AC98D44B0B4F29D4D2149EC/Type/@EntryValue">InCSharpStatement</s:String> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=EE887E375D144B4B8AF67C39EEDE22DB/Shortcut/@EntryValue">cresn</s:String> | |
| <s:Boolean x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=EE887E375D144B4B8AF67C39EEDE22DB/ShortenQualifiedReferences/@EntryValue">True</s:Boolean> | |
| <s:String x:Key="/Default/PatternsAndTemplates/LiveTemplates/Template/=EE887E375D144B4B8AF67C39EEDE22DB/Text/@EntryValue">Contract.Requires<ArgumentException>( !String.IsNullOrEmpty($StringArg$) );$END$</s:String></wpf:ResourceDictionary> |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment