System.Diagnostics.Contracts 4.0.1

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.

There is a newer prerelease version of this package available.
See the version list below for details.

Requires NuGet 2.12 or higher.

Install-Package System.Diagnostics.Contracts -Version 4.0.1
dotnet add package System.Diagnostics.Contracts --version 4.0.1
paket add System.Diagnostics.Contracts --version 4.0.1
The NuGet Team does not provide support for this client. Please contact its maintainers for support.

Release Notes

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

  • .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
4.3.0 2,396,933 11/15/2016
4.3.0-preview1-24530-04 81,810 10/24/2016
4.0.1 (current version) 9,363,695 6/27/2016
4.0.1-rc2-24027 1,895,637 5/16/2016
4.0.1-beta-23516 330,425 11/18/2015
4.0.1-beta-23409 363,305 10/15/2015
4.0.1-beta-23225 45,156 9/1/2015
4.0.0 867,630 7/29/2015
4.0.0-beta-23109 42,591 7/27/2015
4.0.0-beta-23019 40,610 6/30/2015
4.0.0-beta-22816 47,485 4/24/2015
4.0.0-beta-22605 16,100 2/13/2015
4.0.0-beta-22416 7,092 1/16/2015
4.0.0-beta-22231 24,213 11/11/2014