C# (CSharp) IPostconditionDispatcher Exemples

Exemple #1

Fichier : Postconditions.cs Projet : wang-xinhong/CodeContracts

        public PostconditionDispatcherProfiler(IPostconditionDispatcher dispatcher)
        {
            Contract.Requires(dispatcher != null);

            this.inner = dispatcher;
            this.profilingAlreadyCollected = false;
        }

Exemple #2

        public ContractInferenceManager(bool CanAddPreconditions, IOverriddenMethodPreconditionsDispatcher overriddenMethodPreconditionsDispatcher, PreconditionInferenceManager precondition, IObjectInvariantDispatcher invariants, IPostconditionDispatcher postcondition, IAssumeDispatcher assumptions, ICodeFixesManager codefixesManager, IOutput output)
        {
            Contract.Requires(overriddenMethodPreconditionsDispatcher != null);
            Contract.Requires(precondition != null);
            Contract.Requires(invariants != null);
            Contract.Requires(postcondition != null);
            Contract.Requires(assumptions != null);
            Contract.Requires(codefixesManager != null);
            Contract.Requires(output != null);

            this.CanAddPreconditions = CanAddPreconditions;
            this.OverriddenMethodPreconditionDispatcher = overriddenMethodPreconditionsDispatcher;
            this.PreCondition     = precondition;
            this.ObjectInvariant  = invariants;
            this.PostCondition    = postcondition;
            this.Assumptions      = assumptions;
            this.CodeFixesManager = codefixesManager;
            this.Output           = output;
        }

Exemple #3

Fichier : Contracts.cs Projet : asvishnyakov/CodeContracts

        public ContractInferenceManager(bool CanAddPreconditions, IOverriddenMethodPreconditionsDispatcher overriddenMethodPreconditionsDispatcher, PreconditionInferenceManager precondition, IObjectInvariantDispatcher invariants, IPostconditionDispatcher postcondition, IAssumeDispatcher assumptions, ICodeFixesManager codefixesManager, IOutput output)
        {
            Contract.Requires(overriddenMethodPreconditionsDispatcher != null);
            Contract.Requires(precondition != null);
            Contract.Requires(invariants != null);
            Contract.Requires(postcondition != null);
            Contract.Requires(assumptions != null);
            Contract.Requires(codefixesManager != null);
            Contract.Requires(output != null);

            this.CanAddPreconditions = CanAddPreconditions;
            this.OverriddenMethodPreconditionDispatcher = overriddenMethodPreconditionsDispatcher;
            this.PreCondition = precondition;
            this.ObjectInvariant = invariants;
            this.PostCondition = postcondition;
            this.Assumptions = assumptions;
            this.CodeFixesManager = codefixesManager;
            this.Output = output;
        }

Exemple #4

Fichier : Postconditions.cs Projet : nbulp/CodeContracts

    public PostconditionDispatcherProfiler(IPostconditionDispatcher dispatcher)
    {
      Contract.Requires(dispatcher != null);

      this.inner = dispatcher;
      this.profilingAlreadyCollected = false;
    }