C# (CSharp) IPreconditionInference Examples

Example #1

        public PreconditionInferenceManager(IPreconditionInference Inference, IPreconditionDispatcher Dispatcher)
        {
            Contract.Requires(Inference != null);
            Contract.Requires(Dispatcher != null);

            this.Inference = Inference;
            this.Dispatch  = Dispatcher;
        }

Example #2

        public PreconditionInferenceProfiler(IPreconditionInference inner)
        {
            Contract.Requires(inner != null);

            Contract.Assume(inferred >= 0, "it's a static variable: We believe at construction that other objects left it >= 0");

            this.inner = inner;

            Contract.Assume(totalMethodsWithPreconditons >= 0, "static invariant");
        }

Example #3

File: PreconditionInferenceProfiler.cs Project: mono-soc-2012/code-contracts-oleg

 public PreconditionInferenceProfiler(IPreconditionInference inner)
 {
     this.inner = inner;
 }

Example #4

File: PreconditionInferenceManager.cs Project: mono-soc-2012/code-contracts-oleg

 public PreconditionInferenceManager(IPreconditionInference Inference, IPreconditionDispatcher Dispatcher)
 {
     this.Inference = Inference;
     this.Dispatch = Dispatcher;
 }