Contract.ContractFailed Evento
Definizione
Importante
Alcune informazioni sono relative alla release non definitiva del prodotto, che potrebbe subire modifiche significative prima della release definitiva. Microsoft non riconosce alcuna garanzia, espressa o implicita, in merito alle informazioni qui fornite.
Si verifica quando un contratto ha esito negativo.
public:
static event EventHandler<System::Diagnostics::Contracts::ContractFailedEventArgs ^> ^ ContractFailed;public static event EventHandler<System.Diagnostics.Contracts.ContractFailedEventArgs> ContractFailed;public static event EventHandler<System.Diagnostics.Contracts.ContractFailedEventArgs>? ContractFailed;[add: System.Security.SecurityCritical]
[remove: System.Security.SecurityCritical]
public static event EventHandler<System.Diagnostics.Contracts.ContractFailedEventArgs> ContractFailed;member this.ContractFailed : EventHandler<System.Diagnostics.Contracts.ContractFailedEventArgs> [<add: System.Security.SecurityCritical>]
[<remove: System.Security.SecurityCritical>]
member this.ContractFailed : EventHandler<System.Diagnostics.Contracts.ContractFailedEventArgs> Public Shared Custom Event ContractFailed As EventHandler(Of ContractFailedEventArgs) Tipo evento
- Attributi
Commenti
Le informazioni relative a questo evento vengono fornite dall'oggetto System.Diagnostics.Contracts.ContractFailedEventArgs che viene passato al gestore eventi. Questo evento notifica a un ambiente applicazione gestito, ad esempio un interprete interattivo o un host del Web browser, che un contratto non è riuscito. Prima di farlo, genererà un evento che un'applicazione può gestire in base alle esigenze. Ad esempio, se il codice viene eseguito in un framework di test, è possibile registrare un errore di test e quindi terminare il test.
L'implementazione predefinita del RaiseContractFailedEvent metodo nella libreria di classi .NET Framework consiste nel chiamare ogni gestore registrato con l'evento ContractFailed . Le eccezioni generate dai gestori vengono ignorate, ma ogni gestore può indicare se l'errore viene gestito chiamando il SetHandled metodo per gli argomenti dell'evento. Se un gestore imposta l'errore come gestito, il metodo restituisce null e non viene eseguita alcuna altra azione. In alternativa, i gestori possono chiamare il SetUnwind metodo per indicare al codice di rimuovere. In tal caso, viene generata un'eccezione dopo l'esecuzione di tutti i gestori.
