public RequiresArgumentAttribute(String argumentName, Type argumentType, Contract.Constraint c)
{
ArgumentName = argumentName;
ArgumentType = argumentType;
Evaluator = ContractEvaluatorFactory.Create(c);
}
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 FieldInvariantAttribute(String nameOf, Contract.Comparison op, string value)
{
NameOf = nameOf;
Evaluator = ContractEvaluatorFactory.Create(op, value);
}
public FieldInvariantAttribute(String nameOf, Contract.Constraint constraint)
{
NameOf = nameOf;
Evaluator = ContractEvaluatorFactory.Create(constraint);
}
public PropertyInvariantAttribute(String nameOf, Contract.Comparison op, short value)
{
NameOf = nameOf;
Evaluator = ContractEvaluatorFactory.Create(op, value);
}