System.Diagnostics.Contracts 4.0.0-beta-23109
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.NETCore.Runtime.Native
Support libraries for the .NET Core runtime used by .NETNative.
|
6 |
|
Microsoft.Azure.Devices
Service SDK for Azure IoT Hub
|
6 |
|
Microsoft.AspNet.WebApi.Client
This package adds support for formatting and content negotiation to System.Net.Http. It includes support for JSON, XML, and form URL encoded data.
|
6 |
|
Handlebars.Net
Blistering-fast Handlebars.js templates in your .NET application.
|
6 |
.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-beta-23109)
| Version | Downloads | Last updated |
|---|---|---|
| 4.3.0 | 2 | 01/21/2026 |
| 4.3.0-preview1-24530-04 | 2 | 12/09/2025 |
| 4.0.1 | 3 | 12/09/2025 |
| 4.0.1-rc2-24027 | 4 | 12/11/2025 |
| 4.0.1-beta-23516 | 3 | 12/10/2025 |
| 4.0.1-beta-23409 | 4 | 12/09/2025 |
| 4.0.1-beta-23225 | 3 | 12/10/2025 |
| 4.0.0 | 2 | 01/21/2026 |
| 4.0.0-beta-23109 | 3 | 12/10/2025 |
| 4.0.0-beta-23019 | 3 | 12/10/2025 |
| 4.0.0-beta-22816 | 2 | 12/10/2025 |
| 4.0.0-beta-22605 | 3 | 12/10/2025 |
| 4.0.0-beta-22416 | 4 | 12/10/2025 |
| 4.0.0-beta-22231 | 4 | 12/09/2025 |