Поделиться через


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

Комментарии

Объект 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)

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