Пример #1
0
        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));
 }
Пример #3
0
 public NullContractEvaluator(Contract.Constraint c)
 {
     Constraint = c;
 }
 public FieldInvariantAttribute(String nameOf, Contract.Constraint constraint)
 {
     NameOf    = nameOf;
     Evaluator = ContractEvaluatorFactory.Create(constraint);
 }