System.Diagnostics.Contracts 4.0.0-beta-22605
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 |
|---|---|
|
System.Reactive.Core
Reactive Extensions Core Library containing base classes and scheduler infrastructure.
|
3 |
|
Npgsql
Npgsql
|
3 |
|
Npgsql
Npgsql is the open source .NET data provider for PostgreSQL.
|
3 |
|
Microsoft.Build
This package contains the Microsoft.Build assembly which is used to create, edit, and evaluation MSBuild projects.
|
3 |
|
System.Reactive.Core
Reactive Extensions (Rx) Core Library containing base classes and scheduler infrastructure.
|
2 |
|
Microsoft.CodeAnalysis.Workspaces.Common
A shared package used by the .NET Compiler Platform ("Roslyn") including support for analyzing projects and solutions.
Do not install this package manually, it will be added as a prerequisite by other packages that require it.
More details at https://aka.ms/roslyn-packages
This package was built from the source at https://github.com/dotnet/roslyn/commit/d3f6b8e7e17ebc52a62150db7bb952daf0dc2c29
|
2 |
|
Npgsql
Npgsql
|
2 |
|
Microsoft.Net.Http.Headers
HTTP header parser implementations.
|
2 |
|
npgsql
npgsql
|
2 |
All Frameworks
- System.Runtime (>= 4.0.0-beta-22605)
| Version | Downloads | Last updated |
|---|---|---|
| 4.3.0 | 1 | 6/16/2025 |
| 4.3.0-preview1-24530-04 | 0 | 10/24/2016 |
| 4.0.1 | 0 | 6/27/2016 |
| 4.0.1-rc2-24027 | 0 | 5/16/2016 |
| 4.0.1-beta-23516 | 0 | 11/18/2015 |
| 4.0.1-beta-23409 | 1 | 6/16/2025 |
| 4.0.1-beta-23225 | 0 | 9/1/2015 |
| 4.0.0 | 0 | 7/29/2015 |
| 4.0.0-beta-23109 | 0 | 7/27/2015 |
| 4.0.0-beta-23019 | 0 | 6/30/2015 |
| 4.0.0-beta-22816 | 0 | 4/24/2015 |
| 4.0.0-beta-22605 | 0 | 2/13/2015 |
| 4.0.0-beta-22416 | 0 | 1/16/2015 |
| 4.0.0-beta-22231 | 0 | 11/11/2014 |