ContractFailedEventArgs Класс

Определение

Пространство имен:

System.Diagnostics.Contracts

Сборка:

System.Diagnostics.Contracts.dll

Исходный код:

ContractFailedEventArgs.cs

Предоставляет методы и данные для события ContractFailed.

public ref class ContractFailedEventArgs sealed : EventArgs

public sealed class ContractFailedEventArgs : EventArgs

type ContractFailedEventArgs = class
    inherit EventArgs

Public NotInheritable Class ContractFailedEventArgs
Inherits EventArgs

Наследование

Object

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)