Skip to main content
N
System.Diagnostics.Contracts package icon

System.Diagnostics.Contracts

v4.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.

dotnetframework Microsoft
NuGet Stats Changelog
Total Downloads
456.1M
456,117,420
Published
Nov 15, 2016
Latest stable version

Install

.NET CLI
dotnet add package System.Diagnostics.Contracts --version 4.3.0
Package Manager Console
Install-Package System.Diagnostics.Contracts -Version 4.3.0
PackageReference
<PackageReference Include="System.Diagnostics.Contracts" Version="4.3.0" />

Frameworks

MonoAndroid1.0 MonoTouch1.0 .NETFramework4.5 .NETCore5.0 .NETStandard1.0 .NETPortable0.0-Profile259 Windows8.0 WindowsPhone8.0 WindowsPhoneApp8.1 Xamarin.iOS1.0 Xamarin.Mac2.0 Xamarin.TVOS1.0 Xamarin.WatchOS1.0

Dependencies

System.Runtime
.NETCore5.0
[4.3.0, )
System.Runtime
.NETStandard1.0
[4.3.0, )