/// <summary>
/// Initializes a new instance of the <see cref="HealthMonitoringRecord"/> class.
/// </summary>
/// <param name="severity">The health severity level.</param>
/// <param name="operation">The operation.</param>
/// <param name="lease">The lease.</param>
/// <param name="exception">The exception.</param>
public HealthMonitoringRecord(HealthSeverity severity, MonitoredOperation operation, DocumentServiceLease lease, Exception exception)
{
if (lease == null)
{
throw new ArgumentNullException(nameof(lease));
}
this.Severity = severity;
this.Operation = operation;
this.Lease = lease;
this.Exception = exception;
}
/// <summary>
/// Creates a new instance of <see cref="HealthProblem"/>
/// </summary>
/// <param name="code"></param>
/// <param name="severity"></param>
/// <param name="description"></param>
public HealthProblem(HealthCode code, HealthSeverity severity, string description)
{
Code = code;
Severity = severity;
Description = description;
}