예제 #1
0
        public RequiresArgumentAttribute(String argumentName, Type argumentType, Contract.Constraint c)
        {
            ArgumentName = argumentName;
            ArgumentType = argumentType;

            Evaluator = ContractEvaluatorFactory.Create(c);
        }
예제 #2
0
        public RequiresArgumentAttribute(String argumentName, Type argumentType, Contract.Comparison op, string value)
        {
            ArgumentName = argumentName;
            ArgumentType = argumentType;

            Evaluator = ContractEvaluatorFactory.Create(op, value);
        }
예제 #3
0
        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);
 }