Information

Description
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.
Version
4.3.0
Project Url
https://dot.net/
View on NuGet: http://www.nuget.org/packages/System.Diagnostics.Contracts

Dependencies

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

System.Runtime.Caching : (4.5.0-preview1-25914-04) System.Runtime.Caching : (4.5.0-preview1-25914-04)

Authors

Tags

 

Installing with NuGet

PM> Install-Package System.Diagnostics.Contracts

Packages that Depend on System.Diagnostics.Contracts

PackageLatest VersionTags
A1 1.0.0 excel cell
ASP.NET-StatusBoard.AspNetCore 0.0.22
AutoDiff 1.1.1
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.8.2 Async Generator Roslyn
Ctl.Core 2.0.7 core ctl
Deviax.QueryBuilder.Postgres 0.2.1
DokanNet 1.1.1 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.8 dotvvm asp.net mvvm owin dotnetcore dnx
ElasticScaleCore.Client 1.0.0 elastic pool, sharding, multi-tenant
EmailHippo.EmailVerify.Api.V3.Entities 1.0.3 Email Validation Verification API
ExpressionToCodeLib 2.5.1 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
FlexMapper 1.1.0.107 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.10.3.4 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.0 kephas framework core quartz-software
Kephas.Data.InMemory 4.1.0 kephas framework data in-memory store quartz-software
KickStart.Net 0.4.0
LanguageExt.Core 2.1.32 C# Functional Language Extension Monad Option Either Reader Writer State List Set Map Queue Memo Memoization Immutable Lambda Pattern Matching Tuple
LanguageExt.Process 1.9.7 C# Functional Language Extension Monad Option Either Reader Writer State List Set Map Queue Memo Memoization Immutable Lambda Pattern Matching Tuple Actor Process Akka Redis
LanguageExt.Process.Redis 1.9.7 C# Functional Language Extension Monad Option Either Reader Writer State List Set Map Queue Memo Memoization Immutable Lambda Pattern Matching Tuple Actor Process Akka Redis
Linq2RestANC 1.0.1 Linq OData
LinqInfer 3.8.1 inference linq bayesian probability reasoning machine learning text search neural networks markov chains
Lokad.AzureEventStore 1.0.0
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.5.0 Microsoft Azure IoT IoTHub Service Client SDK
Microsoft.Azure.Devices.ProtocolGateway.IotHubClient 1.3.1
Microsoft.Build 15.5.180 MSBuild
Microsoft.CodeAnalysis.Workspaces.Common 2.6.1 Roslyn CodeAnalysis Compiler CSharp VB VisualBasic Parser Scanner Lexer Emit CodeGeneration Metadata IL Compilation Scripting Syntax Semantics
Microsoft.IdentityModel.Protocols 2.1.5
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.0.6
Microsoft.PowerShell.NanoServer.NetCore.Library 1.0.0 PowerShell Core
Mirror 2.1.0 Reflection Syntax Sugar
More 1.3.1 More Patterns Practices
More.Composition 1.2.0 More Patterns Practices Composition MEF
More.UI 1.3.1 More Patterns Practices UI User Interfaces Model View MVVM MVC MVP
More.Validation 1.0.2 More Patterns Practices Validation Data Annotations
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.0.3.1
Neon.Common 6.0.3.1
Neon.Docker 6.0.3.1
NetUV.Core 0.1.140 libuv asyncio network socket protocol
Nevermore 4.0.1
NewId 3.0.1 MassTransit
NFinal2 2.0.12 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.2
Pomelo.Data.MySql 1.0.0 MySQL .NET Core
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
Shaman.AsyncRewriter 1.0.1.3
Shaman.DbLinq 1.0.1.6
Shaman.Npgsql 3.0.1.4
Shaman.System.Linq.Expressions.Interpreter 1.0.1.2
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
Spreads 0.6.1 Spreads Data Time Series Data Frame
Spreads.Collections 0.6.1 Spreads Data Time Series Data Frame
Spreads.Core 0.6.1 Spreads Data Time Series Data Frame
SquaredInfinity.Foundation.Experimental 1.5.0
System.IO.Abstractions.TestingHelpers 2.1.0.178