System.Diagnostics.Contracts.ContractFailedEventArgs public sealed class ContractFailedEventArgs : EventArgs Documentation 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()