ContractFailedEventArgs 클래스

정의

ContractFailed 이벤트에 대한 메서드와 데이터를 제공합니다.Provides methods and data for the ContractFailed event.

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 계약이 실패 한 경우에 이벤트입니다.A ContractFailedEventArgs object is passed to the Contract.ContractFailed event when a contract fails. ContractFailed 이벤트 계약 오류 알림을 받을 대화형 인터프리터, 웹 브라우저 호스트, 테스트 도구 또는 로깅 인프라와 같은 관리 되는 애플리케이션 환경을 가능 하 게 합니다.The ContractFailed event enables a managed application environment such as an interactive interpreter, a Web browser host, a test harness, or a logging infrastructure to be notified of contract failures. 이벤트에는 완전 신뢰가 필요합니다.The event requires full trust.

생성자

ContractFailedEventArgs(ContractFailureKind, String, String, Exception)

ContractFailed 이벤트에 대한 데이터를 제공합니다.Provides data for the ContractFailed event.

속성

Condition

계약의 실패에 대한 조건을 가져옵니다.Gets the condition for the failure of the contract.

FailureKind

실패한 계약의 형식을 가져옵니다.Gets the type of contract that failed.

Handled

ContractFailed 이벤트가 처리되었는지 여부를 나타냅니다.Indicates whether the ContractFailed event has been handled.

Message

ContractFailed 이벤트를 설명하는 메시지를 가져옵니다.Gets the message that describes the ContractFailed event.

OriginalException

ContractFailed 이벤트를 발생시킨 원래 예외를 가져옵니다.Gets the original exception that caused the ContractFailed event.

Unwind

코드 계약 에스컬레이션 정책을 적용해야 하는지 여부를 나타냅니다.Indicates whether the code contract escalation policy should be applied.

메서드

Equals(Object)

지정된 개체가 현재 개체와 같은지 확인합니다.Determines whether the specified object is equal to the current object.

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

기본 해시 함수로 작동합니다.Serves as the default hash function.

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

현재 인스턴스의 Type을 가져옵니다.Gets the Type of the current instance.

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

현재 Object의 단순 복사본을 만듭니다.Creates a shallow copy of the current Object.

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

Handled 속성을 true로 설정합니다.Sets the Handled property to true.

SetUnwind()

Unwind 속성을 true로 설정합니다.Sets the Unwind property to true.

ToString()

현재 개체를 나타내는 문자열을 반환합니다.Returns a string that represents the current object.

(다음에서 상속됨 Object)

적용 대상