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 : (4.3.0) System.Runtime : (4.3.0)

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
akavache.core 6.0.31 Akavache Cache Xamarin Sqlite3 Magic
Argument 1.1.0 contracts validation argument
ASP.NET-StatusBoard.AspNetCore 0.0.22
Bix.IO 2.0.5 bix business-mix restful webapi aspnetcore
Claytondus.AddressParser 0.1.0
Colorsfly.Mycat 1.0.0 MyCat MySQL .NET Core
CoreHashLib 1.0.0
Cql.Core.SqlServer 2.0.1
Ctl.Core 3.1.2 core ctl
Deviax.QueryBuilder.Postgres 0.2.1
DokanNet 1.1.2 dokan file files disk directory storage filesystem io filestore FAT NTFS FUSE
dotnet-svcutil 1.0.4 netcore svcutil WSDL metadata WCF
DotNetty.Buffers 0.6.0 socket tcp protocol netty dotnetty network
DotNetty.Codecs 0.6.0 socket tcp protocol netty dotnetty network codec
DotNetty.Codecs.Http 0.6.0 socket tcp protocol netty dotnetty network http
DotNetty.Codecs.Mqtt 0.6.0 socket tcp protocol netty dotnetty network mqtt
DotNetty.Codecs.Protobuf 0.6.0 socket tcp protocol netty dotnetty network Protobuf
DotNetty.Codecs.ProtocolBuffers 0.6.0 socket tcp protocol netty dotnetty network ProtocolBuffers
DotNetty.Codecs.Redis 0.6.0 socket tcp protocol netty dotnetty network redis
DotNetty.Common 0.6.0 socket tcp protocol netty dotnetty network
DotNetty.Handlers 0.6.0 socket tcp protocol netty dotnetty network tls ssl
DotNetty.Transport 0.6.0 socket tcp udp protocol netty dotnetty network
DotNetty.Transport.Libuv 0.6.0 socket tcp udp protocol netty dotnetty network
DotVVM 2.0.3 dotvvm asp.net mvvm owin dotnetcore dnx
ElasticScaleCore.Client 1.0.0 elastic pool, sharding, multi-tenant
Elton.Phantom 1.0.0 phantom-sdk phantom-dotnet-sdk huanteng huantengsmart rest dotnet-standard xamarin portable smart-home connected-home
EmailHippo.EmailVerify.Api.V3.Entities 1.0.4 Email Validation Verification API
ExRam.ReactiveCollections 2.1.1
FileWarehouse 1.2.0 file access
FileWarehouse.AzureBlob 1.2.0 file access azure blob
FirebirdSql.Data.FirebirdClient 6.4.0 firebird firebirsql firebirdclient adonet database
Fissoft.Core 1.0.40
Fizzler 1.2.0 selectors w3c
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.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.5.1 kephas framework core quartz-software
KickStart.Net 0.4.0
LanguageExt.Core 3.1.14 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
LogCast.AspNetCore 1.0.8
Lokad.AzureEventStore 1.2.2
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.17.1 IoT Microsoft Azure IoTHub Service Client SDK Manage Devices .NET
Microsoft.Azure.Devices.ProtocolGateway.IotHubClient 2.0.1
Microsoft.Azure.Devices.ProtocolGateway.Providers.CloudStorage 2.0.1
Microsoft.CodeAnalysis.Workspaces.Common 2.10.0 Roslyn CodeAnalysis Compiler CSharp VB VisualBasic Parser Scanner Lexer Emit CodeGeneration Metadata IL Compilation Scripting Syntax Semantics
Microsoft.IdentityModel.Protocols 5.3.0 .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.9
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 1.0.0 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.2.2 performance benchmarking benchmark perf testing NBench
NDate 1.0.0 date time datetime
Neon.Cluster 6.3.19
Neon.Common 6.3.19
Neon.Docker 6.3.19
NetUV.Core 0.1.140 libuv asyncio network socket protocol
NeuralNetworkConstructor 0.2.87 neural network neurons backpropagation network learning
Nevermore 8.1.1
NewId 3.0.1 MassTransit
NFinal2 2.0.16 NFinal2 MVC Owin AspNet
NMoneys 6.1.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.4.1
Pomelo.Data.MySql.Unofficial 1.0.1 MySQL .NET Core
Psns.Common.Clients.Broker 2018.8.6.1 PSNS SQL Service Broker
RavuAlHemio.PbmNet 0.0.9 netpbm pbm pnm pgm ppm
reactiveui 9.4.1 mvvm reactiveui rx reactive extensions observable LINQ events frp xamarin android ios mac forms monodroid monotouch xamarin.android xamarin.ios xamarin.forms xamarin.mac xamarin.tvos wpf net netstandard net461 uwp tizen
ReactiveUI.Fody 9.4.1 mvvm reactiveui rx reactive extensions observable LINQ events frp xamarin android ios mac forms monodroid monotouch xamarin.android xamarin.ios xamarin.forms xamarin.mac xamarin.tvos wpf net netstandard net461 uwp tizen
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
Shaman.AsyncRewriter 1.0.1.3
Shaman.DbLinq 1.0.1.6
Shaman.Npgsql 3.0.1.4