7,168,861

Downloads

780,115

Downloads of v 4.3.0

8,259

Average downloads per day

2016-11-15

Last published

Share on Social Networks

System.Diagnostics.Contracts

4.3.0

Provides static classes for representing program contracts such as preconditions, postconditions, and invariants.

Commonly Used Types:

System.Diagnostics.Contracts.Contract

System.Diagnostics.Contracts.ContractClassAttribute

System.Diagnostics.Contracts.ContractClassForAttribute

System.Diagnostics.Contracts.ContractFailureKind

System.Runtime.CompilerServices.ContractHelper

System.Diagnostics.Contracts.ContractInvariantMethodAttribute

System.Diagnostics.Contracts.PureAttribute

System.Diagnostics.Contracts.ContractArgumentValidatorAttribute

System.Diagnostics.Contracts.ContractVerificationAttribute

System.Diagnostics.Contracts.ContractOptionAttribute

When using NuGet 3.x this package requires at least version 3.4.

To install System.Diagnostics.Contracts, run the following command in the Package Manager Console

Install-Package System.Diagnostics.Contracts

Requires NuGet 2.12 or higher.

Release Notes

https://go.microsoft.com/fwlink/?LinkID=799421

Owners

Authors

Microsoft

Copyright

© Microsoft Corporation. All rights reserved.

Dependencies

  • MonoAndroid 1.0

    • No dependencies.
  • MonoTouch 1.0

    • No dependencies.
  • .NETFramework 4.5

    • No dependencies.
  • .NETCore 5.0

  • .NETStandard 1.0

  • Portable Class Library (.NETFramework 4.5, Windows 8.0, WindowsPhone 8.0, WindowsPhoneApp 8.1)

    • No dependencies.
  • Windows 8.0

    • No dependencies.
  • WindowsPhone 8.0

    • No dependencies.
  • WindowsPhoneApp 8.1

    • No dependencies.
  • Xamarin.iOS 1.0

    • No dependencies.
  • Xamarin.Mac 2.0

    • No dependencies.
  • Xamarin.TVOS 1.0

    • No dependencies.
  • Xamarin.WatchOS 1.0

    • No dependencies.

Version History

Version Downloads Last updated
System.Diagnostic... 4.3.0-preview1-24530-04 43,713 Monday, October 24, 2016
System.Diagnostic... 4.0.1 3,035,939 Monday, June 27, 2016
System.Diagnostic... 4.0.1-rc2-24027 1,733,592 Monday, May 16, 2016
System.Diagnostic... 4.0.1-beta-23516 305,450 Wednesday, November 18, 2015
System.Diagnostic... 4.0.1-beta-23409 362,087 Thursday, October 15, 2015
System.Diagnostic... 4.0.1-beta-23225 44,192 Tuesday, September 1, 2015
System.Diagnostic... 4.0.0 689,816 Wednesday, July 29, 2015
System.Diagnostic... 4.0.0-beta-23109 41,430 Monday, July 27, 2015
System.Diagnostic... 4.0.0-beta-23019 38,928 Tuesday, June 30, 2015
System.Diagnostic... 4.0.0-beta-22816 46,716 Friday, April 24, 2015
System.Diagnostic... 4.0.0-beta-22605 15,866 Friday, February 13, 2015
System.Diagnostic... 4.0.0-beta-22416 7,005 Friday, January 16, 2015
System.Diagnostic... 4.0.0-beta-22231 24,012 Tuesday, November 11, 2014