/// <summary> /// Initializes a new instance of the <see cref="LivenessCheckingStrategy"/> class. /// </summary> internal LivenessCheckingStrategy(Configuration configuration, SpecificationEngine specificationEngine, SchedulingStrategy strategy) { this.Configuration = configuration; this.SpecificationEngine = specificationEngine; this.SchedulingStrategy = strategy; }
/// <summary> /// Initializes a new instance of the <see cref="ReplayStrategy"/> class. /// </summary> internal ReplayStrategy(Configuration configuration, SchedulingStrategy suffixStrategy) { this.Configuration = configuration; this.ScheduleTrace = ScheduleTrace.Deserialize(configuration, out bool isFair); this.ScheduledSteps = 0; this.IsSchedulerFair = isFair; this.IsReplaying = true; this.SuffixStrategy = suffixStrategy; this.ErrorText = string.Empty; }
/// <summary> /// Initializes a new instance of the <see cref="TemperatureCheckingStrategy"/> class. /// </summary> internal TemperatureCheckingStrategy(Configuration configuration, SpecificationEngine specificationEngine, SchedulingStrategy strategy) : base(configuration, specificationEngine, strategy) { }
/// <summary> /// Initializes a new instance of the <see cref="ComboStrategy"/> class. /// </summary> internal ComboStrategy(SchedulingStrategy prefixStrategy, SchedulingStrategy suffixStrategy) { this.PrefixStrategy = prefixStrategy; this.SuffixStrategy = suffixStrategy; }