Esempi in C# (CSharp) per IContractEvaluator

Esempio n. 1

        public RequiresArgumentAttribute(String argumentName, Type argumentType, Contract.Constraint c)
        {
            ArgumentName = argumentName;
            ArgumentType = argumentType;

            Evaluator = ContractEvaluatorFactory.Create(c);
        }

Esempio n. 2

        public RequiresArgumentAttribute(String argumentName, Type argumentType, Contract.Comparison op, string value)
        {
            ArgumentName = argumentName;
            ArgumentType = argumentType;

            Evaluator = ContractEvaluatorFactory.Create(op, value);
        }

Esempio n. 3

        public RequiresArgumentAttribute(int argumentIndex, Type argumentType, Contract.Comparison op, string value)
        {
            ArgumentIndex = argumentIndex;
            ArgumentType  = argumentType;

            Evaluator = ContractEvaluatorFactory.Create(op, value);
        }

Esempio n. 4

File: FieldInvariantAttribute.cs Progetto: brantburnett/aspekt

 public FieldInvariantAttribute(String nameOf, Contract.Comparison op, string value)
 {
     NameOf    = nameOf;
     Evaluator = ContractEvaluatorFactory.Create(op, value);
 }

Esempio n. 5

File: FieldInvariantAttribute.cs Progetto: brantburnett/aspekt

 public FieldInvariantAttribute(String nameOf, Contract.Constraint constraint)
 {
     NameOf    = nameOf;
     Evaluator = ContractEvaluatorFactory.Create(constraint);
 }

Esempio n. 6

File: PropertyInvariantAttribute.cs Progetto: brantburnett/aspekt

 public PropertyInvariantAttribute(String nameOf, Contract.Comparison op, short value)
 {
     NameOf    = nameOf;
     Evaluator = ContractEvaluatorFactory.Create(op, value);
 }