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.
Project Url
View on NuGet:


Here are the packages that version 4.3.0 of System.Diagnostics.Contracts depends on.

System.Runtime.Intrinsics.Experimental : (4.5.0-preview2-26406-04) System.Runtime.Intrinsics.Experimental : (4.5.0-preview2-26406-04)




Installing with NuGet

PM> Install-Package System.Diagnostics.Contracts

Packages that Depend on System.Diagnostics.Contracts

PackageLatest VersionTags
A1 1.0.0 excel cell
Argument 1.1.0 contracts validation argument
ASP.NET-StatusBoard.AspNetCore 0.0.22
Claytondus.AddressParser 0.1.0
Colorsfly.Mycat 1.0.0 MyCat MySQL .NET Core
CoreHashLib 1.0.0
Cql.Core.SqlServer 2.0.1
CSharpAsyncGenerator 0.10.0 Async Generator Roslyn
Ctl.Core 3.0.2 core ctl
Deviax.QueryBuilder.Postgres 0.2.1
DokanNet dokan file files disk directory storage filesystem io filestore FAT NTFS FUSE
DotNetty.Buffers 0.4.7 socket tcp protocol netty dotnetty network
DotNetty.Codecs 0.4.7 socket tcp protocol netty dotnetty network codec
DotNetty.Codecs.Mqtt 0.4.7 socket tcp protocol netty dotnetty network mqtt
DotNetty.Codecs.Protobuf 0.4.7 socket tcp protocol netty dotnetty network Protobuf
DotNetty.Codecs.ProtocolBuffers 0.4.7 socket tcp protocol netty dotnetty network ProtocolBuffers
DotNetty.Codecs.Redis 0.4.7 socket tcp protocol netty dotnetty network redis
DotNetty.Common 0.4.7 socket tcp protocol netty dotnetty network
DotNetty.Handlers 0.4.7 socket tcp protocol netty dotnetty network tls ssl
DotNetty.Transport 0.4.7 socket tcp udp protocol netty dotnetty network
DotNetty.Transport.Libuv.Experimental 0.4.7 socket tcp udp protocol netty dotnetty network
DotVVM 1.1.9 dotvvm mvvm owin dotnetcore dnx
ElasticScaleCore.Client 1.0.0 elastic pool, sharding, multi-tenant
EmailHippo.EmailVerify.Api.V3.Entities 1.0.4 Email Validation Verification API
ExpressionToCodeLib 2.7.0 code-generation NUnit xUnit.NET mstest expression-tree unit-test PowerAssert ExpressionToCode
FileWarehouse 1.2.0 file access
FileWarehouse.AzureBlob 1.2.0 file access azure blob
FirebirdSql.Data.FirebirdClient 5.12.1 firebird firebirsql firebirdclient adonet database
Fissoft.Core 1.0.40
Fizzler 1.2.0 selectors w3c
FlexMapper Mapping FlexMapper SchwabenCode BenjaminAbt
FubarDev.BeanIO 4.1.2 BeanIO Core CSV XML fixed length file parse serialize deserialize serialization deserialization parsing marshal marshalling unmarshal unmarshalling
Hystrix.Dotnet 1.0.4
IridiumJS 2.12.0 javascript interpreter
Jint 2.11.58 javascript interpreter
kafka-core 0.9.1 kafka dotnet core
kafka-net-dotnetcore 1.0.0
Kephas.Core 4.1.1 kephas framework core quartz-software
Kephas.Data.InMemory 4.1.1 kephas framework data in-memory store quartz-software
KickStart.Net 0.4.0
LanguageExt.Core 3.0.1 C# Functional Language Extension Monad Option Either Reader Writer State List Set Map Queue Memo Memoization Immutable Lambda Pattern Matching Tuple
Linq2RestANC 1.0.1 Linq OData
LinqInfer 4.1.0 inference linq bayesian probability reasoning machine learning text search neural networks markov chains
Lokad.AzureEventStore 1.1.1
LoreKeeper 1.0.0 CQRS Data Access Query Command UnitOfWork
LoreKeeper.Core 1.0.0 CQRS Data Access Query Command UnitOfWork
Lost.Math.Int2D 0.1.0 math geometry
LostTech.App.BindableTask 0.1.0
Microsoft.AspNetCore.WebSockets.Protocol 0.1.0
Microsoft.Azure.Devices 1.6.0 IoT Microsoft Azure IoTHub Service Client SDK Manage Devices .NET
Microsoft.Azure.Devices.ProtocolGateway.IotHubClient 1.3.1
Microsoft.Build 15.6.85 MSBuild
Microsoft.CodeAnalysis.Workspaces.Common 2.7.0 Roslyn CodeAnalysis Compiler CSharp VB VisualBasic Parser Scanner Lexer Emit CodeGeneration Metadata IL Compilation Scripting Syntax Semantics
Microsoft.IdentityModel.Protocols 5.2.2 .NET Windows Authentication Identity OpenIdConnect WsFederation
Microsoft.Net.Http.Server 1.1.4 netcore weblistener
Microsoft.NETCore.Runtime.CoreCLR-arm 1.0.0
Microsoft.NETCore.Runtime.CoreCLR-x64 1.0.0
Microsoft.NETCore.Runtime.CoreCLR-x86 1.0.0
Microsoft.NETCore.UniversalWindowsPlatform 6.1.2
Microsoft.PowerShell.NanoServer.NetCore.Library 1.0.0 PowerShell Core
Microsoft.UnitTestFramework.Extensions 2.0.0 MSTest TestFramework UnitTest MSTestV2 Microsoft Test Testing TDD Framework
Mirror 2.1.0 Reflection Syntax Sugar
More 1.4.1 More Patterns Practices
More.Composition 1.3.1 More Patterns Practices Composition MEF
More.Extensions 1.3.1 More Patterns Practices
More.UI.Hosting 1.5.1 More Patterns Practices UI User Interfaces Model View MVVM MVC MVP
More.UI.Presentation 1.3.1 More Patterns Practices Windows User Interface UI UWP UAP Xamarin
MsgPack.Cli 0.9.2 MsgPack MessagePack Serialization Formatter Serializer
MyMojo.AspNet.Identity.MongoDb 1.0.4 MongoDb ASP.NET Identity Core MVC5 AspNet AspNet.Identity AspNet.Identity.MongoDb
Narvalo.Cerbere 3.0.0 Require Assert Guard Check Validate CodeContracts Contracts
NBench 1.0.4 performance benchmarking benchmark perf testing NBench
NDate 1.0.0 date time datetime
Neon.Cluster 6.3.14
Neon.Common 6.3.14
Neon.Docker 6.3.14
NetUV.Core 0.1.140 libuv asyncio network socket protocol
Nevermore 6.2.0
NewId 3.0.1 MassTransit
NFinal2 2.0.16 NFinal2 MVC Owin AspNet
NMoneys 6.0.0 .net currency money iso iso4217
PCx.IO.Compression 0.3.1 io zip parallel
Peppermint 1.5.0 Syntax Sugar C#
Petabridge.Cmd.Common 0.3.3
Pomelo.Data.MySql.Unofficial 1.0.1 MySQL .NET Core
RavenDB.Client 4.0.3 ravendb client database nosql doc db
RavuAlHemio.PbmNet 0.0.9 netpbm pbm pnm pgm ppm
Rsft.Net.DomainParser 1.1.2 domain parsing
Rsft.Net.ISO3166_1 1.0.1 ISO3166-1
Rsft.Util.Compression 1.1.1 Compression GZip Deflate
Rsft.Util.Serialization 1.0.6 Serialization
Sandwych.QuickGraph.Core 1.0.0 graph topologic quickgraph
SharpFileSystem.Core 0.0.1 vfs sharpfilesystem netstandard
SimpleMapper.Core 1.1.1 Mapping SimpleMapper
SouchProd.Data.FirebirdClient 2.0.1 firebird firebirdclient firebirdsql adonet
Splat 4.0.0 drawing colours geometry logging unit test detection service location image handling portable xamarin xamarin ios xamarin mac android monodroid uwp net45
Spreads 0.6.1 Spreads Data Time Series Data Frame