ContractFailedEventArgs 클래스

정의

ContractFailed 이벤트에 대한 메서드와 데이터를 제공합니다.

public ref class ContractFailedEventArgs sealed : EventArgs
public sealed class ContractFailedEventArgs : EventArgs
type ContractFailedEventArgs = class
    inherit EventArgs
Public NotInheritable Class ContractFailedEventArgs
Inherits EventArgs
상속
ContractFailedEventArgs

설명

A ContractFailedEventArgs 개체를 전달 하는 Contract.ContractFailed 계약이 실패 한 경우에 이벤트입니다. ContractFailed 이벤트 계약 오류 알림을 받을 대화형 인터프리터, 웹 브라우저 호스트, 테스트 도구 또는 로깅 인프라와 같은 관리 되는 애플리케이션 환경을 가능 하 게 합니다. 이벤트에는 완전 신뢰가 필요합니다.

생성자

ContractFailedEventArgs(ContractFailureKind, String, String, Exception)

ContractFailed 이벤트에 대한 데이터를 제공합니다.

속성

Condition

계약의 실패에 대한 조건을 가져옵니다.

FailureKind

실패한 계약의 형식을 가져옵니다.

Handled

ContractFailed 이벤트가 처리되었는지 여부를 나타냅니다.

Message

ContractFailed 이벤트를 설명하는 메시지를 가져옵니다.

OriginalException

ContractFailed 이벤트를 발생시킨 원래 예외를 가져옵니다.

Unwind

코드 계약 에스컬레이션 정책을 적용해야 하는지 여부를 나타냅니다.

메서드

Equals(Object)

지정된 개체가 현재 개체와 같은지 확인합니다.

(다음에서 상속됨 Object)
GetHashCode()

기본 해시 함수로 작동합니다.

(다음에서 상속됨 Object)
GetType()

현재 인스턴스의 Type을 가져옵니다.

(다음에서 상속됨 Object)
MemberwiseClone()

현재 Object의 단순 복사본을 만듭니다.

(다음에서 상속됨 Object)
SetHandled()

Handled 속성을 true로 설정합니다.

SetUnwind()

Unwind 속성을 true로 설정합니다.

ToString()

현재 개체를 나타내는 문자열을 반환합니다.

(다음에서 상속됨 Object)

적용 대상