ContractFailureKind 열거형

참조

정의

네임스페이스:: System.Diagnostics.Contracts

어셈블리:: System.Diagnostics.Contracts.dll

어셈블리:: mscorlib.dll

어셈블리:: netstandard.dll

중요

일부 정보는 릴리스되기 전에 상당 부분 수정될 수 있는 시험판 제품과 관련이 있습니다. Microsoft는 여기에 제공된 정보에 대해 어떠한 명시적이거나 묵시적인 보증도 하지 않습니다.

실패한 계약의 형식을 지정합니다.

public enum class ContractFailureKind

public enum ContractFailureKind

type ContractFailureKind =

Public Enum ContractFailureKind

상속: Object

ValueType

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 클래스에서 사용됩니다.

적용 대상