C# (CSharp) Aspekt.Contracts ContractEvaluatorFactory Examples

Example #1

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

            Evaluator = ContractEvaluatorFactory.Create(c);
        }

Example #2

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

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

Example #3

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

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

Example #4

File: FieldInvariantAttribute.cs Project: brantburnett/aspekt

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

Example #5

File: FieldInvariantAttribute.cs Project: brantburnett/aspekt

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

Example #6

File: PropertyInvariantAttribute.cs Project: brantburnett/aspekt

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