public AssumeDispatcherProfiler(IAssumeDispatcher dispatcher)
{
Contract.Requires(dispatcher != null);
this.inner = dispatcher;
this.profilingAlreadyCollected = new bool[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;
}
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;
}
public AssumeDispatcherProfiler(IAssumeDispatcher dispatcher)
{
Contract.Requires(dispatcher != null);
inner = dispatcher;
profilingAlreadyCollected = new bool[2];
}
