ContractFailureKind 열거형
정의
중요
일부 정보는 릴리스되기 전에 상당 부분 수정될 수 있는 시험판 제품과 관련이 있습니다. Microsoft는 여기에 제공된 정보에 대해 어떠한 명시적이거나 묵시적인 보증도 하지 않습니다.
실패한 계약의 형식을 지정합니다.
public enum class ContractFailureKindpublic enum ContractFailureKindtype ContractFailureKind = Public Enum ContractFailureKind- 상속
필드
| Assert | 4 | Assert 계약이 실패했습니다. |
| Assume | 5 | Assume 계약이 실패했습니다. |
| Invariant | 3 | Invariant 계약이 실패했습니다. |
| Postcondition | 1 | Ensures 계약이 실패했습니다. |
| PostconditionOnException | 2 | EnsuresOnThrow 계약이 실패했습니다. |
| Precondition | 0 | Requires 계약이 실패했습니다. |
설명
ContractFailureKind 열거형은 System.Diagnostics.Contracts.ContractFailedEventArgs 클래스에서 사용됩니다.