public RequiresArgumentAttribute(String argumentName, Type argumentType, Contract.Comparison op, string value)
{
ArgumentName = argumentName;
ArgumentType = argumentType;
Evaluator = ContractEvaluatorFactory.Create(op, value);
}
public RequiresArgumentAttribute(int argumentIndex, Type argumentType, Contract.Comparison op, string value)
{
ArgumentIndex = argumentIndex;
ArgumentType = argumentType;
Evaluator = ContractEvaluatorFactory.Create(op, value);
}
public ComparisonContractEvaluator(Contract.Comparison op, object compareTo)
{
if (!(compareTo is IComparable))
{
throw new ArgumentException("Evaluation failed CompareTo is not of type IComparable");
}
CompareTo = (IComparable)compareTo;
Operator = op;
}
public static IContractEvaluator Create(Contract.Comparison op, object value)
{
return(new ComparisonContractEvaluator(op, value));
}
public FieldInvariantAttribute(String nameOf, Contract.Comparison op, string value)
{
NameOf = nameOf;
Evaluator = ContractEvaluatorFactory.Create(op, value);
}
public PropertyInvariantAttribute(String nameOf, Contract.Comparison op, short value)
{
NameOf = nameOf;
Evaluator = ContractEvaluatorFactory.Create(op, value);
}
