Esempio n. 1
0
 /// <summary>
 ///   Declares the given <paramref name="faults" /> to be subsumed by this instance. Subsumption metadata does
 ///   not change the fault's effects and is only used by heuristics.
 /// </summary>
 /// <param name="faults">The subsumed faults.</param>
 public void Subsumes(IEnumerable <Fault> faults)
 {
     SubsumedFaults.UnionWith(faults);
 }
Esempio n. 2
0
 /// <summary>
 ///   Declares the given <paramref name="faults" /> to be subsumed by this instance. Subsumption metadata does
 ///   not change the fault's effects and is only used by heuristics.
 /// </summary>
 /// <param name="faults">The subsumed faults.</param>
 public void Subsumes(params Fault[] faults)
 {
     SubsumedFaults.UnionWith(faults);
 }