System.Diagnostics.Contracts 4.0.0-beta-22816
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
No packages depend on System.Diagnostics.Contracts.
All Frameworks
- System.Runtime (>= 4.0.20-beta-22816)
| Version | Downloads | Last updated |
|---|---|---|
| 4.3.0 | 0 | 2016/11/15 |
| 4.3.0-preview1-24530-04 | 0 | 2016/10/24 |
| 4.0.1 | 0 | 2016/6/27 |
| 4.0.1-rc2-24027 | 0 | 2016/5/16 |
| 4.0.1-beta-23516 | 0 | 2015/11/18 |
| 4.0.1-beta-23409 | 0 | 2015/10/15 |
| 4.0.1-beta-23225 | 0 | 2015/9/1 |
| 4.0.0 | 0 | 2015/7/29 |
| 4.0.0-beta-23109 | 0 | 2015/7/27 |
| 4.0.0-beta-23019 | 0 | 2015/6/30 |
| 4.0.0-beta-22816 | 0 | 2015/4/24 |
| 4.0.0-beta-22605 | 0 | 2015/2/13 |
| 4.0.0-beta-22416 | 0 | 2015/1/16 |
| 4.0.0-beta-22231 | 0 | 2014/11/11 |