C# (CSharp) Contract.Constraint Examples

Example #1

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

            Evaluator = ContractEvaluatorFactory.Create(c);
        }

Example #2

File: ContractEvaluatorFactory.cs Project: brantburnett/aspekt

 public static IContractEvaluator Create(Contract.Constraint constraint)
 {
     return(new NullContractEvaluator(constraint));
 }

Example #3

 public NullContractEvaluator(Contract.Constraint c)
 {
     Constraint = c;
 }

Example #4

File: FieldInvariantAttribute.cs Project: brantburnett/aspekt

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