4,299,636

Downloads

224,884

Downloads of v 4.3.0

5,394

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 26,452 Monday, October 24, 2016
System.Diagnostic... 4.0.1 1,039,259 Monday, June 27, 2016
System.Diagnostic... 4.0.1-rc2-24027 1,527,930 Monday, May 16, 2016
System.Diagnostic... 4.0.1-beta-23516 286,822 Wednesday, November 18, 2015
System.Diagnostic... 4.0.1-beta-23409 361,310 Thursday, October 15, 2015
System.Diagnostic... 4.0.1-beta-23225 43,635 Tuesday, September 1, 2015
System.Diagnostic... 4.0.0 617,947 Wednesday, July 29, 2015
System.Diagnostic... 4.0.0-beta-23109 40,800 Monday, July 27, 2015
System.Diagnostic... 4.0.0-beta-23019 38,041 Tuesday, June 30, 2015
System.Diagnostic... 4.0.0-beta-22816 46,211 Friday, April 24, 2015
System.Diagnostic... 4.0.0-beta-22605 15,729 Friday, February 13, 2015
System.Diagnostic... 4.0.0-beta-22416 6,917 Friday, January 16, 2015
System.Diagnostic... 4.0.0-beta-22231 23,699 Tuesday, November 11, 2014