/// <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; }