/// <summary>
/// Adds a <see cref="ScenarioReport" /> to the end of the list of reports.
/// </summary>
/// <param name="report">The <see cref="ScenarioReport" /> to add.</param>
/// <exception cref="ArgumentNullException">When <paramref name="report" /> is null.</exception>
public virtual void AddNewReport(ScenarioReport report)
{
Contract.Requires <ArgumentNullException>(report != null);
this._scenarioReports.Add(report);
}
/// <summary>
/// Adds a <see cref="ScenarioReport" /> to the end of the list of reports.
/// </summary>
/// <param name="report">The <see cref="ScenarioReport" /> to add.</param>
/// <exception cref="ArgumentNullException">When <paramref name="report" /> is null.</exception>
public virtual void AddNewReport(ScenarioReport report)
{
Contract.Requires<ArgumentNullException>(report != null);
this._scenarioReports.Add(report);
}
