System.Diagnostics.Contracts 4.0.1-beta-23225
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
Showing the top 20 packages that depend on System.Diagnostics.Contracts.
| Packages | Downloads |
|---|---|
|
Microsoft.Net.Http.Headers
HTTP header parser implementations.
|
2 |
|
Microsoft.Net.Http.Headers
Microsoft.Net.Http.Headers
|
2 |
|
Microsoft.Net.Http.Headers
ASP.NET 5 HTTP header implementations.
|
2 |
|
Microsoft.NETCore.UniversalWindowsPlatform
Provides a set of packages that can be used when building Universal Windows applications on .NET.
5.4.0 contains .NET Native 1.7.
When using Visual Studio this package requires Visual Studio 2017 or later.
When using NuGet 3.x this package requires at least version 3.4.
|
2 |
|
Microsoft.NETCore.UniversalWindowsPlatform
Provides a set of packages that can be used when building Universal Windows applications on .NETCore.
2c481f1d5b480b23fbc1359c38be9771913065ca
When using NuGet 3.x this package requires at least version 3.4.
|
2 |
.NET Framework 4.5
- No dependencies.
Windows 8.0
- No dependencies.
WindowsPhone 8.0
- No dependencies.
WindowsPhoneApp 8.1
- No dependencies.
.NETPlatform 5.0
- System.Runtime (>= 4.0.0)
| Version | Downloads | Last updated |
|---|---|---|
| 4.3.0 | 2 | 07/12/2026 |
| 4.3.0-preview1-24530-04 | 2 | 07/12/2026 |
| 4.0.1 | 1 | 07/12/2026 |
| 4.0.1-rc2-24027 | 2 | 07/12/2026 |
| 4.0.1-beta-23516 | 2 | 07/12/2026 |
| 4.0.1-beta-23409 | 1 | 07/12/2026 |
| 4.0.1-beta-23225 | 1 | 07/12/2026 |
| 4.0.0 | 1 | 07/12/2026 |
| 4.0.0-beta-23109 | 2 | 07/12/2026 |
| 4.0.0-beta-23019 | 1 | 07/12/2026 |
| 4.0.0-beta-22816 | 2 | 07/12/2026 |
| 4.0.0-beta-22605 | 2 | 07/12/2026 |
| 4.0.0-beta-22416 | 2 | 07/12/2026 |
| 4.0.0-beta-22231 | 1 | 07/12/2026 |