VS2013与ReSharper 8.2无法识别代码合同？

Question

我有以下软件:

• Visual Studio 2013 Update 2
• 代码合约(1.6.60617.15)
• ReSharper C#版(8.2.0.2160)
• ReSharper代码合同(1.0.0.0)

当我用代码契约打开一个方法时,ReSharper对合同感到困惑:

它警告我chapter可以为空,即使合同要求它不是.也:

合同不变方法被标记为never used.技术上是正确的,但它不应该告诉我,因为代码合同重写器使用该方法来获取有关每个不变量的信息.我如何教授ReSharper关于代码合同以纠正这两个问题？

Answer 1

要使其适用于可移植类库，请执行以下操作：

1. ExternalAnnotations在目录下新建一个文件夹C:\Program Files (x86)\JetBrains\ReSharper\v8.2\Bin\；

2. 放上System.Diagnostics.Contracts.xml以下内容：

   <assembly name="System.Diagnostics.Contracts">
   <member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean)">
       <attribute ctor="M:JetBrains.Annotations.ContractAnnotationAttribute.#ctor(System.String)">
           <argument>condition:false=&gt;halt</argument>
       </attribute>
   </member>
   <member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean,System.String)">
       <attribute ctor="M:JetBrains.Annotations.ContractAnnotationAttribute.#ctor(System.String)">
           <argument>condition:false=&gt;halt</argument>
       </attribute>
   </member>
   <member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean)">
       <attribute ctor="M:JetBrains.Annotations.AssertionMethodAttribute.#ctor"/>
       <attribute ctor="M:JetBrains.Annotations.ContractAnnotationAttribute.#ctor(System.String)">
           <argument>condition:false=&gt;halt</argument>
       </attribute>
   </member>
   <member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean,System.String)">
       <attribute ctor="M:JetBrains.Annotations.AssertionMethodAttribute.#ctor"/>
       <attribute ctor="M:JetBrains.Annotations.ContractAnnotationAttribute.#ctor(System.String)">
           <argument>condition:false=&gt;halt</argument>
       </attribute>
   </member>
   <member name="M:System.Diagnostics.Contracts.Contract.Requires(System.Boolean)">
       <attribute ctor="M:JetBrains.Annotations.ContractAnnotationAttribute.#ctor(System.String)">
           <argument>condition:false=&gt;halt</argument>
       </attribute>
   </member>
   <member name="M:System.Diagnostics.Contracts.Contract.Requires(System.Boolean,System.String)">
       <attribute ctor="M:JetBrains.Annotations.ContractAnnotationAttribute.#ctor(System.String)">
           <argument>condition:false=&gt;halt</argument>
       </attribute>
   </member>
   <member name="M:System.Diagnostics.Contracts.Contract.Requires``1(System.Boolean)">
       <attribute ctor="M:JetBrains.Annotations.ContractAnnotationAttribute.#ctor(System.String)">
           <argument>condition:false=&gt;halt</argument>
       </attribute>
   </member>
   <member name="M:System.Diagnostics.Contracts.Contract.Requires``1(System.Boolean,System.String)">
       <attribute ctor="M:JetBrains.Annotations.ContractAnnotationAttribute.#ctor(System.String)">
           <argument>condition:false=&gt;halt</argument>
       </attribute>
   </member>
   <member name="M:System.Diagnostics.Contracts.Contract.Invariant(System.Boolean)">
       <attribute ctor="M:JetBrains.Annotations.AssertionMethodAttribute.#ctor"/>
       <attribute ctor="M:JetBrains.Annotations.ContractAnnotationAttribute.#ctor(System.String)">
           <argument>condition:false=&gt;halt</argument>
       </attribute>
   </member>
   <member name="M:System.Diagnostics.Contracts.Contract.Invariant(System.Boolean,System.String)">
       <attribute ctor="M:JetBrains.Annotations.AssertionMethodAttribute.#ctor"/>
       <attribute ctor="M:JetBrains.Annotations.ContractAnnotationAttribute.#ctor(System.String)">
           <argument>condition:false=&gt;halt</argument>
       </attribute>
   </member>
   <member name="M:System.Diagnostics.Contracts.Contract.ReportFailure(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.Exception)">
       <attribute ctor="M:JetBrains.Annotations.AssertionMethodAttribute.#ctor"/>
       <attribute ctor="M:JetBrains.Annotations.ContractAnnotationAttribute.#ctor(System.String)">
           <argument>=&gt;halt</argument>
       </attribute>
   </member>
   <member name="T:System.Diagnostics.Contracts.ContractInvariantMethodAttribute">
       <attribute ctor="M:JetBrains.Annotations.MeansImplicitUseAttribute.#ctor" />
   </member>
   <member name="T:System.Diagnostics.Contracts.ContractClassForAttribute">
       <attribute ctor="M:JetBrains.Annotations.MeansImplicitUseAttribute.#ctor" />
   </member>
   </assembly>
   

3. 关闭所有 Visual Studio 实例（只是为了让 ReSharper 有机会重新加载注释），重新打开 Visual Studio 并加载所需的解决方案；

4. 您有可能需要清理 ReSharper 缓存（ReSharper | 选项 | 环境 | 常规 | 清除缓存）；

我还提交了一份关于默认在 ReSharperExternalAnnotations 扩展中支持此类情况的新票证。