#region Copyright (c) 2009 S. van Deursen
/* The CuttingEdge.Conditions library enables developers to validate pre- and postconditions in a fluent
* manner.
*
* To contact me, please visit my blog at http://www.cuttingedge.it/blogs/steven/
*
* Copyright (c) 2009 S. van Deursen
*
* Permission is hereby granted, free of charge, to any person obtaining a copy of this software and
* associated documentation files (the "Software"), to deal in the Software without restriction, including
* without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
* copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the
* following conditions:
*
* The above copyright notice and this permission notice shall be included in all copies or substantial
* portions of the Software.
*
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT
* LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO
* EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
* IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE
* USE OR OTHER DEALINGS IN THE SOFTWARE.
*/
#endregion
using System;
namespace CuttingEdge.Conditions
{
/// <summary>
/// The EnsuresValidator can be used for postcondition checks.
/// </summary>
/// <typeparam name="T">The type of the argument to be validated</typeparam>
internal sealed class EnsuresValidator<T> : ConditionValidator<T>
{
internal EnsuresValidator(string argumentName, T value) : base(argumentName, value)
{
}
/// <summary>Throws an exception.</summary>
/// <param name="condition">Describes the condition that doesn't hold, e.g., "Value should not be
/// null".</param>
/// <param name="additionalMessage">An additional message that will be appended to the exception
/// message, e.g. "The actual value is 3.". This value may be null or empty.</param>
/// <param name="type">Gives extra information on the exception type that must be build. The actual
/// implementation of the validator may ignore some or all values.</param>
protected override void ThrowExceptionCore(string condition, string additionalMessage,
ConstraintViolationType type)
{
// Build up an exception message: "Postcondition '[condition]' failed.".
string exceptionMessage = SR.GetString(SR.PostconditionXFailed, condition);
if (!String.IsNullOrEmpty(additionalMessage))
{
// The library can supply some additional information about the value of the validated
// argument. This message will be appended to the exception message.
exceptionMessage += " " + additionalMessage;
}
throw new PostconditionException(exceptionMessage);
}
}
}