/// <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; }