10,474,959

Downloads

1,342,300

Downloads of v 4.3.0

10,911

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 -Version 4.3.0

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 (this version) 1,342,300 Tuesday, November 15, 2016
System.Diagnostic... 4.3.0-preview1-24530-04 59,803 Monday, October 24, 2016
System.Diagnostic... 4.0.1 5,580,507 Monday, June 27, 2016
System.Diagnostic... 4.0.1-rc2-24027 1,829,223 Monday, May 16, 2016
System.Diagnostic... 4.0.1-beta-23516 318,214 Wednesday, November 18, 2015
System.Diagnostic... 4.0.1-beta-23409 362,820 Thursday, October 15, 2015
System.Diagnostic... 4.0.1-beta-23225 44,669 Tuesday, September 1, 2015
System.Diagnostic... 4.0.0 761,323 Wednesday, July 29, 2015
System.Diagnostic... 4.0.0-beta-23109 42,208 Monday, July 27, 2015
System.Diagnostic... 4.0.0-beta-23019 39,637 Tuesday, June 30, 2015
System.Diagnostic... 4.0.0-beta-22816 47,113 Friday, April 24, 2015
System.Diagnostic... 4.0.0-beta-22605 15,950 Friday, February 13, 2015
System.Diagnostic... 4.0.0-beta-22416 7,051 Friday, January 16, 2015
System.Diagnostic... 4.0.0-beta-22231 24,141 Tuesday, November 11, 2014