ContractFailureKind Enum
Definition
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 ContractFailureKindpublic enum ContractFailureKindtype ContractFailureKind = Public Enum ContractFailureKind- Inheritance
Fields
| 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. |
Remarks
The ContractFailureKind enumeration is used by the System.Diagnostics.Contracts.ContractFailedEventArgs class.
Applies to
ทํางานร่วมกับเราใน GitHub
แหล่งที่มาสำหรับเนื้อหานี้สามารถพบได้บน GitHub ซึ่งคุณยังสามารถสร้างและตรวจสอบปัญหาและคำขอดึงข้อมูลได้ สำหรับข้อมูลเพิ่มเติม ให้ดูคู่มือผู้สนับสนุนของเรา
