ContractFailedEventArgs()

System.Diagnostics.Contracts.ContractFailedEventArgs.ContractFailedEventArgs ( ContractFailureKind failureKind, string? message, string? condition, Exception? originalException )

inline

Definition at line 31 of file ContractFailedEventArgs.cs.

    {
        _failureKind = failureKind;
        _message = message;
        _condition = condition;
        _originalException = originalException;
    }

References System.Diagnostics.Contracts.ContractFailedEventArgs._condition, System.Diagnostics.Contracts.ContractFailedEventArgs._failureKind, System.Diagnostics.Contracts.ContractFailedEventArgs._message, and System.Diagnostics.Contracts.ContractFailedEventArgs._originalException.