/// <summary>
/// Merges the information from the specified
/// coverage info. This is not thread-safe.
/// </summary>
/// <param name="coverageInfo">CoverageInfo</param>
public void Merge(CoverageInfo coverageInfo)
{
foreach (var machine in coverageInfo.MachinesToStates)
{
foreach (var state in machine.Value)
{
this.DeclareMachineState(machine.Key, state);
}
}
foreach (var tup in coverageInfo.RegisteredEvents)
{
this.DeclareStateEvent(tup.Item1, tup.Item2, tup.Item3);
}
foreach (var transition in coverageInfo.Transitions)
{
this.AddTransition(transition.MachineOrigin, transition.StateOrigin,
transition.EdgeLabel, transition.MachineTarget, transition.StateTarget);
}
}
/// <summary>
/// Constructor.
/// </summary>
/// <param name="coverageInfo">CoverageInfo</param>
public ActivityCoverageReporter(CoverageInfo coverageInfo)
{
this.CoverageInfo = coverageInfo;
}
/// <summary>
/// Constructor.
/// </summary>
/// <param name="coverageInfo">CoverageInfo</param>
public CodeCoverageReporter(CoverageInfo coverageInfo)
{
this.CoverageInfo = coverageInfo;
}
