/// <summary> /// Updates the fault sets in accordance with the fault's actual activation states. /// </summary> public void UpdateFaultSets() { NondeterministicFaults = Faults.Where(fault => fault.Activation == Activation.Nondeterministic).ToArray(); ActivationSensitiveFaults = NondeterministicFaults.Where(fault => fault.RequiresActivationNotification).ToArray(); OnStartOfStepFaults = NondeterministicFaults.Where(fault => fault.DemandType == Fault.DemandTypes.OnStartOfStep).ToArray(); OnMethodCallFaults = NondeterministicFaults.Where(fault => fault.DemandType == Fault.DemandTypes.OnMethodCall).ToArray(); OnCustomFaults = NondeterministicFaults.Where(fault => fault.DemandType == Fault.DemandTypes.OnCustom).ToArray(); }
/// <summary> /// Updates the fault sets in accordance with the fault's actual activation states. /// </summary> public void UpdateFaultSets() { NondeterministicFaults = Faults.Where(fault => fault.Activation == Activation.Nondeterministic).ToArray(); ActivationSensitiveFaults = NondeterministicFaults.Where(fault => fault.RequiresActivationNotification).ToArray(); }