ContractFailedEventArgs ContractFailedEventArgs ContractFailedEventArgs ContractFailedEventArgs Class

Определение

Предоставляет методы и данные для события 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
Наследование
ContractFailedEventArgsContractFailedEventArgsContractFailedEventArgsContractFailedEventArgs

Комментарии

Объект 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) ContractFailedEventArgs(ContractFailureKind, String, String, Exception) ContractFailedEventArgs(ContractFailureKind, String, String, Exception) ContractFailedEventArgs(ContractFailureKind, String, String, Exception)

Предоставляет данные для события ContractFailed.Provides data for the ContractFailed event.

Свойства

Condition Condition Condition Condition

Получает условие сбоя контракта.Gets the condition for the failure of the contract.

FailureKind FailureKind FailureKind FailureKind

Получает тип контракта, вызвавшего сбой.Gets the type of contract that failed.

Handled Handled Handled Handled

Указывает, обработано ли событие ContractFailed.Indicates whether the ContractFailed event has been handled.

Message Message Message Message

Получает сообщение, описывающее событие ContractFailed.Gets the message that describes the ContractFailed event.

OriginalException OriginalException OriginalException OriginalException

Получает исходное исключение, вызвавшее событие ContractFailed.Gets the original exception that caused the ContractFailed event.

Unwind Unwind Unwind Unwind

Указывает, должна ли применяться политика эскалации контракта кода.Indicates whether the code contract escalation policy should be applied.

Методы

Equals(Object) Equals(Object) Equals(Object) Equals(Object)

Определяет, равен ли заданный объект текущему объекту.Determines whether the specified object is equal to the current object.

(Inherited from Object)
GetHashCode() GetHashCode() GetHashCode() GetHashCode()

Служит хэш-функцией по умолчанию.Serves as the default hash function.

(Inherited from Object)
GetType() GetType() GetType() GetType()

Возвращает объект Type для текущего экземпляра.Gets the Type of the current instance.

(Inherited from Object)
MemberwiseClone() MemberwiseClone() MemberwiseClone() MemberwiseClone()

Создает неполную копию текущего объекта Object.Creates a shallow copy of the current Object.

(Inherited from Object)
SetHandled() SetHandled() SetHandled() SetHandled()

Задает для свойства Handled значение true.Sets the Handled property to true.

SetUnwind() SetUnwind() SetUnwind() SetUnwind()

Задает для свойства Unwind значение true.Sets the Unwind property to true.

ToString() ToString() ToString() ToString()

Возвращает строку, представляющую текущий объект.Returns a string that represents the current object.

(Inherited from Object)

Применяется к