/// <summary>
/// Adjusts a <see cref="Date"/> to the preceding business day if it falls
/// on a holiday.
/// </summary>
/// <param name="calendar">The <see cref="Calendar"/> to be used.</param>
/// <param name="date">The <see cref="Date"/> to adjust.</param>
/// <returns>A (possibly) adjusted <see cref="Date"/> instance.</returns>
private static Date Preceding(Calendar calendar, Date date)
{
while (!calendar.IsBusinessDay(date))
{
date = date.PlusDays(-1);
}
return(date);
}