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

This is a prerelease version of System.Diagnostics.Contracts.
There is a newer version of this package available.
See the version list below for details.

Requires NuGet 3.0 or higher.

Install-Package System.Diagnostics.Contracts -Version 4.0.1-beta-23225
dotnet add package System.Diagnostics.Contracts --version 4.0.1-beta-23225
<PackageReference Include="System.Diagnostics.Contracts" Version="4.0.1-beta-23225" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add System.Diagnostics.Contracts --version 4.0.1-beta-23225
The NuGet Team does not provide support for this client. Please contact its maintainers for support.

  • .NETFramework 4.5

    • No dependencies.
  • .NETPlatform 5.0

  • Windows 8.0

    • No dependencies.
  • WindowsPhone 8.0

    • No dependencies.
  • WindowsPhoneApp 8.1

    • No dependencies.

Showing the top 10 GitHub repositories that depend on System.Diagnostics.Contracts:

Repository Stars
dotnet/corefx
CoreFX is the foundational class libraries for .NET Core. It includes types for collections, file systems, console, JSON, XML, async and many others.
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/standard
This repo is building the .NET Standard
dotnetcore/surging
Surging is a micro-service engine that provides a lightweight, high-performance, modular RPC request pipeline. The service engine supports http, TCP, WS, Mqtt, UDP, and DNS protocols. It uses ZooKeeper and Consul as a registry, and integrates it. Hash, random, polling, Fair Polling as a load balancing algorithm, built-in service governance to ensure reliable RPC communication, the engine contains Diagnostic, link tracking for protocol and middleware calls, and integration SkyWalking Distributed APM
Azure/DotNetty
DotNetty project – a port of netty, event-driven asynchronous network application framework
louthy/language-ext
C# functional language extensions - a base class library for functional programming
reactiveui/Akavache
An asynchronous, persistent key-value store created for writing desktop and mobile applications, based on SQLite3. Akavache is great for both storing important data as well as cached local data that expires.
neuecc/ZeroFormatter
Fastest C# Serializer and Infinitely Fast Deserializer for .NET, .NET Core and Unity.
dotnet/corefxlab
This repo is for experimentation and exploring new ideas that may or may not make it into the main corefx repo.
microsoft/Trill
Trill is a single-node query processor for temporal or streaming data.

Version History

Version Downloads Last updated
4.3.0 10,780,789 11/15/2016
4.3.0-preview1-24530-04 114,789 10/24/2016
4.0.1 40,010,895 6/27/2016
4.0.1-rc2-24027 2,045,898 5/16/2016
4.0.1-beta-23516 351,657 11/18/2015
4.0.1-beta-23409 364,228 10/15/2015
4.0.1-beta-23225 47,518 9/1/2015
4.0.0 1,103,774 7/29/2015
4.0.0-beta-23109 43,292 7/27/2015
4.0.0-beta-23019 42,535 6/30/2015
4.0.0-beta-22816 48,394 4/24/2015
4.0.0-beta-22605 16,592 2/13/2015
4.0.0-beta-22416 7,457 1/16/2015
4.0.0-beta-22231 24,626 11/11/2014
Show less