다음을 통해 공유


ContractFailureKind 열거형

정의

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

public enum class ContractFailureKind
public enum ContractFailureKind
type ContractFailureKind = 
Public Enum ContractFailureKind
상속
ContractFailureKind

필드

Assert 4

Assert 계약이 실패했습니다.

Assume 5

Assume 계약이 실패했습니다.

Invariant 3

Invariant 계약이 실패했습니다.

Postcondition 1

Ensures 계약이 실패했습니다.

PostconditionOnException 2

EnsuresOnThrow 계약이 실패했습니다.

Precondition 0

Requires 계약이 실패했습니다.

설명

ContractFailureKind 열거형은 System.Diagnostics.Contracts.ContractFailedEventArgs 클래스에서 사용됩니다.

적용 대상