ContractFailureKind Enum
Important
Some information relates to prerelease product that may be substantially modified before it’s released. Microsoft makes no warranties, express or implied, with respect to the information provided here.
Specifies the type of contract that failed.
public enum class ContractFailureKindC#
public enum ContractFailureKindtype ContractFailureKind = Public Enum ContractFailureKind- Inheritance
| Name | Value | Description |
|---|---|---|
| Precondition | 0 | A Requires contract failed. |
| Postcondition | 1 | An Ensures contract failed. |
| PostconditionOnException | 2 | An EnsuresOnThrow contract failed. |
| Invariant | 3 | An Invariant contract failed. |
| Assert | 4 | An Assert contract failed. |
| Assume | 5 | An Assume contract failed. |
The ContractFailureKind enumeration is used by the System.Diagnostics.Contracts.ContractFailedEventArgs class.
| Product | Versions |
|---|---|
| .NET | Core 1.0, Core 1.1, Core 2.0, Core 2.1, Core 2.2, Core 3.0, Core 3.1, 5, 6, 7, 8, 9, 10 |
| .NET Framework | 4.0, 4.5, 4.5.1, 4.5.2, 4.6, 4.6.1, 4.6.2, 4.7, 4.7.1, 4.7.2, 4.8, 4.8.1 |
| .NET Standard | 2.0, 2.1 |
| UWP | 10.0 |
Collaborate with us on GitHub
The source for this content can be found on GitHub, where you can also create and review issues and pull requests. For more information, see our contributor guide.
.NET feedback
.NET is an open source project. Select a link to provide feedback: