///<summary>Standard constructor</summary>
public GuidIsEmptyContractViolationException(InspectedValue badValue) : base(badValue)
{
}
///<summary>Standard constructor</summary>
public ObjectIsDefaultContractViolationException(InspectedValue badValue) : base(badValue)
{
}
///<summary>Standard constructor</summary>
public ObjectIsNullContractViolationException(InspectedValue badValue) : base(badValue) {}
///<summary>Standard constructor</summary>
public GuidIsEmptyContractViolationException(InspectedValue badValue) : base(badValue) {}
///<summary>Standard constructor</summary>
public StringIsWhitespaceContractViolationException(InspectedValue badValue) : base(badValue) {}
///<summary>Standard constructor</summary>
public StringIsWhitespaceContractViolationException(InspectedValue badValue) : base(badValue)
{
}
///<summary>Standard constructor that will construct a message based on the name and value of the failing member. </summary>
public ContractViolationException(InspectedValue badValue)
{
BadValue = badValue;
}