/// <summary>Return a new instance with the properties.</summary>
/// <param name="Events">
/// Events that can be invoked on this config. It is a separate object so that event bindings do not
/// follow the <see cref="FsCheckRunnerConfig" />. It can be deconstructed into a triple of
/// the methods: (generated, tested, timer).
/// </param>
/// <param name="TraceDiagnosticsWriter">
/// The action invoked to write traces while the runner is executing. Default is Console.WriteLine.
/// </param>
public FsCheckRunnerConfig With(
bool?TraceNumberOfRuns = null, bool?ThrowOnFailure = null, bool?TraceDiagnosticsEnabled = null,
TraceCallEvents Events = null, Action <string> TraceDiagnosticsWriter = null)
{
return(new FsCheckRunnerConfig(
TraceNumberOfRuns ?? this.TraceNumberOfRuns, ThrowOnFailure ?? this.ThrowOnFailure,
TraceDiagnosticsEnabled ?? this.TraceDiagnosticsEnabled, Events ?? this.Events,
TraceDiagnosticsWriter ?? this.TraceDiagnosticsWriter
));
}
/// <summary>Create an instance.</summary>
/// <param name="Events">
/// Events that can be invoked on this config. It is a separate object so that event bindings do not
/// follow the <see cref="FsCheckRunnerConfig" />. It can be deconstructed into a triple of
/// the methods: (generated, tested, timer).
/// </param>
/// <param name="TraceDiagnosticsWriter">
/// The action invoked to write traces while the runner is executing. Default is Console.WriteLine.
/// </param>
public FsCheckRunnerConfig(
bool TraceNumberOfRuns, bool ThrowOnFailure, bool TraceDiagnosticsEnabled, TraceCallEvents Events,
Action <string> TraceDiagnosticsWriter)
{
this.TraceNumberOfRuns = TraceNumberOfRuns;
this.ThrowOnFailure = ThrowOnFailure;
this.TraceDiagnosticsEnabled = TraceDiagnosticsEnabled;
this.Events = Events;
this.TraceDiagnosticsWriter = TraceDiagnosticsWriter;
}
