internal virtual void MaybeThrowDeterministicException() { lock (this) { if (failures != null) { for (int i = 0; i < failures.Count; i++) { ((Failure)failures[i]).Eval(this); } } } } }
public override void Flush() { dir.MaybeThrowDeterministicException(); base.Flush(); }