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.
Requires NuGet 2.12 or higher.
Install-Package System.Diagnostics.Contracts -Version 4.3.0
dotnet add package System.Diagnostics.Contracts --version 4.3.0
<PackageReference Include="System.Diagnostics.Contracts" Version="4.3.0" />
paket add System.Diagnostics.Contracts --version 4.3.0
#r "nuget: System.Diagnostics.Contracts, 4.3.0"
// Install System.Diagnostics.Contracts as a Cake Addin
#addin nuget:?package=System.Diagnostics.Contracts&version=4.3.0
// Install System.Diagnostics.Contracts as a Cake Tool
#tool nuget:?package=System.Diagnostics.Contracts&version=4.3.0
Release Notes
https://go.microsoft.com/fwlink/?LinkID=799421
Dependencies
-
.NETCore 5.0
- System.Runtime (>= 4.3.0)
-
.NETFramework 4.5
- No dependencies.
-
.NETStandard 1.0
- System.Runtime (>= 4.3.0)
-
MonoAndroid 1.0
- No dependencies.
-
MonoTouch 1.0
- No dependencies.
-
Portable Class Library (.NETFramework 4.5, Windows 8.0, WindowsPhone 8.0, WindowsPhoneApp 8.1)
- 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.
Used By
NuGet packages (198)
Showing the top 5 NuGet packages that depend on System.Diagnostics.Contracts:
Package | Downloads |
---|---|
System.Reflection.TypeExtensions
Provides extensions methods for System.Type that are designed to be source-compatible with older framework reflection-based APIs.
Commonly Used Types:
System.Reflection.TypeExtensions
System.Reflection.BindingFlags
When using NuGet 3.x this package requires at least version 3.4.
|
|
Ninject
Ninject is a lightning-fast, ultra-lightweight dependency injector for .NET applications.
|
|
Microsoft.NETCore.UniversalWindowsPlatform
Provides a set of packages that can be used when building Universal Windows applications on .NETCore.
451925e4ed3f9ef704260c1a6af1e729b8419fe2
When using NuGet 3.x this package requires at least version 3.4.
|
|
Handlebars.Net
Blistering-fast Handlebars.js templates in your .NET application.
|
|
MsgPack.Cli
MessagePack is fast, compact, and interoperable binary serialization format.
This package provides MessagePack serialization/deserialization APIs. This pacakge also supports Mono, Xamarin, .NET Core and Unity.
|
GitHub repositories (48)
Showing the top 5 popular GitHub repositories that depend on System.Diagnostics.Contracts:
Repository | Stars |
---|---|
reactiveui/ReactiveUI
An advanced, composable, functional reactive model-view-viewmodel framework for all .NET platforms that is inspired by functional reactive programming. ReactiveUI allows you to abstract mutable state away from your user interfaces, express the idea around a feature in one readable place and improve the testability of your application.
|
|
dotnet/runtime
.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.
|
|
windows-toolkit/WindowsCommunityToolkit
The Windows Community Toolkit is a collection of helpers, extensions, and custom controls. It simplifies and demonstrates common developer tasks building UWP and .NET apps for Windows 10. The toolkit is part of the .NET Foundation.
|
|
louthy/language-ext
C# functional language extensions - a base class library for functional programming
|
|
Azure/DotNetty
DotNetty project – a port of netty, event-driven asynchronous network application framework
|
Version History
Version | Downloads | Last updated |
---|---|---|
4.3.0 | 36,447,136 | 11/15/2016 |
4.3.0-preview1-24530-04 | 186,838 | 10/24/2016 |
4.0.1 | 91,469,050 | 6/27/2016 |
4.0.1-rc2-24027 | 2,164,660 | 5/16/2016 |
4.0.1-beta-23516 | 354,673 | 11/18/2015 |
4.0.1-beta-23409 | 364,933 | 10/15/2015 |
4.0.1-beta-23225 | 49,730 | 9/1/2015 |
4.0.0 | 1,218,489 | 7/29/2015 |
4.0.0-beta-23109 | 43,979 | 7/27/2015 |
4.0.0-beta-23019 | 43,367 | 6/30/2015 |
4.0.0-beta-22816 | 49,374 | 4/24/2015 |
4.0.0-beta-22605 | 17,246 | 2/13/2015 |
4.0.0-beta-22416 | 8,084 | 1/16/2015 |
4.0.0-beta-22231 | 25,257 | 11/11/2014 |