Udostępnij za pośrednictwem


ContractFailedEventArgs Klasa

Definicja

Udostępnia metody i dane dla ContractFailed zdarzenia.

public ref class ContractFailedEventArgs sealed : EventArgs
public sealed class ContractFailedEventArgs : EventArgs
type ContractFailedEventArgs = class
    inherit EventArgs
Public NotInheritable Class ContractFailedEventArgs
Inherits EventArgs
Dziedziczenie
ContractFailedEventArgs

Uwagi

ContractFailedEventArgs Obiekt jest przekazywany do zdarzenia, Contract.ContractFailed gdy kontrakt kończy się niepowodzeniem. Zdarzenie ContractFailed umożliwia środowisko aplikacji zarządzanej, takie jak interpreter interaktywny, host przeglądarki sieci Web, uprzężenie testowe lub infrastruktura rejestrowania, które mają być powiadamiane o niepowodzeniach kontraktu. Zdarzenie wymaga pełnego zaufania.

Konstruktory

ContractFailedEventArgs(ContractFailureKind, String, String, Exception)

Udostępnia dane dla zdarzenia ContractFailed.

Właściwości

Condition

Pobiera warunek niepowodzenia kontraktu.

FailureKind

Pobiera typ kontraktu, który zakończył się niepowodzeniem.

Handled

Wskazuje, czy ContractFailed zdarzenie zostało obsłużone.

Message

Pobiera komunikat opisujący ContractFailed zdarzenie.

OriginalException

Pobiera oryginalny wyjątek, który spowodował ContractFailed zdarzenie.

Unwind

Wskazuje, czy należy zastosować zasady eskalacji kontraktu kodu.

Metody

Equals(Object)

Określa, czy dany obiekt jest taki sam, jak bieżący obiekt.

(Odziedziczone po Object)
GetHashCode()

Służy jako domyślna funkcja skrótu.

(Odziedziczone po Object)
GetType()

Type Pobiera bieżące wystąpienie.

(Odziedziczone po Object)
MemberwiseClone()

Tworzy płytkią kopię bieżącego Objectelementu .

(Odziedziczone po Object)
SetHandled()

Handled Ustawia właściwość na true.

SetUnwind()

Unwind Ustawia właściwość na true.

ToString()

Zwraca ciąg reprezentujący bieżący obiekt.

(Odziedziczone po Object)

Dotyczy