public RequiresArgumentAttribute(String argumentName, Type argumentType, Contract.Constraint c) { ArgumentName = argumentName; ArgumentType = argumentType; Evaluator = ContractEvaluatorFactory.Create(c); }
public static IContractEvaluator Create(Contract.Constraint constraint) { return(new NullContractEvaluator(constraint)); }
public NullContractEvaluator(Contract.Constraint c) { Constraint = c; }
public FieldInvariantAttribute(String nameOf, Contract.Constraint constraint) { NameOf = nameOf; Evaluator = ContractEvaluatorFactory.Create(constraint); }