/* ****************************************************************************
*
* Copyright (c) Microsoft Corporation.
*
* This source code is subject to terms and conditions of the Microsoft Public License. A
* copy of the license can be found in the License.html file at the root of this distribution. If
* you cannot locate the Microsoft Public License, please send an email to
* dlr@microsoft.com. By using this source code in any fashion, you are agreeing to be bound
* by the terms of the Microsoft Public License.
*
* You must not remove this notice, or any other, from this software.
*
*
* ***************************************************************************/
using System; using Microsoft;
using System.Collections;
using System.Collections.Generic;
using System.Diagnostics;
#if CODEPLEX_40
using System.Linq.Expressions;
#else
using Microsoft.Linq.Expressions;
#endif
#if CODEPLEX_40
namespace System.Dynamic{
#else
namespace Microsoft.Scripting {
#endif
internal static class ContractUtils {
internal static void Requires(bool precondition, string paramName) {
Assert.NotEmpty(paramName);
if (!precondition) {
throw new ArgumentException(Strings.InvalidArgumentValue, paramName);
}
}
internal static void Requires(bool precondition, string paramName, string message) {
Assert.NotEmpty(paramName);
if (!precondition) {
throw new ArgumentException(message, paramName);
}
}
internal static void RequiresNotNull(object value, string paramName) {
Assert.NotEmpty(paramName);
if (value == null) {
throw new ArgumentNullException(paramName);
}
}
}
}
|