9,422,567

Downloads

1,142,194

Downloads of v 4.3.0

10,131

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

  • .NETCore 5.0

  • .NETFramework 4.5

    • No dependencies.
  • .NETStandard 1.0

  • MonoAndroid 1.0

    • No dependencies.
  • MonoTouch 1.0

    • No dependencies.
  • 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 54,098 Monday, October 24, 2016
System.Diagnostic... 4.0.1 4,781,465 Monday, June 27, 2016
System.Diagnostic... 4.0.1-rc2-24027 1,811,676 Monday, May 16, 2016
System.Diagnostic... 4.0.1-beta-23516 314,512 Wednesday, November 18, 2015
System.Diagnostic... 4.0.1-beta-23409 362,636 Thursday, October 15, 2015
System.Diagnostic... 4.0.1-beta-23225 44,524 Tuesday, September 1, 2015
System.Diagnostic... 4.0.0 735,963 Wednesday, July 29, 2015
System.Diagnostic... 4.0.0-beta-23109 42,017 Monday, July 27, 2015
System.Diagnostic... 4.0.0-beta-23019 39,430 Tuesday, June 30, 2015
System.Diagnostic... 4.0.0-beta-22816 46,998 Friday, April 24, 2015
System.Diagnostic... 4.0.0-beta-22605 15,918 Friday, February 13, 2015
System.Diagnostic... 4.0.0-beta-22416 7,028 Friday, January 16, 2015
System.Diagnostic... 4.0.0-beta-22231 24,108 Tuesday, November 11, 2014