System.Diagnostics.Contracts 4.3.0-preview1-24530-04
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.IdentityModel.Protocols
Provides base protocol support for OpenIdConnect and WsFederation.
|
1 |
|
LanguageExt.Core
This library uses and abuses the features of C# 6 and 7 to provide a functional 'Base class library', that, if you squint, can look like extensions to the language itself.
|
1 |
|
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.
|
1 |
MonoAndroid 1.0
- No dependencies.
MonoTouch 1.0
- No dependencies.
.NET Framework 4.5
- No dependencies.
.NETCore 5.0
- System.Runtime (>= 4.3.0-preview1-24530-04)
.NET Standard 1.0
- System.Runtime (>= 4.3.0-preview1-24530-04)
.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 | 0 | 11/15/2016 |
| 4.3.0-preview1-24530-04 | 0 | 10/24/2016 |
| 4.0.1 | 0 | 06/27/2016 |
| 4.0.1-rc2-24027 | 0 | 05/16/2016 |
| 4.0.1-beta-23516 | 0 | 11/18/2015 |
| 4.0.1-beta-23409 | 0 | 10/15/2015 |
| 4.0.1-beta-23225 | 0 | 09/01/2015 |
| 4.0.0 | 0 | 07/29/2015 |
| 4.0.0-beta-23109 | 0 | 07/27/2015 |
| 4.0.0-beta-23019 | 0 | 06/30/2015 |
| 4.0.0-beta-22816 | 0 | 04/24/2015 |
| 4.0.0-beta-22605 | 0 | 02/13/2015 |
| 4.0.0-beta-22416 | 0 | 01/16/2015 |
| 4.0.0-beta-22231 | 0 | 11/11/2014 |