public ObjectInvariantDispatcherProfiler(IObjectInvariantDispatcher inner)
{
Contract.Requires(inner != null);
this.inner = inner;
this.statsEmitted = false;
}
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 ObjectInvariantDispatcherProfiler(IObjectInvariantDispatcher inner)
{
Contract.Requires(inner != null);
this.inner = inner;
this.statsEmitted = false;
}