/// <summary>
/// Initializes a new instance of the <see cref="StageGenerationException" /> class.
/// </summary>
/// <param name="phase">The phase.</param>
public StageGenerationException(IGenerationPhaseIdentifiable phase)
: this(phase?.StageIdentity, phase?.PhaseIdentity)
{
Contracts.Requires.That(phase != null);
}
/// <summary>
/// Initializes a new instance of the <see cref="StageGenerationException"/> class.
/// </summary>
/// <param name="phase">The phase.</param>
/// <param name="message">The error message that explains the reason for the exception.</param>
/// <param name="innerException">
/// The exception that is the cause of the current exception, or a null reference
/// if no inner exception is specified.
/// </param>
public StageGenerationException(IGenerationPhaseIdentifiable phase, string message, Exception innerException)
: this(phase?.StageIdentity, phase?.PhaseIdentity, message, innerException)
{
Contracts.Requires.That(phase != null);
}
public GenerationPhaseProgress(
IGenerationPhaseIdentifiable phase, string message, long countCompleted, long totalCount)
: this(phase?.StageIdentity, phase?.PhaseIdentity, message, countCompleted, totalCount)
{
Contracts.Requires.That(phase != null);
}
