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.

Showing the top 20 packages that depend on System.Diagnostics.Contracts.

Packages Downloads
Microsoft.Net.Http.Headers
HTTP header parser implementations.
5
Microsoft.Net.Http.Headers
Microsoft.Net.Http.Headers
5
Microsoft.Net.Http.Headers
ASP.NET 5 HTTP header implementations.
5
Npgsql
Npgsql is the open source .NET data provider for PostgreSQL.
5
Npgsql
Npgsql
5
Microsoft.Net.Http.Headers
ASP.NET 5 HTTP header implementations.
4
Microsoft.Net.Http.Headers
HTTP header parser implementations.
4

MonoAndroid 1.0

  • No dependencies.

MonoTouch 1.0

  • No dependencies.

.NET Framework 4.5

  • No dependencies.

.NETCore 5.0

.NET Standard 1.0

.NETPortable 0.0

  • 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 Downloads Last updated
4.3.0 4 04/25/2026
4.3.0-preview1-24530-04 3 04/25/2026
4.0.1 3 04/25/2026
4.0.1-rc2-24027 3 04/25/2026
4.0.1-beta-23516 3 04/25/2026
4.0.1-beta-23409 3 04/25/2026
4.0.1-beta-23225 3 04/25/2026
4.0.0 3 04/25/2026
4.0.0-beta-23109 3 04/25/2026
4.0.0-beta-23019 3 04/25/2026
4.0.0-beta-22816 4 04/25/2026
4.0.0-beta-22605 4 04/25/2026
4.0.0-beta-22416 3 04/25/2026
4.0.0-beta-22231 3 04/25/2026