ContractException.cs

Go to the documentation of this file.

using System.Runtime.CompilerServices;
using System.Runtime.Serialization;
 
namespace System.Diagnostics.Contracts;
 
[Serializable]
[TypeForwardedFrom("mscorlib, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b77a5c561934e089")]
public sealed class ContractException : Exception
{
    private readonly ContractFailureKind _kind;
 
    private readonly string _userMessage;
 
    private readonly string _condition;
 
    public ContractFailureKind Kind => _kind;
 
    public string Failure => Message;
 
    public string? UserMessage => _userMessage;
 
    public string? Condition => _condition;
 
    private ContractException()
    {
        base.HResult = -2146233022;
    }
 
    public ContractException(ContractFailureKind kind, string? failure, string? userMessage, string? condition, Exception? innerException)
        : base(failure, innerException)
    {
        base.HResult = -2146233022;
        _kind = kind;
        _userMessage = userMessage;
        _condition = condition;
    }
 
    private ContractException(SerializationInfo info, StreamingContext context)
        : base(info, context)
    {
        _kind = (ContractFailureKind)info.GetInt32("Kind");
        _userMessage = info.GetString("UserMessage");
        _condition = info.GetString("Condition");
    }
 
    public override void GetObjectData(SerializationInfo info, StreamingContext context)
    {
        base.GetObjectData(info, context);
        info.AddValue("Kind", _kind);
        info.AddValue("UserMessage", _userMessage);
        info.AddValue("Condition", _condition);
    }
}