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