System.Diagnostics.Contracts.ContractFailedEventArgs
namespace System.Diagnostics.Contracts
{
public sealed class ContractFailedEventArgs : EventArgs
{
public string Condition { get; }
public ContractFailureKind FailureKind { get; }
public bool Handled { get; }
public string Message { get; }
public Exception OriginalException { get; }
public bool Unwind { get; }
public ContractFailedEventArgs(ContractFailureKind failureKind, string message, string condition, Exception originalException);
public void SetHandled();
public void SetUnwind();
}
}