Databases
StackOverflow2013
Postsdbo
PO
Body
 

Note that there are some explanatory texts on larger screens.

plurals
  1. PO
    text
    copied!<p><strong>Note</strong>: as of the current R# 8.0 EAP, this functionality is included.</p> <hr> <p>Here's the solution for the current (i.e. .NET 4.0) version of Code Contracts:</p> <p>Inside <code>...\ExternalAnnotations\mscorlib\Contracts.xml</code>, add the following:</p> <pre><code>&lt;assembly name="mscorlib"&gt; &lt;member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean)"&gt; &lt;attribute ctor="M:JetBrains.Annotations.AssertionMethodAttribute.#ctor"/&gt; &lt;parameter name="condition"&gt; &lt;attribute ctor="M:JetBrains.Annotations.AssertionConditionAttribute.#ctor(JetBrains.Annotations.AssertionConditionType)"&gt; &lt;argument&gt;0&lt;/argument&gt; &lt;/attribute&gt; &lt;/parameter&gt; &lt;/member&gt; &lt;member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean, System.String)"&gt; &lt;attribute ctor="M:JetBrains.Annotations.AssertionMethodAttribute.#ctor"/&gt; &lt;parameter name="condition"&gt; &lt;attribute ctor="M:JetBrains.Annotations.AssertionConditionAttribute.#ctor(JetBrains.Annotations.AssertionConditionType)"&gt; &lt;argument&gt;0&lt;/argument&gt; &lt;/attribute&gt; &lt;/parameter&gt; &lt;/member&gt; &lt;member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean)"&gt; &lt;attribute ctor="M:JetBrains.Annotations.AssertionMethodAttribute.#ctor"/&gt; &lt;parameter name="condition"&gt; &lt;attribute ctor="M:JetBrains.Annotations.AssertionConditionAttribute.#ctor(JetBrains.Annotations.AssertionConditionType)"&gt; &lt;argument&gt;0&lt;/argument&gt; &lt;/attribute&gt; &lt;/parameter&gt; &lt;/member&gt; &lt;member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean, System.String)"&gt; &lt;attribute ctor="M:JetBrains.Annotations.AssertionMethodAttribute.#ctor"/&gt; &lt;parameter name="condition"&gt; &lt;attribute ctor="M:JetBrains.Annotations.AssertionConditionAttribute.#ctor(JetBrains.Annotations.AssertionConditionType)"&gt; &lt;argument&gt;0&lt;/argument&gt; &lt;/attribute&gt; &lt;/parameter&gt; &lt;/member&gt; &lt;member name="M:System.Diagnostics.Contracts.Contract.Requires(System.Boolean)"&gt; &lt;attribute ctor="M:JetBrains.Annotations.AssertionMethodAttribute.#ctor"/&gt; &lt;parameter name="condition"&gt; &lt;attribute ctor="M:JetBrains.Annotations.AssertionConditionAttribute.#ctor(JetBrains.Annotations.AssertionConditionType)"&gt; &lt;argument&gt;0&lt;/argument&gt; &lt;/attribute&gt; &lt;/parameter&gt; &lt;/member&gt; &lt;member name="M:System.Diagnostics.Contracts.Contract.Requires``1(System.Boolean)"&gt; &lt;attribute ctor="M:JetBrains.Annotations.AssertionMethodAttribute.#ctor"/&gt; &lt;parameter name="condition"&gt; &lt;attribute ctor="M:JetBrains.Annotations.AssertionConditionAttribute.#ctor(JetBrains.Annotations.AssertionConditionType)"&gt; &lt;argument&gt;0&lt;/argument&gt; &lt;/attribute&gt; &lt;/parameter&gt; &lt;/member&gt; &lt;member name="M:System.Diagnostics.Contracts.Contract.Requires(System.Boolean,System.String)"&gt; &lt;attribute ctor="M:JetBrains.Annotations.AssertionMethodAttribute.#ctor"/&gt; &lt;parameter name="condition"&gt; &lt;attribute ctor="M:JetBrains.Annotations.AssertionConditionAttribute.#ctor(JetBrains.Annotations.AssertionConditionType)"&gt; &lt;argument&gt;0&lt;/argument&gt; &lt;/attribute&gt; &lt;/parameter&gt; &lt;/member&gt; &lt;member name="M:System.Diagnostics.Contracts.Contract.Requires``1(System.Boolean,System.String)"&gt; &lt;attribute ctor="M:JetBrains.Annotations.AssertionMethodAttribute.#ctor"/&gt; &lt;parameter name="condition"&gt; &lt;attribute ctor="M:JetBrains.Annotations.AssertionConditionAttribute.#ctor(JetBrains.Annotations.AssertionConditionType)"&gt; &lt;argument&gt;0&lt;/argument&gt; &lt;/attribute&gt; &lt;/parameter&gt; &lt;/member&gt; &lt;member name="M:System.Diagnostics.Contracts.Contract.Invariant(System.Boolean)"&gt; &lt;attribute ctor="M:JetBrains.Annotations.AssertionMethodAttribute.#ctor"/&gt; &lt;parameter name="condition"&gt; &lt;attribute ctor="M:JetBrains.Annotations.AssertionConditionAttribute.#ctor(JetBrains.Annotations.AssertionConditionType)"&gt; &lt;argument&gt;0&lt;/argument&gt; &lt;/attribute&gt; &lt;/parameter&gt; &lt;/member&gt; &lt;member name="M:System.Diagnostics.Contracts.Contract.Invariant(System.Boolean,System.String)"&gt; &lt;attribute ctor="M:JetBrains.Annotations.AssertionMethodAttribute.#ctor"/&gt; &lt;parameter name="condition"&gt; &lt;attribute ctor="M:JetBrains.Annotations.AssertionConditionAttribute.#ctor(JetBrains.Annotations.AssertionConditionType)"&gt; &lt;argument&gt;0&lt;/argument&gt; &lt;/attribute&gt; &lt;/parameter&gt; &lt;/member&gt; &lt;/assembly&gt; </code></pre>
 

Querying!

 
Guidance
An individual column

Larger individual text columns get their own page to allow for proper reading.

SQuiL has stopped working due to an internal error.

If you are curious you may find further information in the browser console, which is accessible through the devtools (F12).

Reload