[ppwcode] r7705 committed - Adding externals file to help ReSharper.

[ppw...@googlecode.com]

Revision: 7705
Author: ruben.va...@gmail.com
Date: Sun Apr 5 14:24:28 2015 UTC
Log: Adding externals file to help ReSharper.
https://code.google.com/p/ppwcode/source/detail?r=7705

Added:

/dotnet/External/Microsoft.Contracts/trunk/src/Microsoft.Contracts.ExternalAnnotations.xml
Modified:
/dotnet/External/Microsoft.Contracts/trunk/Microsoft.Contracts.nuspec

=======================================
--- /dev/null
+++
/dotnet/External/Microsoft.Contracts/trunk/src/Microsoft.Contracts.ExternalAnnotations.xml
Sun Apr 5 14:24:28 2015 UTC
@@ -0,0 +1,68 @@
+<assembly name = "Microsoft.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>
=======================================
--- /dotnet/External/Microsoft.Contracts/trunk/Microsoft.Contracts.nuspec
Mon Sep 23 22:31:34 2013 UTC
+++ /dotnet/External/Microsoft.Contracts/trunk/Microsoft.Contracts.nuspec
Sun Apr 5 14:24:28 2015 UTC
@@ -23,6 +23,7 @@
<!-- included files -->
<files>
<file src="src\Microsoft.Contracts.dll" target="lib\net35" />
+ <file src="src\Microsoft.Contracts.ExternalAnnotations.xml"
target="lib\net35" />
<file src="src\License.rtf" target="doc" />
<file src="src\Redist.txt" target="doc" />
</files>