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)

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